631 search results - page 7 / 127 » Deriving Specifications from Requirements: An Example |
IVC
2008
13 years 6 months ago
2008
The best parameters defining the geometry of a visual sensor generally depend on the particular visual task the sensor is intended to be used in. However, translating task require...
SIGSOFT
2009
ACM
14 years 7 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
RE
2010
Springer
13 years 1 months ago
2010
Springer
Abstract--The paper describes the quotations gathered during interviews and focus groups during a consulting engagement to help the client improve its requirements engineering (RE)...
RE
2006
Springer
13 years 6 months ago
2006
Springer
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
PTS
2004
13 years 8 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...