1107 search results - page 123 / 222 » XAIRA : software for language analysis |
114
click to vote
SIGSOFT
1998
ACM
15 years 5 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
111
click to vote
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
94
Voted
VL
2009
IEEE
15 years 7 months ago
2009
IEEE
Designers’ extensive software needs have not been adequately documented in the research literature, and are poorly supported by software. Without appropriate tools to support th...
138
click to vote
PEPM
1995
ACM
15 years 4 months ago
1995
ACM
This paper concerns a method for approximating the possible “shapes” that heap-allocated structures in a program can take on. We present a new approach to finding solutions t...