3742 search results - page 153 / 749 » On the Use of Formal Techniques for Validation |
148
click to vote
CHI
2001
ACM
16 years 6 months ago
2001
ACM
CARD (Collaborative Analysis of Requirements and Design) is an influential technique for participatory design and participatory analysis that is in use on three continents. This p...
193
click to vote
WISE
2005
Springer
15 years 12 months ago
2005
Springer
Web transaction data between Web visitors and Web functionalities usually convey user task-oriented behavior pattern. Mining such type of clickstream data will lead to capture usag...
162
click to vote
TSE
1998
15 years 6 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
143
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
173
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Scientific literature is a source of the most reliable and comprehensive knowledge about molecular interaction networks. Formalization of this knowledge is necessary f...