LEADER 04023nam  2200601 a 450 
001 9910483849903321
005 20200520144314.0
010   $a3-540-68863-3
024 7 $a10.1007/978-3-540-68863-1
035   $a(CKB)1000000000440608
035   $a(SSID)ssj0000317718
035   $a(PQKBManifestationID)11224130
035   $a(PQKBTitleCode)TC0000317718
035   $a(PQKBWorkID)10295532
035   $a(PQKB)10178704
035   $a(DE-He213)978-3-540-68863-1
035   $a(MiAaPQ)EBC3068609
035   $a(PPN)127048278
035   $a(EXLCZ)991000000000440608
100   $a20120313d2008      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods for open object-based distributed systems $e10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /$fGilles Barthe, Frank S. de Boer (eds.)
205   $a1st ed. 2008.
210   $aBerlin $cSpringer$d2008
215   $a1 online resource (X, 259 p.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v5051
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-68862-5 
320   $aIncludes bibliographical references and index.
327   $aFormal Methods for Open Object-Based Distributed Systems -- Guiding Distributed Systems Synthesis with Language-Based Security Policies -- Termination Analysis of Java Bytecode -- Sessions and Pipelines for Structured Service Programming -- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers -- Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus -- Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack -- Symbolic Step Encodings for Object Based Communicating State Machines -- Modeling and Model Checking Software Product Lines -- Semantic Foundations and Inference of Non-null Annotations -- Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking -- A Minimal Set of Refactoring Rules for Object-Z -- Formal Modeling of a Generic Middleware to Ensure Invariant Properties -- CoBoxes: Unifying Active Objects and Structured Heaps -- VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language -- A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.
330   $aThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.
410  0$aLecture notes in computer science ;$v5051.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aFMOODS 2008
606   $aElectronic data processing$xDistributed processing$vCongresses
606   $aObject-oriented programming (Computer science)$vCongresses
615  0$aElectronic data processing$xDistributed processing
615  0$aObject-oriented programming (Computer science)
676   $a004.6
701   $aBarthe$b Gilles$0180568
701   $aBoer$b Frank S. de$0127081
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483849903321
996   $aFormal methods for open object-based distributed systems$94186894
997   $aUNINA