Formality, evolution, and model-driven software engineering

Formality, evolution, and model-driven software engineering

Čájet eará veršuvnnaid (1)

<p>This paper introduces an approach to software development in which a series of working implemen- tations are generated automatically from a series of formal specifications. The implementations are data stores, communicating through standard protocols. The specifications are precise object m...

Bibliográfalaš dieđut
Váldodahkkit:	Davies, J, Crichton, C, Crichton, E, Neilson, D, Sørensen, I
Materiálatiipa:	Journal article
Giella:	English
Almmustuhtton:	Elsevier 2005
Fáttát:	Computing Computer science (mathematics) Technology and Applied Sciences

Geahča maid

Formality‚ Evolution‚ and Model−driven Software Engineering
Dahkki: Davies, J, et al.
Almmustuhtton: (2005)

Metadata−Driven Software for Clinical Trials
Dahkki: Crichton, C, et al.
Almmustuhtton: (2009)

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

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

Metadata-Driven Software for Clinical Trials
Dahkki: Crichton, C, et al.
Almmustuhtton: (2009)

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

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

Evolving access control: formal models and analysis
Dahkki: Sieunarine, C, et al.
Almmustuhtton: (2011)

Formal engineering for industrial software development : using the sofl method /
Dahkki: 263222 Liu, Shaoying
Almmustuhtton: (2004)

Model−Driven Data Migration
Dahkki: Aboulsamh, M, et al.
Almmustuhtton: (2010)

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

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

Data driven and learning based approaches for integrated landside airside operations optimization
Dahkki: Ali, Hasnain
Almmustuhtton: (2022)

Formal relationships in sequential object systems
Dahkki: Kerfoot, E
Almmustuhtton: (2010)

An automated tool for business rule-driven, object-oriented software evolution
Dahkki: Wan Kadir, Wan M. N.
Almmustuhtton: (2008)

Model-driven design and uncertainty quantification for cardiac electrophysiology experiments
Dahkki: Lei, CL
Almmustuhtton: (2020)

Model-driven software development : technology, engineering, management /
Dahkki: Stahl, Thomas (Tom), et al.
Almmustuhtton: (2006)

Mathematical modelling for tendon tissue engineering in a humanoid robotic bioreactor
Dahkki: Kent, A
Almmustuhtton: (2022)

Parallel assignments in software model checking
Dahkki: Ouaknine, J
Almmustuhtton: (2006)

Semantic model driven engineering
Dahkki: Milward, D
Almmustuhtton: (2020)

Follicle Detection Model on Ovarian Ultrasound Image
Dahkki: Hartati, Sri, et al.
Almmustuhtton: (2023)

Model-driven software development /
Dahkki: Beydeda, Sami, et al.
Almmustuhtton: (2005)

When to Trust Mobile Objects: Access Control in the Jini Software System
Dahkki: Crichton, C, et al.
Almmustuhtton: (1999)

CNN-Based Classification for Highly Similar Vehicle Model Using Multi-Task Learning
Dahkki: Avianto, Donny, et al.
Almmustuhtton: (2022)

Twin Rotor MIMO System Control using Linear Quadratic Regulator with Simechanics
Dahkki: Fahmizal, Fahmizal, et al.
Almmustuhtton: (2021)

High integrity software
Dahkki: Sorensen, I, et al.
Almmustuhtton: (2001)

Formal Methods in Software Engineering
Dahkki: Hoare, C
Almmustuhtton: (1986)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
Dahkki: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
Almmustuhtton: (2005)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
Dahkki: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
Almmustuhtton: (2007)

Can Zakat and Purification be Employed in Portfolio Modelling?
Dahkki: Subekti, Retno, et al.
Almmustuhtton: (2022)

3D Chromosome Modelling with Hi-C data
Dahkki: Koh, Qi Cheng
Almmustuhtton: (2020)

Identification of Seismic Response to Aquifer System with A Synthetic Modelling Approach
Dahkki: Udin, Yana, et al.
Almmustuhtton: (2022)

Forecasting Tourist Arrivals to Sangiran Using Fuzzy with Calendar Variations
Dahkki: Sulandari, Winita, et al.
Almmustuhtton: (2022)

Block-Based K-Medoids Partitioning Method with Standardized Data to Improve Clustering Accuracy
Dahkki: Kariyam, Kariyam, et al.
Almmustuhtton: (2022)

A New Approach to Determine the Minimal Polynomials of Binary Modified de Bruijn Sequences
Dahkki: Musthofa, Musthofa, et al.
Almmustuhtton: (2022)

Randomized Residual-Based Error Estimators for Parametrized Equations
Dahkki: Patera, Anthony T.
Almmustuhtton: (2020)

Stable Rank-Adaptive Dynamically Orthogonal Runge–Kutta Schemes
Dahkki: Charous, Aaron, et al.
Almmustuhtton: (2024)

Pricing in a duopoly market using a representative consumer model
Dahkki: Moo, Zi Hao
Almmustuhtton: (2023)

B: towards zero defect software
Dahkki: Sorensen, I, et al.
Almmustuhtton: (2001)

Enacting Alternating Least Square Algorithm to Estimate Model Fit of Sem Generalized Structured Component Analysis
Dahkki: Steffani, Cylvia Nissa, et al.
Almmustuhtton: (2022)