1376 search results - page 40 / 276 » Model-Driven Software Verification |
134
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
133
click to vote
CISSE
2007
Springer
15 years 5 months ago
2007
Springer
- With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activitie...
113
click to vote
ICWE
2007
Springer
15 years 8 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
117
Voted
SE
2007
15 years 3 months ago
2007
Agile methodologies can be enhanced by the use of shadows as this feature because of its inherent ability to dynamically change the behavior of classes and objects, provides mecha...
97
Voted
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
System and program verification has been a large