1376 search results - page 94 / 276 » Model-Driven Software Verification |
102
click to vote
DOCENG
2010
ACM
15 years 4 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
114
Voted
EJIS
2007
15 years 2 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
159
Voted
IIE
2007
15 years 2 months ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
162
click to vote
SOSYM
2010
15 years 1 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
125
click to vote
ECMDAFA
2009
Springer
15 years 21 days ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...