Faculty and Researchers' Publications
Applying a Computer Aided Prototyping System to the Software of an Autonomous Underwater Vehicle
, and to determine the benefiL~o f pursuing joint research in the application of CAPS to the AUV software. II. The Computer-AidedP· rototypingS ystem Project The goal of the Computer Aided Prototyping System (CAPS) project [Luqi88] [Luqi88a] [Luqi88b] [Luqi89] is to enable rapid...
Proceedings of the 1994 Monterey Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Evolution Control for Large Software Systems Techniques for Integrating Software Development Environments
Kindl Army Research Laboratory kindl@airmics.gatech.edu Michael Lowry NASA Ames Research Laboratory lowry@ptolemy.arc.nasa.gov Luqi Naval Postgraduate School luqi@cs.nps.navy.mil Zohar Manna Stanford University zm@Theory.Stanford.EDU Barbara...
Refine By:
Author
Date Issued
Department
Type
-
Conference Paper (2)