1376 search results - page 73 / 276 » Model-Driven Software Verification |
128
Voted
MODELS
2007
Springer
15 years 9 months 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 ...
105
Voted
VSTTE
2005
Springer
15 years 8 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 ...
121
Voted
ISSRE
2006
IEEE
15 years 8 months 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 ...
139
Voted
SACMAT
2006
ACM
15 years 8 months 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...
108
Voted
ECWEB
2005
Springer
15 years 8 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...