LEADER 04275nam  22008055  450 
001 9910484203303321
005 20200706090922.0
010   $a3-642-38911-2
024 7 $a10.1007/978-3-642-38911-5
035   $a(CKB)2560000000105678
035   $a(DE-He213)978-3-642-38911-5
035   $a(SSID)ssj0000936701
035   $a(PQKBManifestationID)11542667
035   $a(PQKBTitleCode)TC0000936701
035   $a(PQKBWorkID)10975091
035   $a(PQKB)10823103
035   $a(MiAaPQ)EBC3096898
035   $a(PPN)170492915
035   $a(EXLCZ)992560000000105678
100   $a20130613d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSDL 2013: Model Driven Dependability Engineering $e16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings /$fedited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XII, 291 p. 138 illus.) 
225 1 $aComputer Communication Networks and Telecommunications ;$v7916
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-38910-4 
327   $aVerification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.
330   $aThis book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.
410  0$aComputer Communication Networks and Telecommunications ;$v7916
606   $aComputer organization
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer communication systems
606   $aManagement information systems
606   $aComputer science
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aComputer organization.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer communication systems.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aComputer Systems Organization and Communication Networks.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputer Communication Networks.
615 24$aManagement of Computing and Information Systems.
676   $a004.6
702   $aKhendek$b Ferhat$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aToeroe$b Maria$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGherbi$b Abdelouahed$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aReed$b Rick$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910484203303321
996   $aSDL 2013: Model Driven Dependability Engineering$92830098
997   $aUNINA