Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

The new craft skills of engineering: The impact of innovation technology on engineering practices

This chapter explores the impact of innovation technologies such as simulation, modelling, and rapid prototyping on engineering practice. Innovation technologies help redefine the role of engineers in the innovation process, creating a new division of innovative labour both with and across organizations. This chapter also explores the boundaries of experimentation and inertia within particular domains of problem-solving to create new opportunities and value.

Globalisation and the technology gap: Regional and time evidence

This chapter examines the relationship between globalisation and technological progress. It computes an annual and country specific measure of technological gap, the technology ratio (TGR), using a recently proposed method known as metafrontiers. The TGR is measured as the distance from a group frontier to the global (or meta) frontier. The TGRs provide a measure to compare technological capability across countries. The ranking obtained from the metafrontiers method is first compared to other methods based on the direct measure of patents, science articles, schooling etc. The TGRs are then related to levels of trade openness and inbound and outbound foreign direct investment within regions and overtime in an effort to identify the relationship between technological gap and outward orientation.