Lecture Notes in Computer Science

Teaching Formal Methods

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

Editors: Dean, C. Neville, Boute, Raymond T. (Eds.)

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-30472-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-23611-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

“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.

Table of contents (16 chapters)

  • A Beginner’s Course on Reasoning About Imperative Programs

    Lau, Kung-Kiu

    Pages 1-16

    Preview Buy Chapter 30,19 €
  • Designing Algorithms in High School Mathematics

    Rosa, Sylvia

    Pages 17-31

    Preview Buy Chapter 30,19 €
  • Motivating Study of Formal Methods in the Classroom

    Reed, Joy N. (et al.)

    Pages 32-46

    Preview Buy Chapter 30,19 €
  • Formal Systems, Not Methods

    Loomes, Martin (et al.)

    Pages 47-64

    Preview Buy Chapter 30,19 €
  • A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis

    Börger, Egon

    Pages 65-84

    Preview Buy Chapter 30,19 €

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-30472-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-23611-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Teaching Formal Methods
Book Subtitle
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Editors
  • C. Neville Dean
  • Raymond T. Boute
Series Title
Lecture Notes in Computer Science
Series Volume
3294
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-30472-2
DOI
10.1007/b102075
Softcover ISBN
978-3-540-23611-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 252
Topics