R J MitchellRichard 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 a 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. Read More Read Less