Industrial Software Technology (Computing and Networks)

A number of Interrelated developments are changing the nature of software technology. Developments in hardware are putting greatly increased power at the disposal of the software technologist. Advances in formal methods are providing the means to bring greater precision into the early stages of system development. Techniques such as expert systems are being brought into the domain of software technology as a result of advances in the application of artificial intelligence research. Developments in paradigms of system development are giving the software technologist better models of system structure and better tools and techniques for creating large systems, and greater political recognition of the importance of information technology is resulting in increased funding for research and development in software technology. This book brings together twenty-one papers on these developments in software technology, selected from papers presented at recent European Seminars on Industrial Software Technology organised by the European Workshop on Industrial Computer Systems (EWICS), whose aim is to promote the effective use of industrial computer systems through education, dissemination of information, and the development of guidelines and standards.