LEADER 04068nam  22007695  450 
001 996465298303316
005 20200703075403.0
010   $a3-642-30982-8
024 7 $a10.1007/978-3-642-30982-3
035   $a(CKB)3400000000085325
035   $a(SSID)ssj0000697499
035   $a(PQKBManifestationID)11482015
035   $a(PQKBTitleCode)TC0000697499
035   $a(PQKBWorkID)10707745
035   $a(PQKB)11188152
035   $a(DE-He213)978-3-642-30982-3
035   $a(MiAaPQ)EBC3070411
035   $a(PPN)168318164
035   $a(EXLCZ)993400000000085325
100   $a20120625d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods for Model-Driven Engineering$b[electronic resource] $e12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /$fedited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (VII, 439 p. 158 illus.) 
225 1 $aProgramming and Software Engineering ;$v7320
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-30981-X 
320   $aIncludes bibliographical references and index.
330   $aThis book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
410  0$aProgramming and Software Engineering ;$v7320
606   $aSoftware engineering
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aApplication software
606   $aManagement information systems
606   $aComputer science
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
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aApplication software.
615  0$aManagement information systems.
615  0$aComputer science.
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).
615 24$aManagement of Computing and Information Systems.
676   $a005.1
702   $aBernardo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCortellessa$b Vittorio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPierantonio$b Alfonso$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465298303316
996   $aFormal Methods for Model-Driven Engineering$92831701
997   $aUNISA