Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Teaching Formal Methods

CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
BuchKartoniert, Paperback
252 Seiten
Englisch
Springererschienen am17.11.2004
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.).mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextProfessional 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.).
Details
ISBN/GTIN978-3-540-23611-5
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2004
Erscheinungsdatum17.11.2004
ReiheLecture Notes in Computer Science
Seiten252 Seiten
SpracheEnglisch
Gewicht400 g
IllustrationenVIII, 252 p.
Artikel-Nr.10593337

Inhalt/Kritik

Inhaltsverzeichnis
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.mehr