Coverart for item
The Resource Modular Specification and Verification of Object-Oriented Programs, edited by Peter Müller

Modular Specification and Verification of Object-Oriented Programs, edited by Peter Müller

Label
Modular Specification and Verification of Object-Oriented Programs
Title
Modular Specification and Verification of Object-Oriented Programs
Statement of responsibility
edited by Peter Müller
Contributor
Subject
Language
eng
Summary
This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques
Member of
Cataloging source
DKDLA
Dewey number
005.1
Index
index present
Language note
English
LC call number
QA76.758
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorName
M. ller, Peter
Series statement
Lecture Notes in Computer Science
Series volume
2262,
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Modular programming
  • Computer software
  • Computer science
  • Software engineering
  • Logic design
  • Computer science
  • Computer software
  • Logic design
  • Modular programming
  • Object-oriented programming (Computer science)
  • Software engineering
Label
Modular Specification and Verification of Object-Oriented Programs, edited by Peter Müller
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 271-283) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
768058782
Extent
1 online resource.
Form of item
online
Isbn
9783540456513
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45651-1
Specific material designation
remote
System control number
(OCoLC)768058782
Label
Modular Specification and Verification of Object-Oriented Programs, edited by Peter Müller
Publication
Bibliography note
Includes bibliographical references (pages 271-283) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
768058782
Extent
1 online resource.
Form of item
online
Isbn
9783540456513
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45651-1
Specific material designation
remote
System control number
(OCoLC)768058782

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...