LEADER 04513nam 22006615 450 001 9910145910503321 005 20200701214420.0 010 $a3-540-39800-7 024 7 $a10.1007/b13225 035 $a(CKB)1000000000016814 035 $a(SSID)ssj0000323223 035 $a(PQKBManifestationID)11268146 035 $a(PQKBTitleCode)TC0000323223 035 $a(PQKBWorkID)10296901 035 $a(PQKB)10520235 035 $a(DE-He213)978-3-540-39800-4 035 $a(MiAaPQ)EBC3087467 035 $a(PPN)155212192 035 $a(EXLCZ)991000000000016814 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Software Architectures $eThird International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures /$fedited by Marco Bernardo, Paola Inverardi 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (VII, 289 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2804 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20083-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aFormal Modeling and Analysis of Software Architecture: Components, Connectors, and Events -- From System Goals to Software Architecture -- Software Architecture Modeling & Analysis: A Rigorous Approach -- The Application of Dependence Analysis to Software Architecture Descriptions -- Validating Distributed Object and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing Software Architectures -- Architecture Based Evolution of Software Systems -- Software Architecture for Mobile Computing -- Performance Evaluation at the Software Architecture Level -- Software Architecture and Dependability. 330 $aIn the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2804 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers) 615 0$aComputer logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.3 702 $aBernardo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aInverardi$b Paola$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational School on Formal Methods for the Design of Computer, Communication and Software Systems 906 $aBOOK 912 $a9910145910503321 996 $aFormal Methods for Software Architectures$92120437 997 $aUNINA