927 search results - page 16 / 186 » Practical Limits on Software Dependability: A Case Study |
ERSHOV
2009
Springer
13 years 5 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
ICSM
2007
IEEE
14 years 1 months ago
2007
IEEE
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
This paper describes the application of the WinWin paradigm to identify and resolve conflicts in a series of real-client, student-developer digital library projects. The paper is ...