LEADER 05712nam 22007215 450 001 996466149203316 005 20200703043318.0 010 $a3-540-44782-2 024 7 $a10.1007/3-540-60271-2 035 $a(CKB)1000000000234328 035 $a(SSID)ssj0000327683 035 $a(PQKBManifestationID)11912793 035 $a(PQKBTitleCode)TC0000327683 035 $a(PQKBWorkID)10301579 035 $a(PQKB)10060555 035 $a(DE-He213)978-3-540-44782-5 035 $a(PPN)155170694 035 $a(EXLCZ)991000000000234328 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aZUM '95: The Z Formal Specification Notation$b[electronic resource] $e9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings /$fedited by Jonathan P. Bowen, Michael G. Hinchey 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XIII, 583 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v967 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60271-2 327 $aLanguage-free mathematical methods for software design extended abstract -- A formal approach to software design: The Clepsydra methodology -- Refining database systems -- Structuring a Z specification to provide a formal framework for autonomous agent systems -- On the use of formal specifications in the design and simulation of artificial neural networks -- Structuring specification in Z to build a unifying framework for hypertext systems -- Mechanizing formal methods: Opportunities and challenges -- An algebraic proof in VDM ? -- Testing as abstraction -- Improving software tests using Z Specifications -- Compilation of Z specifications into C for automatic test result evaluation -- Equal rights for schemas in Z -- Structuring Z specifications: Some choices -- Experiments with the Z interchange format and SGML -- The future of industrial formal methods -- Specifications and their use in defining subtypes -- How firing conditions help inheritance -- Extending W for Object-Z -- A formal semantics for a language with type extension -- From Z to code: A graphical user interface for a radiation therapy machine -- The French population census for 1990 -- Implementing Z in Isabelle -- The Z-into-Haskell tool-kit: An illustrative case study -- Types and sets in Gödel and Z -- Exploring specifications with Mathematica -- Using Z to rigorously review a specification of a Network Management System -- A two-dimensional view of integrated formal and informal specification techniques -- Viewpoints and objects -- Teaching programming as engineering -- A course on formal methods in software engineering: Matching requirements with design -- Hints for writing specifications -- Mental models of Z: I ? Sets and logic -- Equational logic: A great pedagogical tool for teaching a skill in logic -- Z Browser ? Tool for visualisation of Z specifications -- Select Z bibliography -- Comp.specification.z and Z forum frequently asked questions. 330 $aThis book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v967 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer science?Mathematics 606 $aComputer programming 606 $aCombinatorics 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer science?Mathematics. 615 0$aComputer programming. 615 0$aCombinatorics. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aProgramming Techniques. 615 24$aCombinatorics. 676 $a005.1 702 $aBowen$b Jonathan P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHinchey$b Michael G$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466149203316 996 $aZUM '95: The Z Formal Specification Notation$92831011 997 $aUNISA