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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Davies, J, Gibbons, J, Milward, D, Welch, J
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	2012

Eitemau Tebyg

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

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

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

Semantic model driven engineering
gan: Milward, D
Cyhoeddwyd: (2020)

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

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

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

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

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

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

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

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

Model−Driven Data Migration
gan: Aboulsamh, M, et al.
Cyhoeddwyd: (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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