1645 search results - page 208 / 329 » Rationale-Based Use Case Specification |
163
click to vote
PDC
2004
ACM
15 years 11 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
163
Voted
DSRT
2003
IEEE
15 years 11 months ago
2003
IEEE
Peer-to-peer communication is emerging as one of the most potentially disruptive technologies in the networking sector. If the interest in such technologies as Napster, Morpheus a...
157
click to vote
IWCC
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
182
Voted
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
161
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...