3889 search results - page 39 / 778 » The Use of Program Dependence Graphs in Software Engineering |
117
Voted
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
120
Voted
TSE
2010
15 years 28 days ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
140
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
137
Voted
ICSM
1994
IEEE
15 years 6 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
136
Voted
ZUM
1994
Springer
15 years 6 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...