1376 search results - page 73 / 276 » Model-Driven Software Verification |
162
click to vote
MODELS
2007
Springer
16 years 9 days ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
141
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
165
click to vote
ISSRE
2006
IEEE
16 years 5 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
172
click to vote
SACMAT
2006
ACM
16 years 3 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
150
click to vote
ECWEB
2005
Springer
15 years 11 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...