Compositionality and refinement in model-driven engineering

Compositionality and refinement in model-driven engineering

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Davies, J, Gibbons, J, Milward, D, Welch, J
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	2012

Míreanna comhchosúla

Compositionality and Refinement in Model−Driven Engineering
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2012)

Model-driven engineering of information systems: 10 years and 1000 versions
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2014)

Model−driven Engineering of Information Systems: 10 years and 1000 versions
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2014)

Semantic model driven engineering
de réir: Milward, D
Foilsithe / Cruthaithe: (2020)

Domain−Specific Semantics and Data Refinement of Object Models
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2006)

Domain−specific Semantics and Data Refinement of Object Models
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2008)

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2014)

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2014)

Form follows function: Model-driven engineering for clinical trials
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2012)

Form Follows Function: Model−Driven Engineering for Clinical Trials
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2011)

Software project management for combined software and data engineering
de réir: Shah, SM, et al.
Foilsithe / Cruthaithe: (2017)

A formal, scalable approach to semantic interoperability
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2020)

Model−Driven Data Migration
de réir: Aboulsamh, M, et al.
Foilsithe / Cruthaithe: (2010)

Model−Driven Architecture for Cancer Research
de réir: Calinescu, R, et al.
Foilsithe / Cruthaithe: (2007)

Model-driven architecture for cancer research
de réir: Calinescu, R, et al.
Foilsithe / Cruthaithe: (2007)

Model−Driven Architecture for Cancer Research
de réir: Calinescu, R, et al.
Foilsithe / Cruthaithe: (2015)

Formality, evolution, and model-driven software engineering
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2005)

Improving Forecasting Ability of GITM Using Data‐Driven Model Refinement
de réir: Brandon M. Ponder, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Concurrency and Refinement in the Unified Modeling Language
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2003)

Concurrency and Refinement in the Unified Modeling Language
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2002)

Categorical organisation of the ornament–refinement framework
de réir: Ko, H, et al.
Foilsithe / Cruthaithe: (2013)

Model−Driven Support for a Vaccine Study in Kathmandu
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2009)

Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2008)

A process-algebraic approach to workflow specification and refinement
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2007)

Accelerating Cancer Research Using Semantics−Driven Technology
de réir: Brenton, J, et al.
Foilsithe / Cruthaithe: (2008)

Using Z: Specification‚ Refinement‚ and Proof
de réir: Woodcock, J, et al.
Foilsithe / Cruthaithe: (1996)

Data-driven modelling and optimization of palm oil refining process
de réir: Sulaiman, Nurul Sulaiha
Foilsithe / Cruthaithe: (2023)

Data-driven modelling and optimization of palm oil refining process /
de réir: Nurul Sulaiha Sulaiman, 1989-, author 603704, et al.
Foilsithe / Cruthaithe: (2021)

Data-driven modelling and optimization of palm oil refining process /
de réir: Nurul Sulaiha Sulaiman, 1989-, author 603704
Foilsithe / Cruthaithe: (2021)

Refinement in Object−Z and CSP
de réir: Bolton, C, et al.
Foilsithe / Cruthaithe: (2002)

Metamodels composition strategy for the model driven engineering context
de réir: Héctor Arturo Flórez Fernández
Foilsithe / Cruthaithe: (2015-04-01)

Composition and refinement of behavioral specifications
de réir: Pavlovic, D, et al.
Foilsithe / Cruthaithe: (2001)

Metadata−Driven Software for Clinical Trials
de réir: Crichton, C, et al.
Foilsithe / Cruthaithe: (2009)

On the Refinement and Simulation of Data Types and Processes
de réir: Bolton, C, et al.
Foilsithe / Cruthaithe: (1999)

Gradual Refinement Blending Pattern Matching with Data Abstraction
de réir: Wang, M, et al.
Foilsithe / Cruthaithe: (2010)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
de réir: Wang, M, et al.
Foilsithe / Cruthaithe: (2010)

Machine learning and software engineering in health informatics
de réir: Clifton, D, et al.
Foilsithe / Cruthaithe: (2012)