Compositionality and refinement in model-driven engineering

Compositionality and refinement in model-driven engineering

Hiển thị phiên bản (1) khác

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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Davies, J, Gibbons, J, Milward, D, Welch, J
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	2012

Những quyển sách tương tự

Compositionality and Refinement in Model−Driven Engineering
Bằng: Davies, J, et al.
Được phát hành: (2012)

Model-driven engineering of information systems: 10 years and 1000 versions
Bằng: Davies, J, et al.
Được phát hành: (2014)

Model−driven Engineering of Information Systems: 10 years and 1000 versions
Bằng: Davies, J, et al.
Được phát hành: (2014)

Semantic model driven engineering
Bằng: Milward, D
Được phát hành: (2020)

Domain−Specific Semantics and Data Refinement of Object Models
Bằng: Davies, J, et al.
Được phát hành: (2006)

Domain−specific Semantics and Data Refinement of Object Models
Bằng: Davies, J, et al.
Được phát hành: (2008)

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials
Bằng: Davies, J, et al.
Được phát hành: (2014)

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials
Bằng: Davies, J, et al.
Được phát hành: (2014)

Form follows function: Model-driven engineering for clinical trials
Bằng: Davies, J, et al.
Được phát hành: (2012)

Form Follows Function: Model−Driven Engineering for Clinical Trials
Bằng: Davies, J, et al.
Được phát hành: (2011)

Software project management for combined software and data engineering
Bằng: Shah, SM, et al.
Được phát hành: (2017)

A formal, scalable approach to semantic interoperability
Bằng: Davies, J, et al.
Được phát hành: (2020)

Model−Driven Data Migration
Bằng: Aboulsamh, M, et al.
Được phát hành: (2010)

Model−Driven Architecture for Cancer Research
Bằng: Calinescu, R, et al.
Được phát hành: (2007)

Model-driven architecture for cancer research
Bằng: Calinescu, R, et al.
Được phát hành: (2007)

Model−Driven Architecture for Cancer Research
Bằng: Calinescu, R, et al.
Được phát hành: (2015)

Formality, evolution, and model-driven software engineering
Bằng: Davies, J, et al.
Được phát hành: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
Bằng: Davies, J, et al.
Được phát hành: (2005)

Improving Forecasting Ability of GITM Using Data‐Driven Model Refinement
Bằng: Brandon M. Ponder, et al.
Được phát hành: (2023-03-01)

Concurrency and Refinement in the Unified Modeling Language
Bằng: Davies, J, et al.
Được phát hành: (2003)

Concurrency and Refinement in the Unified Modeling Language
Bằng: Davies, J, et al.
Được phát hành: (2002)

Categorical organisation of the ornament–refinement framework
Bằng: Ko, H, et al.
Được phát hành: (2013)

Model−Driven Support for a Vaccine Study in Kathmandu
Bằng: Davies, J, et al.
Được phát hành: (2009)

Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures
Bằng: Davies, J, et al.
Được phát hành: (2008)

A process-algebraic approach to workflow specification and refinement
Bằng: Wong, P, et al.
Được phát hành: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
Bằng: Wong, P, et al.
Được phát hành: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
Bằng: Wong, P, et al.
Được phát hành: (2007)

Accelerating Cancer Research Using Semantics−Driven Technology
Bằng: Brenton, J, et al.
Được phát hành: (2008)

Using Z: Specification‚ Refinement‚ and Proof
Bằng: Woodcock, J, et al.
Được phát hành: (1996)

Data-driven modelling and optimization of palm oil refining process
Bằng: Sulaiman, Nurul Sulaiha
Được phát hành: (2023)

Data-driven modelling and optimization of palm oil refining process /
Bằng: Nurul Sulaiha Sulaiman, 1989-, author 603704, et al.
Được phát hành: (2021)

Data-driven modelling and optimization of palm oil refining process /
Bằng: Nurul Sulaiha Sulaiman, 1989-, author 603704
Được phát hành: (2021)

Refinement in Object−Z and CSP
Bằng: Bolton, C, et al.
Được phát hành: (2002)

Metamodels composition strategy for the model driven engineering context
Bằng: Héctor Arturo Flórez Fernández
Được phát hành: (2015-04-01)

Composition and refinement of behavioral specifications
Bằng: Pavlovic, D, et al.
Được phát hành: (2001)

Metadata−Driven Software for Clinical Trials
Bằng: Crichton, C, et al.
Được phát hành: (2009)

On the Refinement and Simulation of Data Types and Processes
Bằng: Bolton, C, et al.
Được phát hành: (1999)

Gradual Refinement Blending Pattern Matching with Data Abstraction
Bằng: Wang, M, et al.
Được phát hành: (2010)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
Bằng: Wang, M, et al.
Được phát hành: (2010)

Machine learning and software engineering in health informatics
Bằng: Clifton, D, et al.
Được phát hành: (2012)