1199 search results - page 35 / 240 » Software Verification and Software Engineering a Practitione... |
117
click to vote
IWPSE
2003
IEEE
15 years 9 months ago
2003
IEEE
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the e...
138
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
129
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
110
Voted
ICSE
1992
IEEE-ACM
15 years 8 months ago
1992
IEEE-ACM
This paper presents the tools Ald
124
click to vote
ESEM
2009
ACM
15 years 10 months ago
2009
ACM
Despite the critical role of software modifiability, it has no universally accepted measurement model. Measuring modifiability in terms of maintenance effort is problematic becaus...