Sciweavers

3889 search results - page 178 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
AADEBUG
1993
Springer
15 years 8 months ago
Animators for Generated Programming Environments
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
Frank Tip
POPL
2011
ACM
14 years 6 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
CSMR
2004
IEEE
15 years 7 months ago
Architecture-Aware Adaptive Clustering of OO Systems
The recovery of software architecture is a first important step towards re-engineering a software system. Architecture recovery usually involves clustering. The problem with curre...
Markus Bauer, Mircea Trifu
SETP
2007
15 years 5 months ago
Dimensional Inference Using Symbol Lives
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
Brian Farrimond, John Collins
APSEC
2000
IEEE
15 years 8 months ago
Goal based agent-oriented software modeling
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
Kenha Park, Jintae Kim, Sooyong Park