Teaching Formal Methods
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
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 forma…
Mehr
CHF 93.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Boute, Raymond T. (Hrsg.)
- ISBN: 978-3-540-30472-2
- EAN: 9783540304722
- Produktnummer: 37247986
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 252 S.
- Plattform: PDF
- Auflage: 2004
- Reihenbandnummer: 3294
1 weiteres Werk von C. Neville (Hrsg.) Dean:
Bewertungen
Anmelden