Logic programming is a programming paradigm with potential to contribute to software engineering. This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design. We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-programming.

An overview of research in the areas of aerospace applications of artificial intelligence, expert Systems, neural networks and robotics is presented. Challenges associated with aerospace projects require increasingly complex aerospace Systems which in turn demand automation and fault tolerance. We have addressed these issues and provided a survey of the research on intelligent Systems that has been carried out in an attempt to meet these challenges. The application areas we have overviewed include fault monitoring and diagnosis, generation and management of power in space, efficient and effective command and control, operations and maintenance of space stations, planning and scheduling, automation, and cockpit management.

The complex process of deriving programs from specifications is often divided into the following three steps: (i) the derivation of formal specifications from the informal ones; (ii) the validation of the formal specifications; and (iii) the derivation of executable programs from the formal specifications.

Statistical expert systems are attracting increasing attention as a possible way to alleviate the shortage of expert consultant statisticians. This paper summarises the requirements of such systems, showing how the demands of data analysis are different from those of other fields, and describes some recent work.

A technology transfer programme, where people from industry have been educated and trained in knowledge engineering on a project basis, has been in operation since 1984 in the Computer and Information Science Department at Linköping University. This review presents the background for the programme, its organization, examples of training projects, educational activities and plans for the future development.

Construction Engineering and Management is a broad area of civil engineering practice which includes: (1) planning and engineering of the temporary facilities for construction sites; (2) management of the construction process; and (3) rehabilitation, repair and maintenance of engineered facilities, where the traditionally distinct design and construction roles of participants have become merged. The broad scope of this field, combined with the empirical nature of many facets of construction engineering and management practice, have led to a significant amount of expert system activity in this domain.

Interactive knowledge-acquisition (KA) programs allow users to enter relevant domain knowledge according to a model predefined by the tool developers. KA tools are designed to provide conceptual models of the knowledge to their users. Many different classes of models are possible, resulting in different categories of tools. Whenever it is possible to describe KA tools according to explicit conceptual models, it is also possible to edit the models and to instantiate new KA tools automatically for specialized purposes. Several meta-tools that address this task have been implemented. Meta-tools provide developers of domain-specific KA tools with generic design models, or meta-views, of the emerging KA tools. The same KA tool can be specified according to several alternative meta-views.