Sciweavers

1468 search results - page 20 / 294
» On Industrial Use of Requirements Engineering Techniques
Sort
View
ICRE
1998
IEEE
13 years 11 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...
REFSQ
2010
Springer
13 years 11 months ago
A Domain Ontology Building Process for Guiding Requirements Elicitation
[Context and motivation] In Requirements Management, ontologies are used to reconcile gaps in the knowledge and common understanding among stakeholders during requirement elicitati...
Inah Omoronyia, Guttorm Sindre, Tor Stålhane...
WER
2010
Springer
13 years 5 months ago
From User Requirements to Tasks Descriptions in Real-Time Systems
Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. H...
Leo Ordínez, David Donari, Rodrigo M. Santo...
ICSE
1999
IEEE-ACM
13 years 11 months ago
Product-Line Architectures in Industry: A Case Study
In this paper, a case study investigating the experiences from using product-line architectures is presented involving two swedish companies, Axis Communications AB and Securitas ...
Jan Bosch
IV
2009
IEEE
100views Visualization» more  IV 2009»
14 years 2 months ago
Scouting Requirements Quality Using Visual Representations
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
Orlena Gotel, Francis T. Marchese