Compositionality and refinement in model-driven engineering

Compositionality and refinement in model-driven engineering

Čájet eará veršuvnnaid (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...

Bibliográfalaš dieđut
Váldodahkkit:	Davies, J, Gibbons, J, Milward, D, Welch, J
Materiálatiipa:	Journal article
Giella:	English
Almmustuhtton:	2012

Geahča maid

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

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

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

Semantic model driven engineering
Dahkki: Milward, D
Almmustuhtton: (2020)

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

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

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

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

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

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

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

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

Model−Driven Data Migration
Dahkki: Aboulsamh, M, et al.
Almmustuhtton: (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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