523 search results - page 61 / 105 » Goal-Oriented Requirements Engineering: A Case Study in E-go... |
114
click to vote
QOSA
2010
Springer
15 years 3 months ago
2010
Springer
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...
123
click to vote
ENGL
2008
15 years 1 months ago
2008
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
103
click to vote
ICFEM
2010
Springer
14 years 12 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
141
click to vote
SERA
2010
Springer
14 years 11 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
138
click to vote
ICSM
2009
IEEE
14 years 11 months ago
2009
IEEE
We previously presented a fault localization technique called Value Replacement that repeatedly alters the state of an executing program to locate a faulty statement [9]. The tech...