130 search results - page 1 / 26 » IRIS: A Semi-Formal Approach for Detecting Requirements Inte... |
ECBS
2004
IEEE
13 years 8 months ago
2004
IEEE
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
ICPR
2002
IEEE
14 years 6 months ago
2002
IEEE
This paper describes a method for quickly and robustly localizing the iris and pupil boundaries of a human eye in close-up images. Such an algorithm can be critical for iris ident...
FIW
1998
13 years 6 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
ICRE
1998
IEEE
13 years 9 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...