Sciweavers

5180 search results - page 77 / 1036
» Requirements Engineering
Sort
View
FASE
2009
Springer
15 years 9 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
100
Voted
SEAA
2008
IEEE
15 years 8 months ago
Requirements Prioritization Based on Benefit and Cost Prediction: A Method Classification Framework
In early phases of the software development process, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individ...
Maya Daneva, Andrea Herrmann
IV
2009
IEEE
100views Visualization» more  IV 2009»
15 years 9 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
WER
2007
Springer
15 years 8 months ago
Test-case Driven versus Checklist-based Inspections of Software Requirements - An Experimental Evaluation
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
Nina Dzamashvili-Fogelström, Tony Gorschek
SAC
2008
ACM
15 years 1 months ago
Toward quality requirements analysis based on domain specific quality spectrum
It is difficult to identify whether quality requirements are defined adequately or not, but there are few methods to support this kind of requirements analysis. In this paper, we ...
Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuk...