{"product_id":"on-the-formalization-of-model-driven-miguel-alfredo-garcia-gutierrez-9783832523121","title":"On the Formalization of Model-Driven Software Engineering","description":"Model-Driven Software Engineering (MDSE) encompasses traditional areas of language design, tool engineering, and system validation and verification, following a unified conceptual and technical framework (metamodeling, declarative model transformations, model-based analysis). This work presents design cases of methodologies and tools for MDSE, where the state-of-the-art is advanced as a result of applying formal techniques. The contributions encompass (a) the application of metamodeling techniques to industrially relevant languages, capturing their static semantics in a machine-processable manner; (b) the formulation of a methodology for the design-time certification of transformation algorithms; (c) the design of algorithms for efficiently evaluating Object Constraint Language (OCL) invariants for both the secondary-storage and main-memory cases; and (d) several contributions focused on the generation of Integrated Development Environments (IDEs) derived from language definitions for Domain Specific Languages (DSLs). Venues for further progress and an appraisal of the impact of our research are also reported.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Miguel Alfredo Garcia Gutierrez\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 383252312X\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783832523121\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Logos Verlag Berlin\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 11\/17\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 300\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback","brand":"Miguel Alfredo Garcia Gutierrez","offers":[{"title":"Paperback","offer_id":48450120122623,"sku":"9783832523121","price":60.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_78cd3e6c-84b1-4023-b76f-be8526de8e71.jpg?v=1777266301","url":"https:\/\/www.whiterainbookhouse.com\/products\/on-the-formalization-of-model-driven-miguel-alfredo-garcia-gutierrez-9783832523121","provider":"WR Book House","version":"1.0","type":"link"}