Compositionality and refinement in model-driven engineering

Compositionality and refinement in model-driven engineering

Toon andere (1) versies

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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Davies, J, Gibbons, J, Milward, D, Welch, J
Formaat:	Journal article
Taal:	English
Gepubliceerd in:	2012

Gelijkaardige items

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

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

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

Semantic model driven engineering
door: Milward, D
Gepubliceerd in: (2020)

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

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

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

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

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

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

Software project management for combined software and data engineering
door: Shah, SM, et al.
Gepubliceerd in: (2017)

A formal, scalable approach to semantic interoperability
door: Davies, J, et al.
Gepubliceerd in: (2020)

Model−Driven Data Migration
door: Aboulsamh, M, et al.
Gepubliceerd in: (2010)

Model−Driven Architecture for Cancer Research
door: Calinescu, R, et al.
Gepubliceerd in: (2007)

Model-driven architecture for cancer research
door: Calinescu, R, et al.
Gepubliceerd in: (2007)

Model−Driven Architecture for Cancer Research
door: Calinescu, R, et al.
Gepubliceerd in: (2015)

Formality, evolution, and model-driven software engineering
door: Davies, J, et al.
Gepubliceerd in: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
door: Davies, J, et al.
Gepubliceerd in: (2005)

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

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

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

Categorical organisation of the ornament–refinement framework
door: Ko, H, et al.
Gepubliceerd in: (2013)

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

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

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

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

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

Accelerating Cancer Research Using Semantics−Driven Technology
door: Brenton, J, et al.
Gepubliceerd in: (2008)

Using Z: Specification‚ Refinement‚ and Proof
door: Woodcock, J, et al.
Gepubliceerd in: (1996)

Data-driven modelling and optimization of palm oil refining process
door: Sulaiman, Nurul Sulaiha
Gepubliceerd in: (2023)

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

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

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

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

Composition and refinement of behavioral specifications
door: Pavlovic, D, et al.
Gepubliceerd in: (2001)

Metadata−Driven Software for Clinical Trials
door: Crichton, C, et al.
Gepubliceerd in: (2009)

On the Refinement and Simulation of Data Types and Processes
door: Bolton, C, et al.
Gepubliceerd in: (1999)

Gradual Refinement Blending Pattern Matching with Data Abstraction
door: Wang, M, et al.
Gepubliceerd in: (2010)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
door: Wang, M, et al.
Gepubliceerd in: (2010)

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