2339 search results - page 6 / 468 » Models and Tools for Mulan Applications |
CII
2006
13 years 7 months ago
2006
The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the sui...
ECOI
2006
13 years 7 months ago
2006
ERSHOV
2009
Springer
13 years 5 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
METAINFORMATICS
2004
Springer
14 years 23 days ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...