Case Studies in Systematic Software Development
Covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method or VDM.
Tag(s): Formal Methods
Publication date: 31 Dec 1990
ISBN-10: n/a
ISBN-13: n/a
Paperback: 405 pages
Views: 27,120
Case Studies in Systematic Software Development
About The Author(s)
Cliff Jones is Professor of Computing Science at Newcastle University. He is best known for his research into "formal methods" for the design and verification of computer systems; under this heading, current topics of research include concurrency, support systems and logics. He is also currently applying research on formal methods to wider issues of dependability.
Cliff Jones is Professor of Computing Science at Newcastle University. He is best known for his research into "formal methods" for the design and verification of computer systems; under this heading, current topics of research include concurrency, support systems and logics. He is also currently applying research on formal methods to wider issues of dependability.
No information is available for this author.