1781 search results - page 93 / 357 » An Emerging Need for a New Software Engineering Method |
102
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...
76
Voted
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
109
Voted
ESAW
2009
Springer
15 years 7 months ago
2009
Springer
Autonomous software agents provide a promising solution to the needs of decentralised networked systems, able to adapt their behaviour in a complex and dynamically changing environ...
122
click to vote
EWSA
2004
Springer
15 years 6 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
85
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...