1719 search results - page 80 / 344 » Software Re-Documentation Process and Tool |
146
click to vote
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
136
Voted
FM
1998
Springer
15 years 7 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
128
click to vote
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
The emergence of open-source libraries and development tools in the last decade has changed the process of academic software development in many ways. In medical image processing ...
173
Voted
WOA
2003
15 years 4 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
110
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...