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

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Davies, J, Gibbons, J, Milward, D, Welch, J
Formatua:	Journal article
Hizkuntza:	English
Argitaratua:	2012

Antzeko izenburuak

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

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

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

Semantic model driven engineering
nork: Milward, D
Argitaratua: (2020)

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

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

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

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

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

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

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

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

Model−Driven Data Migration
nork: Aboulsamh, M, et al.
Argitaratua: (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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