Systematic Software Development Using VDM, 2nd Edition
Teaches a particular systematic approach to software development concentrating on the stages from specication through design to implementation.
Tag(s): Formal Methods
Publication date: 31 Dec 1990
ISBN-10: n/a
ISBN-13: n/a
Paperback: 361 pages
Views: 21,256
Systematic Software Development Using VDM, 2nd Edition
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.