2419 search results - page 51 / 484 » A Formal Approach to Software Testing |
ASWEC
2008
IEEE
13 years 10 months ago
2008
IEEE
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...
AGTIVE
1999
Springer
14 years 12 days ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
ICSEA
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
ICFCA
2005
Springer
14 years 1 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
FM
2003
Springer
14 years 1 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...