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.
BuchKartoniert, Paperback
405 Seiten
Englisch
Springererschienen am08.02.20022002
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.mehr

Produkt

KlappentextThis volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.
Details
ISBN/GTIN978-1-85233-359-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2002
Erscheinungsdatum08.02.2002
Auflage2002
ReiheFormal Approaches to Computing and Information Technology (FACIT)
Seiten405 Seiten
SpracheEnglisch
Gewicht622 g
IllustrationenXV, 405 p.
Artikel-Nr.10529025

Inhalt/Kritik

Inhaltsverzeichnis
Foreword.-Thematic Introduction.-Introduction to RAISE.-A University Library Management System.-Development of a Distributed Telephone Switch.-Developing a National Financial Information System.-Multi-Lingual Document Processing.-Formalising Production Processes.-Model-Based Travel Planning.-Proving Safety of Authentication Protocols.-Formalisation of Realm-Based Spatial Data Types.-Object-Oriented Design Patterns.-Automated Result Verification with AWK.-Fail-Stop Components by Pattern Matching.-An Infrastructure for Software Reuse.-About the Editors.-About the Web Site.-References.mehr