Compositionality and refinement in model-driven engineering

Compositionality and refinement in model-driven engineering

Показать другие версии (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...

Полное описание

Библиографические подробности
Главные авторы:	Davies, J, Gibbons, J, Milward, D, Welch, J
Формат:	Journal article
Язык:	English
Опубликовано:	2012

Схожие документы

Compositionality and Refinement in Model−Driven Engineering
по: Davies, J, и др.
Опубликовано: (2012)

Model-driven engineering of information systems: 10 years and 1000 versions
по: Davies, J, и др.
Опубликовано: (2014)

Model−driven Engineering of Information Systems: 10 years and 1000 versions
по: Davies, J, и др.
Опубликовано: (2014)

Semantic model driven engineering
по: Milward, D
Опубликовано: (2020)

Domain−Specific Semantics and Data Refinement of Object Models
по: Davies, J, и др.
Опубликовано: (2006)

Domain−specific Semantics and Data Refinement of Object Models
по: Davies, J, и др.
Опубликовано: (2008)

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials
по: Davies, J, и др.
Опубликовано: (2014)

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials
по: Davies, J, и др.
Опубликовано: (2014)

Form follows function: Model-driven engineering for clinical trials
по: Davies, J, и др.
Опубликовано: (2012)

Form Follows Function: Model−Driven Engineering for Clinical Trials
по: Davies, J, и др.
Опубликовано: (2011)

Software project management for combined software and data engineering
по: Shah, SM, и др.
Опубликовано: (2017)

A formal, scalable approach to semantic interoperability
по: Davies, J, и др.
Опубликовано: (2020)

Model−Driven Data Migration
по: Aboulsamh, M, и др.
Опубликовано: (2010)

Model−Driven Architecture for Cancer Research
по: Calinescu, R, и др.
Опубликовано: (2007)

Model-driven architecture for cancer research
по: Calinescu, R, и др.
Опубликовано: (2007)

Model−Driven Architecture for Cancer Research
по: Calinescu, R, и др.
Опубликовано: (2015)

Formality, evolution, and model-driven software engineering
по: Davies, J, и др.
Опубликовано: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
по: Davies, J, и др.
Опубликовано: (2005)

Improving Forecasting Ability of GITM Using Data‐Driven Model Refinement
по: Brandon M. Ponder, и др.
Опубликовано: (2023-03-01)

Concurrency and Refinement in the Unified Modeling Language
по: Davies, J, и др.
Опубликовано: (2003)

Concurrency and Refinement in the Unified Modeling Language
по: Davies, J, и др.
Опубликовано: (2002)

Categorical organisation of the ornament–refinement framework
по: Ko, H, и др.
Опубликовано: (2013)

Model−Driven Support for a Vaccine Study in Kathmandu
по: Davies, J, и др.
Опубликовано: (2009)

Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures
по: Davies, J, и др.
Опубликовано: (2008)

A process-algebraic approach to workflow specification and refinement
по: Wong, P, и др.
Опубликовано: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
по: Wong, P, и др.
Опубликовано: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
по: Wong, P, и др.
Опубликовано: (2007)

Accelerating Cancer Research Using Semantics−Driven Technology
по: Brenton, J, и др.
Опубликовано: (2008)

Using Z: Specification‚ Refinement‚ and Proof
по: Woodcock, J, и др.
Опубликовано: (1996)

Data-driven modelling and optimization of palm oil refining process
по: Sulaiman, Nurul Sulaiha
Опубликовано: (2023)

Data-driven modelling and optimization of palm oil refining process /
по: Nurul Sulaiha Sulaiman, 1989-, author 603704, и др.
Опубликовано: (2021)

Data-driven modelling and optimization of palm oil refining process /
по: Nurul Sulaiha Sulaiman, 1989-, author 603704
Опубликовано: (2021)

Refinement in Object−Z and CSP
по: Bolton, C, и др.
Опубликовано: (2002)

Metamodels composition strategy for the model driven engineering context
по: Héctor Arturo Flórez Fernández
Опубликовано: (2015-04-01)

Composition and refinement of behavioral specifications
по: Pavlovic, D, и др.
Опубликовано: (2001)

Metadata−Driven Software for Clinical Trials
по: Crichton, C, и др.
Опубликовано: (2009)

On the Refinement and Simulation of Data Types and Processes
по: Bolton, C, и др.
Опубликовано: (1999)

Gradual Refinement Blending Pattern Matching with Data Abstraction
по: Wang, M, и др.
Опубликовано: (2010)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
по: Wang, M, и др.
Опубликовано: (2010)

Machine learning and software engineering in health informatics
по: Clifton, D, и др.
Опубликовано: (2012)