950 search results - page 31 / 190 » Software model checking with SPIN |
ICFEM
2010
Springer
13 years 4 months ago
2010
Springer
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
QOSA
2009
Springer
14 years 3 days ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...