Modular Specification and Verification of Object-Oriented Programs

• Κύριος συγγραφέας: Müller, Peter (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2262
• Θέματα: Computer programming.; Programming languages (Electronic computers).; Software engineering.; Computer logic.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior o...

Πίνακας περιεχομένων:

• Mojave and the Universe Type System
• The Semantics of Mojave
• Modular Specification and Verification of Functional Behavior
• Modular Specification and Verification of Frame Properties
• Modular Specification and Verification of Type Invariants
• Conclusion
• Formal Background and Notations
• Predefined Type Declarations
• Examples
• Auxiliary Lemmas, Proofs, and Models.