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

書目詳細資料
Main Authors:	Davies, J, Gibbons, J, Milward, D, Welch, J
格式:	Journal article
語言:	English
出版:	2012

相似書籍

Compositionality and Refinement in Model−Driven Engineering
由: Davies, J, et al.
出版: (2012)

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

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

Semantic model driven engineering
由: Milward, D
出版: (2020)

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

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

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

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

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

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

Software project management for combined software and data engineering
由: Shah, SM, et al.
出版: (2017)

A formal, scalable approach to semantic interoperability
由: Davies, J, et al.
出版: (2020)

Model−Driven Data Migration
由: Aboulsamh, M, et al.
出版: (2010)

Model−Driven Architecture for Cancer Research
由: Calinescu, R, et al.
出版: (2007)

Model-driven architecture for cancer research
由: Calinescu, R, et al.
出版: (2007)

Model−Driven Architecture for Cancer Research
由: Calinescu, R, et al.
出版: (2015)

Formality, evolution, and model-driven software engineering
由: Davies, J, et al.
出版: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
由: Davies, J, et al.
出版: (2005)

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

Concurrency and Refinement in the Unified Modeling Language
由: Davies, J, et al.
出版: (2003)

Concurrency and Refinement in the Unified Modeling Language
由: Davies, J, et al.
出版: (2002)

Categorical organisation of the ornament–refinement framework
由: Ko, H, et al.
出版: (2013)

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

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

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

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

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

Accelerating Cancer Research Using Semantics−Driven Technology
由: Brenton, J, et al.
出版: (2008)

Using Z: Specification‚ Refinement‚ and Proof
由: Woodcock, J, et al.
出版: (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, et al.
出版: (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, et al.
出版: (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, et al.
出版: (2001)

Metadata−Driven Software for Clinical Trials
由: Crichton, C, et al.
出版: (2009)

On the Refinement and Simulation of Data Types and Processes
由: Bolton, C, et al.
出版: (1999)

Gradual Refinement Blending Pattern Matching with Data Abstraction
由: Wang, M, et al.
出版: (2010)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
由: Wang, M, et al.
出版: (2010)

Machine learning and software engineering in health informatics
由: Clifton, D, et al.
出版: (2012)