398 search results - page 64 / 80 » On the Inference of Configuration Structures from Source Cod... |
111
Voted
SI3D
2006
ACM
15 years 8 months ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
144
click to vote
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
144
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
114
Voted
JSS
2007
15 years 2 months ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
137
click to vote
MM
2003
ACM
15 years 7 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...