Items related to Modular Specification and Verification of Object-Oriented...
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Modular Specification and Verification of Object-Oriented...
Stock Image
Modular Specification and Verification of Object-Oriented Programs
Published by
Springer Verlag, New York, 2002
ISBN 10: 3540431675
ISBN 13: 9783540431671
Used
Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2262. [xiv, 292 p. : ill. ; 24 cm]. Seller Inventory # 011816
Quantity: 1 available
Seller Image
Modular Specification and Verification of Object-Oriented Programs
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916357-n
Quantity: Over 20 available
Stock Image
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020167428
Quantity: Over 20 available
Stock Image
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540431671_new
Quantity: Over 20 available
Stock Image
Modular Specification and Verification of Object-Oriented Programs
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540431671
Quantity: 10 available
Seller Image
Modular Specification and Verification of Object-Oriented Programs
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916357-n
Quantity: Over 20 available
Seller Image
Modular Specification and Verification of Object-Oriented Programs
Published by
Springer Berlin Heidelberg Jan 2002, 2002
ISBN 10: 3540431675
ISBN 13: 9783540431671
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 312 pp. Englisch. Seller Inventory # 9783540431671
Quantity: 2 available
Seller Image
Modular Specification and Verification of Object-Oriented Programs
Published by
Springer Berlin Heidelberg, 2002
ISBN 10: 3540431675
ISBN 13: 9783540431671
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540431671
Quantity: 1 available
Stock Image
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262, Band 2262) M??ller, Peter
Seller: online-buch-de, Dozwil, Switzerland
Seller rating 5 out of 5 stars
Paperback. Condition: gebraucht; wie neu. Softcover, ungebraucht. Seller Inventory # 174-3-46
Quantity: 1 available
Seller Image
Modular Specification and Verification of Object-Oriented Programs
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 916357
Quantity: Over 20 available