Richard Mitchell joined the European Workshop on Industrial Computer Systems (EWICS) in 1980. As a member of its Technology Dissemination Committee he helps organise EWICS European Seminars. The papers in this book are selected from those presented at the 4th European Seminar on Industrial Software Technology.In 1979 he was awarded an MSc in Computer Science and since then he has been active in computer science research and teaching. He has been influential in bringing formal methods into the curriculum, and he has worked on Alvey and ESPRIT projects on formal methods and software design. He gained a PhD in Computer Science in 1988 for work on bringing object-oriented design and formal methods into the framework of literate programming. He has published a number of papers on various aspects of software engineering. He was recently appointed Reader in Software Engineering at Brighton Polytechnic, and is currently working on the role of formal methods in the development of information systems.

• Part 1: Development paradigmsChapter 1: Paradigms of modular system developmentChapter 2: The evolution of object-oriented design from concept to methodChapter 3: The role of formal methods in managing complexityChapter 4: Putting mathematics to useChapter 5: The theory of organisation: a mathematical treatment of processing structuresPart 2: Project managementChapter 6: The need for a quality culture for software developmentChapter 7: Quality metrics for software management and engineeringChapter 8: Measuring to manageChapter 9: Structuring routine interactions in software engineeringPart 3: Automated development supportChapter 10: Methods and toolsChapter 11: Development support environmentsChapter 12: Structuring for managing complexityChapter 13: A method-driven support environmentChapter 14: Automated support for marrying requirements to programsChapter 15: Configuration support for system description, construction and evolution