1999, ISBN: 3540762264
[EAN: 9783540762263], Neubuch, [SC: 0.0], [PU: Springer London], COMMUNICATION; CONCURRENCY; DEVELOPMENT; DISTRIBUTED FORMALMETHODS; FORMALSPECIFICATION; LANGUAGE; OPERATINGSAFETY-CRITICA… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
Springer.com Nr. 978-3-540-76226-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
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…
amazon.es Versandkosten:Los costos de envío pueden diferir de los costos reales. (EUR 2.99) Details... |
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…
Hugendubel.de 3540762264. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
1999, ISBN: 3540762264
[EAN: 9783540762263], Neubuch, [SC: 0.0], [PU: Springer London], COMMUNICATION; CONCURRENCY; DEVELOPMENT; DISTRIBUTED FORMALMETHODS; FORMALSPECIFICATION; LANGUAGE; OPERATINGSAFETY-CRITICA… Mehr…
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…
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…
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…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781447134312 High-Integrity System Specification and Design (Jonathan P. Bowen/ Michael G. Hinchey)
- 9781447134312 High-Integrity System Specification and Design (Jonathan P. Bowen/ Michael G. Hinchey)
- 9781118613948 Software Specification Methods (Habrias, Henri; Frappier, Marc)
- 9781852333539 Software Specification Methods (Marc Frappier; Henri Habrias)
- 9780470394656 Software Specification Methods (Henri Habrias; Marc Frappier)
< zum Archiv...