772 search results - page 103 / 155 » From Graph Transformation to Software Engineering and Back |
122
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
118
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
155
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...
161
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
156
click to vote
AAAI
2008
15 years 6 months ago
2008
Query recommendation is considered an effective assistant in enhancing keyword based queries in search engines and Web search software. Conventional approach to query recommendati...