LEADER 03986nam  22008295  450 
001 9910483238903321
005 20251226200453.0
010   $a3-642-41533-4
024 7 $a10.1007/978-3-642-41533-3
035   $a(CKB)3710000000019200
035   $a(SSID)ssj0001010881
035   $a(PQKBManifestationID)11534505
035   $a(PQKBTitleCode)TC0001010881
035   $a(PQKBWorkID)11004495
035   $a(PQKB)10827452
035   $a(DE-He213)978-3-642-41533-3
035   $a(MiAaPQ)EBC3092942
035   $a(PPN)172430674
035   $a(EXLCZ)993710000000019200
100   $a20130919d2013      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel-Driven Engineering Languages and Systems $e16th International Conference, MODELS 2013, Miami, FL, USA, September 29 ? October 4, 2013. Proceedings /$fedited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XXVIII, 792 p. 299 illus.)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8107
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-41532-6 
327   $aTool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis.
330   $aThis book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v8107
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputer science
606   $aElectronic data processing$xManagement
606   $aComputer simulation
606   $aElectronic digital computers$xEvaluation
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aIT Operations
606   $aComputer Modelling
606   $aSystem Performance and Evaluation
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aElectronic data processing$xManagement.
615  0$aComputer simulation.
615  0$aElectronic digital computers$xEvaluation.
615 14$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aIT Operations.
615 24$aComputer Modelling.
615 24$aSystem Performance and Evaluation.
676   $a005.1
702   $aMoreira$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aScha?tz$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGray$b Jeff$g(Jeffrey G.),$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVallecillo$b Antonio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aClarke$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483238903321
996   $aModel Driven Engineering Languages and Systems$9772687
997   $aUNINA