276 search results - page 5 / 56 » A Case Study in the Use of Theory Revision in Requirements V... |
MR
2007
13 years 7 months ago
2007
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...
ICRE
1996
IEEE
13 years 11 months ago
1996
IEEE
This paper discusses a technique to structure utterance records of the meetings for requirements elicitation based on speech act theory. To elicit requirements to the system to be...
FATES
2003
Springer
14 years 24 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
DATE
2010
IEEE
14 years 21 days ago
2010
IEEE
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
NAACL
2003
13 years 9 months ago
2003
Evaluating competing technologies on a common problem set is a powerful way to improve the state of the art and hasten technology transfer. Yet poorly designed evaluations can was...