1199 search results - page 94 / 240 » Software Verification and Software Engineering a Practitione... |
143
click to vote
AVI
2008
15 years 6 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
144
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this article, we describe the results from our survey in the ITdepartment of a large Oil and Gas company in Norway (Statoil ASA), in order to characterize developers’ views o...
123
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...
123
click to vote
CSEE
2000
Springer
15 years 8 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
136
click to vote
CISSE
2009
Springer
15 years 2 months ago
2009
Springer
In Component-based Software (CBS) development, it is desirable to choose software components that provide all necessary functionalities and at the same time optimize certain nonfun...