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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
3294 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
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 |
Inhaltsangabe:
- A Beginner s Course on Reasoning About Imperative Programs
- Designing Algorithms in High School Mathematics
- Motivating Study of Formal Methods in the Classroom
- Formal Systems, Not Methods
- A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis
- Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns
- Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods
- Integrating Formal Specification and Software Verification and Validation
- Distributed Teaching of Formal Methods
- An Undergraduate Course on Protocol Engineering How to Teach Formal Methods Without Scaring Students
- Linking Paradigms, Semi-formal and Formal Notations
- Teaching Formal Methods in Context
- Embedding Formal Development in Software Engineering
- Advertising Formal Methods and Organizing Their Teaching: Yes, but ...
- Retrospect and Prospect of Formal Methods Education in China
- A Survey of Formal Methods Courses in European Higher Education.