1782 search results - page 77 / 357 » Tool Support for Proof Engineering |
130
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
171
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...
166
click to vote
WCRE
1993
IEEE
15 years 9 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
198
click to vote
WCRE
1999
IEEE
15 years 9 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
168
click to vote
CSCW
2006
ACM
15 years 11 months ago
2006
ACM
Software development tools primarily focus on supporting the technical work. Yet no matter the tools employed, the process followed, or the size of the team, important aspects of ...