Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Teaching Formal Methods: Colognet/Fme Symposium, Tfm 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Teaching Formal Methods: Colognet/Fme Symposium, Tfm 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Dean, C. Neville
Boute, Raymond T.

Paperback

Series: Lecture Notes in Computer Science, Book 3294

General ComputersProgramming

ISBN10: 3540236112
ISBN13: 9783540236115
Publisher: Springer Nature
Published: Nov 17 2004
Pages: 252
Weight: 0.82
Height: 0.55 Width: 6.14 Depth: 9.21
Language: English
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 (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway's words aspire to be engineers. The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Yet, thesamecharacteristicsthatmakeformalmethodsanecessityincritical applicationsmakethemalsoadvantageousineverydaysoftwaredesignatvarious levels from design e?ciency to software quality. Why, then, is education failing with respect to formal methods? - failing to convince students, academics and practitioners alike that formal methods are truly pragmatic; - failing to overcome a phobia of formality and mathematics; - failing to provide students with the basic skills and understanding required toadoptamoremathematicalandlogicalapproachtosoftwaredevelopment. Until education takes these failings seriously, formal methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result.

Also in

General Computers

View All