000 04281nam a22006015i 4500
001 978-3-540-31939-9
003 DE-He213
005 20240730175601.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.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aOperating systems (Computers).
_95329
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aOperating Systems.
_937074
700 1 _ade Boer, Frank S.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9117226
700 1 _aBonsangue, Marcello M.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9117227
700 1 _aGraf, Susanne.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9117228
700 1 _ade Roever, Willem-Paul.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9117229
710 2 _aSpringerLink (Online service)
_9117230
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
_9117231
856 4 0 _uhttps://doi.org/10.1007/11561163
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89985
_d89985