LEADER 04040nam  22007575  450 
001 996465649303316
005 20200706210219.0
010   $a3-642-21292-1
024 7 $a10.1007/978-3-642-21292-5
035   $a(CKB)2670000000083958
035   $a(SSID)ssj0000536809
035   $a(PQKBManifestationID)11362102
035   $a(PQKBTitleCode)TC0000536809
035   $a(PQKBWorkID)10550905
035   $a(PQKB)10445753
035   $a(DE-He213)978-3-642-21292-5
035   $a(MiAaPQ)EBC3066768
035   $a(PPN)153866489
035   $a(EXLCZ)992670000000083958
100   $a20110527d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of Computer Software$b[electronic resource] $eModeling, Development, and Verification of Adaptive Systems   16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised  Selected Papers /$fedited by Radu Calinescu, Ethan Jackson
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (250 p. 102 illus., 35 illus. in color.)
225 1 $aProgramming and Software Engineering ;$v6662
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21291-3 
320   $aIncludes bibliographical references and index.
330   $aThis book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and business-critical applications to improve dependability and robustness and to ensure information privacy and security.
410  0$aProgramming and Software Engineering ;$v6662
606   $aSoftware engineering
606   $aApplication software
606   $aInformation storage and retrieval
606   $aComputer communication systems
606   $aComputer system failures
606   $aArtificial intelligence
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aInformation storage and retrieval.
615  0$aComputer communication systems.
615  0$aComputer system failures.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aInformation Storage and Retrieval.
615 24$aComputer Communication Networks.
615 24$aSystem Performance and Evaluation.
615 24$aArtificial Intelligence.
676   $a005.1
702   $aCalinescu$b Radu$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJackson$b Ethan$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465649303316
996   $aFoundations of Computer Software$92830283
997   $aUNISA