LEADER 04126nam  22006855  450 
001 996465423203316
005 20200706172554.0
010   $a3-642-21455-X
024 7 $a10.1007/978-3-642-21455-4
035   $a(CKB)2670000000095855
035   $a(SSID)ssj0000530657
035   $a(PQKBManifestationID)11301327
035   $a(PQKBTitleCode)TC0000530657
035   $a(PQKBWorkID)10561266
035   $a(PQKB)10677152
035   $a(DE-He213)978-3-642-21455-4
035   $a(MiAaPQ)EBC3066831
035   $a(PPN)153859644
035   $a(EXLCZ)992670000000095855
100   $a20110610d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods for Eternal Networked Software Systems$b[electronic resource] $e11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures /$fedited by Marco Bernardo, Valerie Issarny
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (VIII, 527 p. 180 illus., 46 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6659
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21454-1 
320   $aIncludes bibliographical references and index.
330   $aThis book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.
410  0$aProgramming and Software Engineering ;$v6659
606   $aSoftware engineering
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aApplication software
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aApplication software.
615 14$aSoftware Engineering.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aInformation Systems Applications (incl. Internet).
676   $a005.1
702   $aBernardo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aIssarny$b Valerie$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465423203316
996   $aFormal Methods for Eternal Networked Software Systems$92830303
997   $aUNISA