000 03999nam a22006015i 4500
001 978-3-540-45648-3
003 DE-He213
005 20240423132446.0
007 cr nn 008mamaa
008 121227s2002 gw | s |||| 0|eng d
020 _a9783540456483
_9978-3-540-45648-3
024 7 _a10.1007/3-540-45648-1
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aZB 2002: Formal Specification and Development in Z and B
_h[electronic resource] :
_b2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings /
_cedited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson.
250 _a1st ed. 2002.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2002.
300 _aXI, 541 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2272
505 0 _aTheories, Implementations, and Transformations -- Incremental Proof of the Producer/Consumer Property for the PCI Protocol -- Controlling Control Systems: An Application of Evolving Retrenchment -- Checking Z Data Refinements Using an Animation Tool -- Encoding Object-Z in Isabelle/HOL -- Characters + Mark-up = Z Lexis -- Extraction of Abstraction Invariants for Data Refinement -- An Approach to Combining B and Alloy -- Software Construction by Stepwise Feature Introduction -- The Semantics of Circus -- Handling Inconsistencies in Z Using Quasi-Classical Logic -- Loose Specification and Refinement in Z -- On Using Conditional Definitions in Formal Theories -- A Theory of Generalised Substitutions -- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing -- A Comparison of the BTT and TTF Test-Generation Methods -- A Formal Analysis of the CORBA Security Service -- Type Synthesis in B and the Translation of B to PVS -- “Higher-Order” Mathematics in B -- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries -- Generalised Substitution Language and Differentials -- Communicating B Machines -- Synchronized Parallel Composition of Event Systems in B -- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study -- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions -- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints -- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aMathematical logic.
650 0 _aMachine theory.
650 1 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aFormal Languages and Automata Theory.
700 1 _aBert, Didier.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBowen, Jonathan P.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aHenson, Martin C.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRobinson, Ken.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540431664
776 0 8 _iPrinted edition:
_z9783662164389
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2272
856 4 0 _uhttps://doi.org/10.1007/3-540-45648-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187986
_d187986