1781 search results - page 48 / 357 » An Emerging Need for a New Software Engineering Method |
107
Voted
CSMR
2007
IEEE
15 years 6 months ago
2007
IEEE
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...
68
Voted
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Complete interaction testing of components is too costly in all but the smallest systems. Yet component interactions are likely to cause unexpected faults. Recently, design of exp...
97
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
105
click to vote
APAQS
2001
IEEE
15 years 4 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...