1782 search results - page 20 / 357 » Tool Support for Proof Engineering |
WSC
1998
13 years 10 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
JUCS
2008
13 years 8 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
SEE
1989
Springer
14 years 20 days ago
1989
Springer
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
CASCON
2003
13 years 10 months ago
2003
Many software engineering research tools are stand-alone applications that have trouble interoperating with other development tools and do not fit well into the software develope...
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
There are many reasons why reverse engineering research tools often fail to be evaluated or adopted in industry. Their rough user interfaces and poor interoperability are just two...