6197 search results - page 105 / 1240 » Sandbridge Software Tools |
CASCON
2007
13 years 10 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
In this paper we discuss how software quality assurance is realized in Rational Objectory. Although much support is given through guidelines and checkpoints, the tool fails to prov...
ACL
1998
13 years 10 months ago
1998
This paper reports on the ESPRIT project MELISSA (Methods and Tools for NaturalLanguage Interfacing with Standard Software
AAMAS
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Agent-based computing is a promising approach for developing applications in complex domains. However, despite the great deal of research in the area, a number of challen...
BIB
2002
13 years 9 months ago
2002
Pise is interface construction software for bioinformatics applications that run by commandline operations. It creates common, easy to use interfaces to these for the Web, or othe...