1199 search results - page 62 / 240 » Software Verification and Software Engineering a Practitione... |
143
click to vote
RE
2008
Springer
15 years 3 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
144
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
Software systems are typically developed by teams of developers, with responsibilities for different parts of the code. Knowledge of how the developers collaborate, and how their ...
172
click to vote
ESSOS
2011
Springer
14 years 7 months ago
2011
Springer
The feedback from architectural decisions to the elaboration of requirements is an established concept in the software engineering community. However, pinpointing the nature of thi...
115
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
173
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Small companies in the software product business risk rework and market failure due to shortcomings in integrating a strategic perspective into management of product development. ...