Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for On the Formalization of Model-Driven Software Engineering
Stock Image
On the Formalization of Model-Driven Software Engineering
Seller: ISD LLC, Bristol, CT, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. Seller Inventory # 368701
Seller Image
On the Formalization of Model-Driven Software Engineering
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 45914378-n
Stock Image
On the Formalization of Model-Driven Software Engineering (Paperback)
Published by
Logos Verlag Berlin GmbH, Berlin, 2009
ISBN 10: 383252312X
ISBN 13: 9783832523121
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783832523121
Seller Image
On the Formalization of Model-Driven Software Engineering
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 45914378
Stock Image
On the Formalization of Model-Driven Software Engineering
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 2009. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9783832523121
Stock Image
On the Formalization of Model-Driven Software Engineering (Paperback)
Published by
Logos Verlag Berlin GmbH, Berlin, 2009
ISBN 10: 383252312X
ISBN 13: 9783832523121
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9783832523121
Buy New
US$ 142.49
US$ 37.00 shipping
Ships from Australia to U.S.A.
Ships from Australia to U.S.A.
Quantity: 1 available
Stock Image
On the Formalization of Model-Driven Software Engineering
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2009. Paperback. . . . . . Seller Inventory # V9783832523121
Buy New
US$ 186.56
US$ 12.37 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: 2 available