3667 search results - page 272 / 734 » Software Rejuvenation - Modeling and Analysis |
137
click to vote
ASE
2004
15 years 4 months ago
2004
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
116
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
Thorough process improvement starts with an analysis of the current situation. This is also true for requirements engineering processes. The goal of cooperation between DaimlerChq...
127
Voted
CRIWG
2006
15 years 6 months ago
2006
DIAS is an Asynchronous Discussion Forum Software, mainly developed in order to offer extended monitoring and interaction analysis support, by providing a wide range of indicators ...
140
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
118
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...