- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 58,89, Mittelwert: € 54,87
1
High-Integrity System Specification and Design - Michael G. Hinchey
Bestellen
bei ZVAB.com
€ 58,89
Versand: € 0,001
Bestellengesponserter Link
Michael G. Hinchey:

High-Integrity System Specification and Design - Taschenbuch

1999, ISBN: 3540762264

[EAN: 9783540762263], Neubuch, [SC: 0.0], [PU: Springer London], COMMUNICATION; CONCURRENCY; DEVELOPMENT; DISTRIBUTED FORMALMETHODS; FORMALSPECIFICATION; LANGUAGE; OPERATINGSAFETY-CRITICA… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
High-Integrity System Specification and Design Jonathan P. Bowen Author
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellengesponserter Link
High-Integrity System Specification and Design Jonathan P. Bowen Author - neues Buch

ISBN: 9783540762263

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, fo… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
High-Integrity System Specification and Design
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
High-Integrity System Specification and Design - neues Buch

ISBN: 9783540762263

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for co… Mehr…

Nr. 978-3-540-76226-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
4
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT)) - Bowen, Jonathan P. Hinchey, Michael G.
Bestellen
bei amazon.es
€ 53,49
Versand: € 2,991
Bestellengesponserter Link
Bowen, Jonathan P. Hinchey, Michael G.:
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT)) - neues Buch

1999, ISBN: 9783540762263

Springer, Tapa blanda, Auflage: Softcover reprint of the original 1st ed. 1999, 724 Seiten, Publiziert: 1999-04-12T00:00:01Z, Produktgruppe: Libro, Hersteller-Nr.: 50 illustrations, refer… Mehr…

Versandkosten:Los costos de envío pueden diferir de los costos reales. (EUR 2.99)
5
High-Integrity System Specification and Design - Jonathan P. Bowen/ Michael G. Hinchey
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Jonathan P. Bowen/ Michael G. Hinchey:
High-Integrity System Specification and Design - Taschenbuch

ISBN: 9783540762263

*High-Integrity System Specification and Design* - Softcover reprint of the original 1st ed. 1999 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien… Mehr…

3540762264. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
High-Integrity System Specification and Design Jonathan P. Bowen Author

High-integrity System Specification and Design This guide to system specification and design methods helps software engineers understand and develop high-integrity systems, with emphasis on structured and formal methods, method integration, concurrency and safety-critical systems.

Detailangaben zum Buch - High-Integrity System Specification and Design Jonathan P. Bowen Author


EAN (ISBN-13): 9783540762263
ISBN (ISBN-10): 3540762264
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1999
Herausgeber: Springer London Core >1 >T

Buch in der Datenbank seit 2008-03-21T03:09:24+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-25T22:02:05+01:00 (Berlin)
ISBN/EAN: 3540762264

ISBN - alternative Schreibweisen:
3-540-76226-4, 978-3-540-76226-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: charles babbage
Titel des Buches: formal specification design, design for the other, system design, facit, information design, computing information technology


Daten vom Verlag:

Autor/in: Jonathan P. Bowen; Michael G. Hinchey
Titel: Formal Approaches to Computing and Information Technology (FACIT); High-Integrity System Specification and Design
Verlag: Springer; Springer Berlin
701 Seiten
Erscheinungsjahr: 1999-04-12
London; GB
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIX, 701 p. 7 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; communication; concurrency; design; development; distributed systems; formal methods; formal specification; language; operating system; safety-critical system; simulation; software engineering; system; system development; system specification; Software Engineering; Formal Languages and Automata Theory; Theoretische Informatik; EA

1. Specification and Design.- 1.1 An Analogy.- 1.2 The Development Life-Cycle.- 1.3 The Transformational Approach.- 1.4 Silver Bullets.- No Silver Bullet: Essence and Accidents of Software Engineering.- Biting the Silver Bullet: Toward a Brighter Future for System Development.- 2. Structured Methods.- 2.1 Structured Notations.- 2.2 The Jackson Approach.- Methodology: The Experts Speak.- An Overview of JSD.- 3. Formal Methods.- 3.1 What are Formal Methods?.- 3.2 Formal Specification Languages.- 3.3 Deductive Apparatus.- 3.4 Myths of Formal Methods.- 3.5 Which Formal Method?.- Seven Myths of Formal Methods.- Seven More Myths of Formal Methods.- A Specifier’s Introduction to Formal Methods.- An Overview of Some Formal Methods for Program Design.- Ten Commandments of Formal Methods.- 4. Object-Orientation.- 4.1 The Object Paradigm.- 4.2 Modularization.- 4.3 Information Hiding.- 4.4 Classes.- 4.5 Genericity and Polymorphism.- 4.6 Object-Oriented Design.- Object-Oriented Development.- Object-Oriented and Conventional Analysis and Design Methodologies:Comparison and Critique.- 5. Concurrent and Distributed Systems.- 5.1 Concurrent Systems.- 5.2 Distributed Systems.- 5.3 Models of Computation.- 5.4 Naming Considerations.- 5.5 Inter-Process Communication.- 5.6 Consistency Issues.- 5.7 Heterogeneity and Transparency.- 5.8 Security and Protection.- 5.9 Language Support.- 5.10 Distributed Operating Systems.- Communicating Sequential Processes.- A Simple Approach to Specifying Concurrent Systems.- 6. Real-Time and Safety-Critical Systems.- 6.1 Real-Time Systems.- 6.2 Safety-Critical Systems.- 6.3 Formal Methods for Safety-Critical Systems.- 6.4 Standards.- 6.5 Legislation.- 6.6 Education and Professional Issues.- 6.7 Technology Transfer.- Formal Methods for the Specification andDesign of Real-Time Safety-Critical Systems.- Experience with Formal Methods in Critical Systems.- Regulatory Case Studies.- Medical Devices: The Therac-25 Story.- Safety-Critical Systems, Formal Methods and Standards.- 7. Integrating Methods.- 7.1 Motivation.- 7.2 Integrating Structured and Formal Methods.- 7.3 An Appraisal of Approaches.- Integrated Structured Analysis and Formal Specification Techniques.- 8. Implementation.- 8.1 Refinement.- 8.2 Rapid Prototyping and Simulation.- 8.3 Executable Specifications.- 8.4 Animating Formal Specifications.- Specifications are not (Necessarily) Executable.- Specifications are (Preferably) Executable.- 9. CASE.- 9.1 What is CASE?.- 9.2 CASE Workbenches.- 9.3 Beyond CASE.- 9.4 The Future of CASE.- CASE: Reliability Engineering for Information Systems.- On Visual Formalisms.- Author Biographies.
Brings together classic essays on system specification and design, and new contributions, in a single volume

< zum Archiv...