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 (ci...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2004.
|
| Έκδοση: | 1st ed. 2004. |
| Σειρά: | Lecture Notes in Computer Science,
3294 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
