292 search results - page 31 / 59 » Modeling requirements for combinatorial software testing |
AICOM
2002
13 years 8 months ago
2002
In the last years, dozens of environments for modeling, testing and finally implementing multi-agent systems have been developed. Unfortunately, no standard criteria for understand...
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
WSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
ICFEM
2000
Springer
14 years 12 days ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...