1128 search results - page 32 / 226 » Little Engines of Proof |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
IWPC
2007
IEEE
15 years 3 months ago
2007
IEEE
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
SEKE
2007
Springer
15 years 3 months ago
2007
Springer
Reverse Engineering is becoming increasingly important in the software development world today as many organizations are battling to understand and maintain old legacy systems. To...
APSEC
2000
IEEE
15 years 1 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
EKAW
2006
Springer
15 years 1 months ago
2006
Springer
Semantic search promises to produce precise answers to user queries by taking advantage of the availability of explicit semantics of information in the context of the semantic web....