1829 search results - page 33 / 366 » Towards Validation of Requirements Models |
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
101
click to vote
CIKM
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a cluster validation based document clustering algorithm, which is capable of identifying both important feature words and true model order (cluster number). I...
116
click to vote
GI
2009
Springer
14 years 9 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
119
click to vote
ESAW
2004
Springer
15 years 5 months ago
2004
Springer
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
GI
2009
Springer
15 years 4 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...