Fme '93: Industrial-Strength Formal Methods
Subtitle: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science)
Contributors: James C. P. Woodcock (Editor); Peter G. Larsen (Editor); Jim Woodcock (Other Contributor)
Publisher: Springer
Published: May 1993
Language: eng
Format: Paperback
Number of pages: 689
ISBN-13: 9783540566625
Subjects: Software engineering; Spreadsheet software; Logic Design; Management Information Systems; Programming - Software Development; Computers - Languages / Programming; Development
First sentence: Development of any large computer system is difficult but formal methods like VDM have been shown to help control the development process - and provide useful documentation - of sequential systems.