Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dean, C. Neville (Editor, http://id.loc.gov/vocabulary/relators/edt), Boute, Raymond T. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Edition: 1st ed. 2004.
• Series: Lecture Notes in Computer Science, 3294
• Subjects: Computers.; Software engineering.; Education-Data processing.; Computer logic.; Mathematical logic.; Data structures (Computer science).; Theory of Computation.; Software Engineering.; Computers and Education.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Data Structures.

"Professional engineers can often be distinguished from other designers by the engineers' ability to use mathematical models to describe and 1 analyze their products." This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (ci...