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)