FM 2005: Formal Methods
Subtitle: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: John Fitzgerald (Editor); Ian J. Hayes (Editor); Andrzej Tarlecki (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 22, 2005
Language: eng
Format: Paperback
Number of pages: 558
ISBN-13: 9783540278825
Subjects: Computing and Information Technology; Programming - General; Computers; Computers - Languages / Programming; Computer Books: Languages; Programming - Software Development; Logic Design; Programming Languages - General; CSP; Computers / Programming / Software Development; communication protocols; formal methods; formal specification; formal testing; formal verification; Computer software; Congresses; Development; Formal methods (Computer science); System design
First sentence: It has been recognised for a while that formal specifications and models can bring much to software testing [16], [10].