6197 search results - page 61 / 1240 » Sandbridge Software Tools |
ET
2002
13 years 7 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
WETICE
1996
IEEE
13 years 12 months ago
1996
IEEE
The Goal Based Requirements Analysis Tool GBRAT is designed to support goal-based requirements analysis. The tool provides procedural support for the identi cation, elaboration, r...
WIAS
2008
13 years 7 months ago
2008
When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system be...
APL
1998
ACM
14 years 1 days ago
1998
ACM
This article describes our experience with test suites and automated branch coverage tools for APL software maintenance, based on our use of them to verify Y2K compliance of an AP...
DSRT
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper describes the general system and software architecture for the Internet-based robotic teleoperation system using virtual reality tools. The existing technology and appl...