1107 search results - page 26 / 222 » XAIRA : software for language analysis |
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Atomicity is a key correctness speciļ¬cation for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...
LCTRTS
1998
Springer
13 years 12 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
UML
2004
Springer
14 years 1 months ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language ā...