000 03743nam a22005655i 4500
001 978-3-540-39800-4
003 DE-He213
005 20240423132434.0
007 cr nn 008mamaa
008 121227s2003 gw | s |||| 0|eng d
020 _a9783540398004
_9978-3-540-39800-4
024 7 _a10.1007/b13225
_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 Software Architectures
_h[electronic resource] :
_bThird 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 /
_cedited by Marco Bernardo, Paola Inverardi.
250 _a1st ed. 2003.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2003.
300 _aVII, 289 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 ;
_v2804
505 0 _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.
520 _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.
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aComputer science.
650 1 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aBernardo, Marco.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aInverardi, Paola.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540200833
776 0 8 _iPrinted edition:
_z9783662178928
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2804
856 4 0 _uhttps://doi.org/10.1007/b13225
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187758
_d187758