3889 search results - page 104 / 778 » The Use of Program Dependence Graphs in Software Engineering |
147
click to vote
SEW
2005
IEEE
15 years 9 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
137
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
105
Voted
FSTTCS
1993
Springer
15 years 7 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
122
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
127
Voted
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...