Sciweavers

6751 search results - page 182 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
TSE
1998
131views more  TSE 1998»
15 years 1 months ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
ACE
2004
200views Education» more  ACE 2004»
15 years 3 months ago
Static Analysis of Students' Java Programs
A recent industry survey (Townhidnejad and Hilburn, 2002) has reported that more than fifty percent of a software project's budget is spent on activities related to improving...
Nghi Truong, Paul Roe, Peter Bancroft
MIC
2003
15 years 3 months ago
Modelling Salt Transport in Baltic Basins
Water quality models combine fluid-flow relations with biological regressions, all on a spatially complex domain. For many applications, a computationally simple lumped paramete...
Magnus Dahl, David I. Wilson
98
Voted
ICSE
2004
IEEE-ACM
16 years 1 months ago
Elaborating Security Requirements by Construction of Intentional Anti-Models
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
Axel van Lamsweerde
QOSA
2010
Springer
15 years 3 months ago
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, ...