1829 search results - page 17 / 366 » Towards Validation of Requirements Models |
104
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
101
click to vote
ENTCS
2008
14 years 11 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
FMOODS
2006
15 years 1 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
ADC
2004
Springer
15 years 5 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
66
Voted
ISI
2006
Springer
14 years 11 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...