Teaching Formal Methods als Buch (kartoniert)
PORTO-
FREI

Teaching Formal Methods

CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings. Auflage 2004. Paperback.…
Buch (kartoniert)
Ihr 12%-Rabatt auf alle Spielwaren, Hörbücher, Filme, Musik u.v.m
 
12% Rabatt³ sichern mit Gutscheincode: MAI12
 
"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 cl … weiterlesen
Buch (kartoniert)

74,99 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von 3 bis 5 Werktagen
Teaching Formal Methods als Buch (kartoniert)

Produktdetails

Titel: Teaching Formal Methods

ISBN: 3540236112
EAN: 9783540236115
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings.
Auflage 2004.
Paperback.
Sprache: Englisch.
Herausgegeben von Raymond T. Boute, C. Neville Dean
Springer Berlin Heidelberg

17. November 2004 - kartoniert - 264 Seiten

Beschreibung

"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.

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 aus dieser Reihe

zurück
Artificial Intelligence in Music, Sound, Art and Design
Buch (kartoniert)
Internet Science
Buch (kartoniert)
Policy-Based Autonomic Data Governance
Buch (kartoniert)
Canadian AI 2019
Buch (kartoniert)
Algorithms for Computational Biology
Buch (kartoniert)
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

3 Ihr Gutschein MAI12 gilt bis einschließlich 26.05.2020. Sie können den Gutschein ausschließlich online einlösen unter www.hugendubel.de. Keine Bestellung zur Abholung in der Buchhandlung möglich. Der Gutschein ist nicht gültig für gesetzlich preisgebundene Artikel (deutschsprachige Bücher und eBooks) sowie für preisgebundene Kalender, tonies-Produkte, tolino eReader und tolino select. Der Gutschein ist nicht mit anderen Gutscheinen und Geschenkkarten kombinierbar. Eine Barauszahlung ist nicht möglich. Ein Weiterverkauf und der Handel des Gutscheincodes sind nicht gestattet.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.