1376 search results - page 114 / 276 » Model-Driven Software Verification |
OTM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
142
click to vote
SOSYM
2010
15 years 1 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
153
click to vote
SOSYM
2010
15 years 1 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...
202
click to vote
ECMDAFA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
146
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...