04068nam 22007695 450 99646529830331620200703075403.03-642-30982-810.1007/978-3-642-30982-3(CKB)3400000000085325(SSID)ssj0000697499(PQKBManifestationID)11482015(PQKBTitleCode)TC0000697499(PQKBWorkID)10707745(PQKB)11188152(DE-He213)978-3-642-30982-3(MiAaPQ)EBC3070411(PPN)168318164(EXLCZ)99340000000008532520120625d2012 u| 0engurnn|008mamaatxtccrFormal Methods for Model-Driven Engineering[electronic resource] 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (VII, 439 p. 158 illus.) Programming and Software Engineering ;7320Bibliographic Level Mode of Issuance: Monograph3-642-30981-X Includes bibliographical references and index.This 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.Programming and Software Engineering ;7320Software engineeringMathematical logicProgramming languages (Electronic computers)Application softwareManagement information systemsComputer scienceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software engineering.Mathematical logic.Programming languages (Electronic computers).Application software.Management information systems.Computer science.Software Engineering.Software Engineering/Programming and Operating Systems.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.Information Systems Applications (incl. Internet).Management of Computing and Information Systems.005.1Bernardo Marcoedthttp://id.loc.gov/vocabulary/relators/edtCortellessa Vittorioedthttp://id.loc.gov/vocabulary/relators/edtPierantonio Alfonsoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465298303316Formal Methods for Model-Driven Engineering2831701UNISA