000 04189nam a22006015i 4500
001 978-3-540-31939-9
003 DE-He213
005 20240423125401.0
007 cr nn 008mamaa
008 100312s2005 gw | s |||| 0|eng d
020 _a9783540319399
_9978-3-540-31939-9
024 7 _a10.1007/11561163
_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 _aFormal Methods for Components and Objects
_h[electronic resource] :
_bThird International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /
_cedited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aVIII, 328 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3657
505 0 _aA Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and Applications -- rCOS: Refinement of Component and Object Systems -- Program Generation and Components -- Assertion-Based Encapsulation, Object Invariants and Simulations -- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects -- Observability, Connectivity, and Replay in a Sequential Calculus of Classes -- Timing Analysis and Timing Predictability.
520 _aFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aComputer science.
650 0 _aOperating systems (Computers).
650 1 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aOperating Systems.
700 1 _ade Boer, Frank S.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBonsangue, Marcello M.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aGraf, Susanne.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _ade Roever, Willem-Paul.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540291312
776 0 8 _iPrinted edition:
_z9783540816249
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3657
856 4 0 _uhttps://doi.org/10.1007/11561163
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c177351
_d177351