.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Modular Specification and Verification of Object-Oriented Programs
Peter Muller
€ 70.39
FREE Delivery in Ireland
Description for Modular Specification and Verification of Object-Oriented Programs
Paperback. This work presents new techniques for the formal specification and verification of object-oriented software. As modularity is of importance for reuse and component-based programming, emphasis is given to the completeness of specification techniques to allow module verification. Series: Lecture Notes in Computer Science. Num Pages: 298 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 440.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
298
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
298
Place of Publication
Berlin, Germany
ISBN
9783540431671
SKU
V9783540431671
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Modular Specification and Verification of Object-Oriented Programs