4048 search results - page 156 / 810 » Design Science, Engineering Science and Requirements Enginee... |
118
click to vote
ICRE
1998
IEEE
15 years 5 months ago
1998
IEEE
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...
126
click to vote
EWSA
2006
Springer
15 years 4 months ago
2006
Springer
Software architectures are often designed with respect to some architecture patterns, like the pipeline and peer-to-peer. These patterns are the guarantee of some quality attribute...
119
click to vote
IWSM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Difficulties understanding update paths while understanding code cause developers to waste time and insert bugs. A detailed investigation of these difficulties suggests that a wid...