Sciweavers

432 search results - page 60 / 87
» The Interleaving Problem in Program Understanding
Sort
View
76
Voted
ICSM
2002
IEEE
15 years 2 months ago
Constructing Precise Object Relation Diagrams
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
Ana Milanova, Atanas Rountev, Barbara G. Ryder
SCAM
2002
IEEE
15 years 2 months ago
Precise Call Graph Construction in the Presence of Function Pointers
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
Ana Milanova, Atanas Rountev, Barbara G. Ryder
ICSE
2001
IEEE-ACM
15 years 2 months ago
Composition Patterns: An Approach to Designing Reusable Aspects
Requirements such as distribution or tracing have an impact on multiple classes in a system. They are cross-cutting requirements, or aspects. Their support is, by necessity, scatt...
Siobhán Clarke, Robert J. Walker
ITP
2010
178views Mathematics» more  ITP 2010»
14 years 11 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
AISB
2008
Springer
14 years 10 months ago
Could a Created Being ever be Creative? Some Philosophical Remarks on Creativity and AI Development
: This paper allots creativity a central role in enabling human beings to develop beyond the undertaking and/or fulfilment of simple primary functions. This contention is significa...
Yasemin J. Erden