1719 search results - page 63 / 344 » Software Re-Documentation Process and Tool |
146
click to vote
ESEC
1995
Springer
15 years 7 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
148
click to vote
IFIP
1993
Springer
15 years 7 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
130
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
145
Voted
WSKS
2009
Springer
15 years 8 months ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
121
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...