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)