6079 search results - page 357 / 1216 » Aspect-Oriented Process Engineering |
206
click to vote
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
146
click to vote
WOSP
1998
ACM
15 years 11 months ago
1998
ACM
ÐAn approach to software performance testing is discussed. A case study describing the experience of using this approach for testing the performance of a system used as a gateway ...
153
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
173
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...
174
click to vote
CASCON
2006
15 years 8 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...