Faculty and Researchers' Publications
Testing Adaptive Probabilistic Software Components in Cyber Systems
and software embedded in devices whose principle mission is not 230 Luqi and G. Jacoby computation, such as cars, toys, medical devices, and scientific instruments. CPS integrate the dynamics of the physical processes with those of the software and net- working...
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...
Graphical Support for Reducing Information Overload in Rapid Prototyping
JAVA Wrappers for Automated Interoperability
USA {cheng, berzins, luqi, swapan}@cs.nps.navy.mil Abstract. This paper concentrates on the issues related to implementation of interoperability between distributed subsystems, particularly in the context of re- engineering...
Computer Aided Prototyping System (CAPS) for Heterogeneous Systems Development and Integration
{luqi, berzins, mantak, nnada, cseagle}@cs.nps.navy.mil Abstract This paper addresses the problem of how to produce reliable software that is also flexible and cost effective for the DoD distributed software domain. DoD software systems fall into two...
Object-oriented modular architecture for ground combat simulation
Software Evolution Approach for the Development of Command and Control Systems
, Monterey, California, June 1993. [4] E. Gamma, R. Helm, R. Johnson and J. Vlissides, Design Patterns - Elements of Reusable Object-Oriented Software, Addison-Wesley Professional Computing Series, 1995. [5] B. Kraemer, Luqi and V. Berzins, “Compositional...
Surfing the Edge of Chaos: Applications to Software Engineering
hypothesis is far from the reality. Today, modern software processes (Boehm, 1988), (Luqi, 19 9) are based on evolution and prototyping. These approaches recognize the fact that software development presents an ill- defined decision problem and they fail...
Automated Generation Of Wrappers For Interoperability / June 2000
Swapan Bhattacharya luqi@cs.nps.navy.mil swapan@cs.nps.navy.mil Department of Computer Science Naval Postgraduate School 833 Dyer Road Monterey, CA. 93943 USA Abstract The major hurdle in developing distributed systems...
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 (10)