1895 search results - page 231 / 379 » Using ATL for Checking Models |
129
click to vote
CONSTRAINTS
2008
15 years 5 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
124
click to vote
ACISICIS
2010
IEEE
15 years 6 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
169
click to vote
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
180
click to vote
ENTCS
2006
15 years 5 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
157
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...