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, e...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
3294 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Teaching formal methods, CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004, proceedings, C. Neville Dean, Raymond T. Boute (eds.), Berlin, Springer, 2004, 1 vol. (X-248 p.), Lecture notes in computer science, 3-540-23611-2 • Teaching Formal Methods, Texte imprimé, 9783662194706 |
| Summary: | 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. |
|---|---|
| Emne beskrivelse: | Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| ISBN: | 9783540304722 (PDF) |
| ISSN: | 1611-3349 |
| Adgang: | Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |