9182 search results - page 48 / 1837 » Requirements for Requirements Management Tools |
ISCIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
ISSTA
1989
ACM
14 years 28 days ago
1989
ACM
The all-du-paths software testing criterion is the most discriminating of the data ow testing criteria of Rapps and Weyuker. Unfortunately, in the worst case, the criterion requir...
DGO
2008
13 years 10 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their ...