Compositionality and refinement in model-driven engineering

Compositionality and refinement in model-driven engineering

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Asıl Yazarlar:	Davies, J, Gibbons, J, Milward, D, Welch, J
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	2012

Benzer Materyaller

Compositionality and Refinement in Model−Driven Engineering
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Model-driven engineering of information systems: 10 years and 1000 versions
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Model−driven Engineering of Information Systems: 10 years and 1000 versions
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Semantic model driven engineering
Yazar:: Milward, D
Baskı/Yayın Bilgisi: (2020)

Domain−Specific Semantics and Data Refinement of Object Models
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Domain−specific Semantics and Data Refinement of Object Models
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Form follows function: Model-driven engineering for clinical trials
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Form Follows Function: Model−Driven Engineering for Clinical Trials
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Software project management for combined software and data engineering
Yazar:: Shah, SM, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

A formal, scalable approach to semantic interoperability
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model−Driven Data Migration
Yazar:: Aboulsamh, M, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Model−Driven Architecture for Cancer Research
Yazar:: Calinescu, R, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Model-driven architecture for cancer research
Yazar:: Calinescu, R, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Model−Driven Architecture for Cancer Research
Yazar:: Calinescu, R, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Formality, evolution, and model-driven software engineering
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Improving Forecasting Ability of GITM Using Data‐Driven Model Refinement
Yazar:: Brandon M. Ponder, ve diğerleri
Baskı/Yayın Bilgisi: (2023-03-01)

Concurrency and Refinement in the Unified Modeling Language
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Concurrency and Refinement in the Unified Modeling Language
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Categorical organisation of the ornament–refinement framework
Yazar:: Ko, H, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Model−Driven Support for a Vaccine Study in Kathmandu
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures
Yazar:: Davies, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

A process-algebraic approach to workflow specification and refinement
Yazar:: Wong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
Yazar:: Wong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
Yazar:: Wong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Accelerating Cancer Research Using Semantics−Driven Technology
Yazar:: Brenton, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Using Z: Specification‚ Refinement‚ and Proof
Yazar:: Woodcock, J, ve diğerleri
Baskı/Yayın Bilgisi: (1996)

Data-driven modelling and optimization of palm oil refining process
Yazar:: Sulaiman, Nurul Sulaiha
Baskı/Yayın Bilgisi: (2023)

Data-driven modelling and optimization of palm oil refining process /
Yazar:: Nurul Sulaiha Sulaiman, 1989-, author 603704, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Data-driven modelling and optimization of palm oil refining process /
Yazar:: Nurul Sulaiha Sulaiman, 1989-, author 603704
Baskı/Yayın Bilgisi: (2021)

Refinement in Object−Z and CSP
Yazar:: Bolton, C, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Metamodels composition strategy for the model driven engineering context
Yazar:: Héctor Arturo Flórez Fernández
Baskı/Yayın Bilgisi: (2015-04-01)

Composition and refinement of behavioral specifications
Yazar:: Pavlovic, D, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Metadata−Driven Software for Clinical Trials
Yazar:: Crichton, C, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

On the Refinement and Simulation of Data Types and Processes
Yazar:: Bolton, C, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Gradual Refinement Blending Pattern Matching with Data Abstraction
Yazar:: Wang, M, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
Yazar:: Wang, M, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Machine learning and software engineering in health informatics
Yazar:: Clifton, D, ve diğerleri
Baskı/Yayın Bilgisi: (2012)