63 search results - page 13 / 13 » Engineering the SDL Formal Language Definition |
ICSM
2005
IEEE
14 years 4 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
OOPSLA
2010
Springer
13 years 8 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...
LISA
2003
14 years 6 days ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...