Compositionality and refinement in model-driven engineering

Compositionality and refinement in model-driven engineering

Show other versions (1)

Model-driven engineering involves the automatic generation of software artifacts from models of structure and functionality. The use of models as 'source code' has implications for the notions of composition and refinement employed in the modelling language. This paper explores those impli...

Bibliografske podrobnosti
Main Authors:	Davies, J, Gibbons, J, Milward, D, Welch, J
Format:	Journal article
Jezik:	English
Izdano:	2012

Podobne knjige/članki

Compositionality and Refinement in Model−Driven Engineering
od: Davies, J, et al.
Izdano: (2012)

Model-driven engineering of information systems: 10 years and 1000 versions
od: Davies, J, et al.
Izdano: (2014)

Model−driven Engineering of Information Systems: 10 years and 1000 versions
od: Davies, J, et al.
Izdano: (2014)

Semantic model driven engineering
od: Milward, D
Izdano: (2020)

Domain−Specific Semantics and Data Refinement of Object Models
od: Davies, J, et al.
Izdano: (2006)

Domain−specific Semantics and Data Refinement of Object Models
od: Davies, J, et al.
Izdano: (2008)

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials
od: Davies, J, et al.
Izdano: (2014)

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials
od: Davies, J, et al.
Izdano: (2014)

Form follows function: Model-driven engineering for clinical trials
od: Davies, J, et al.
Izdano: (2012)

Form Follows Function: Model−Driven Engineering for Clinical Trials
od: Davies, J, et al.
Izdano: (2011)

Software project management for combined software and data engineering
od: Shah, SM, et al.
Izdano: (2017)

A formal, scalable approach to semantic interoperability
od: Davies, J, et al.
Izdano: (2020)

Model−Driven Data Migration
od: Aboulsamh, M, et al.
Izdano: (2010)

Model−Driven Architecture for Cancer Research
od: Calinescu, R, et al.
Izdano: (2007)

Model-driven architecture for cancer research
od: Calinescu, R, et al.
Izdano: (2007)

Model−Driven Architecture for Cancer Research
od: Calinescu, R, et al.
Izdano: (2015)

Formality, evolution, and model-driven software engineering
od: Davies, J, et al.
Izdano: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
od: Davies, J, et al.
Izdano: (2005)

Improving Forecasting Ability of GITM Using Data‐Driven Model Refinement
od: Brandon M. Ponder, et al.
Izdano: (2023-03-01)

Concurrency and Refinement in the Unified Modeling Language
od: Davies, J, et al.
Izdano: (2003)

Concurrency and Refinement in the Unified Modeling Language
od: Davies, J, et al.
Izdano: (2002)

Categorical organisation of the ornament–refinement framework
od: Ko, H, et al.
Izdano: (2013)

Model−Driven Support for a Vaccine Study in Kathmandu
od: Davies, J, et al.
Izdano: (2009)

Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures
od: Davies, J, et al.
Izdano: (2008)

A process-algebraic approach to workflow specification and refinement
od: Wong, P, et al.
Izdano: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
od: Wong, P, et al.
Izdano: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
od: Wong, P, et al.
Izdano: (2007)

Accelerating Cancer Research Using Semantics−Driven Technology
od: Brenton, J, et al.
Izdano: (2008)

Using Z: Specification‚ Refinement‚ and Proof
od: Woodcock, J, et al.
Izdano: (1996)

Data-driven modelling and optimization of palm oil refining process
od: Sulaiman, Nurul Sulaiha
Izdano: (2023)

Data-driven modelling and optimization of palm oil refining process /
od: Nurul Sulaiha Sulaiman, 1989-, author 603704, et al.
Izdano: (2021)

Data-driven modelling and optimization of palm oil refining process /
od: Nurul Sulaiha Sulaiman, 1989-, author 603704
Izdano: (2021)

Refinement in Object−Z and CSP
od: Bolton, C, et al.
Izdano: (2002)

Metamodels composition strategy for the model driven engineering context
od: Héctor Arturo Flórez Fernández
Izdano: (2015-04-01)

Composition and refinement of behavioral specifications
od: Pavlovic, D, et al.
Izdano: (2001)

Metadata−Driven Software for Clinical Trials
od: Crichton, C, et al.
Izdano: (2009)

On the Refinement and Simulation of Data Types and Processes
od: Bolton, C, et al.
Izdano: (1999)

Gradual Refinement Blending Pattern Matching with Data Abstraction
od: Wang, M, et al.
Izdano: (2010)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
od: Wang, M, et al.
Izdano: (2010)

Machine learning and software engineering in health informatics
od: Clifton, D, et al.
Izdano: (2012)