LEADER 04974nam  22007215  450 
001 9910145794503321
005 20200702123832.0
010   $a3-540-45651-1
024 7 $a10.1007/3-540-45651-1
035   $a(CKB)1000000000016876
035   $a(SSID)ssj0000324944
035   $a(PQKBManifestationID)11252800
035   $a(PQKBTitleCode)TC0000324944
035   $a(PQKBWorkID)10321002
035   $a(PQKB)10309555
035   $a(DE-He213)978-3-540-45651-3
035   $a(MiAaPQ)EBC3072520
035   $a(PPN)155220748
035   $a(EXLCZ)991000000000016876
100   $a20121227d2002      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModular Specification and Verification of Object-Oriented Programs /$fby Peter Müller
205   $a1st ed. 2002.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002.
215   $a1 online resource (XIV, 298 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2262
300   $aBased on the author's thesis (doctoral)--Fernuniversita?t Hagen, 2001.
311   $a3-540-43167-5 
320   $aIncludes bibliographical references and index.
327   $aMojave 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.
330   $aSoftware 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2262
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers)
615  0$aSoftware engineering.
615  0$aComputer logic.
615 14$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
676   $a005.1
700   $aMüller$b Peter$4aut$4http://id.loc.gov/vocabulary/relators/aut$0555240
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910145794503321
996   $aModular specification and verification of Object-oriented programs$9983397
997   $aUNINA