Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

Modular Specification and Verification of Object-Oriented Programs

Authors: Müller, Peter

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45651-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-43167-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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 of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: – Formal speci?cation techniques have to be smoothly integrated into the software and program development process. – The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¨ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.

Table of contents (11 chapters)

Table of contents (11 chapters)
  • Introduction

    Pages 1-37

  • Mojave and the Universe Type System

    Pages 39-76

  • The Semantics of Mojave

    Pages 77-122

  • Modular Specification and Verification of Functional Behavior

    Pages 123-141

  • Modular Specification and Verification of Frame Properties

    Pages 143-194

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-45651-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-43167-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Modular Specification and Verification of Object-Oriented Programs
Authors
Series Title
Lecture Notes in Computer Science
Series Volume
2262
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45651-3
DOI
10.1007/3-540-45651-1
Softcover ISBN
978-3-540-43167-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 298
Topics