Dr. R J Mitchell
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...See more
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. See less
Dr. R J Mitchell's Featured Books
Dr. R J Mitchell book reviews
-
Gem Trails of Arizona
armchair adventure also
by PeteL66, Oct 24, 2008
You cannot go to all the places listed in one trip. Great handling of the Arizona country and also an interesting armchair read. Read More
-
The Rockhound's Handbook
Very informative
by buck47, Aug 29, 2007
Excellent illustrations with a wide range of pertinent information. Read More
