Reports and Technical Reports
Engineering Automation for Reliable Software Interim Progress Report (10/01/2000 - 09/30/2001)
(Monterey, California. Naval Postgraduate School, 2001-09); NPS-SW-01-004
The objective of our effort is to develop a scientific basis for producing reliable
software that is also flexible and cost effective for the DoD distributed software domain.
This objective addresses the long term goals ...
Assessment of DMSO Conceptual Models of the Mission Space (Progress Report 1/01/2000 - 12/31/2000)
(Naval Postgraduate School, 2001-01); NPS-SW-01-001
Execution of a High Level Real-Time Language
(Naval Postgraduate School, 1988); NPS 52-88-035
Prototype System Description Language (PSDL) is a high level real-time language with special features for hard real-time system specification and design. It can be used to firm up requirements through execution of its ...
Handling Timing Constraints in Rapid Prototyping
(Naval Postgraduate School, 1988); NPS 52-88-036
This paper presents the concepts and mechanisms for handling the real-time constraints of embedded systems in rapid prototyping. Rapid prototyping of embedded systems can be accomplished using a Computer Aided Prototyping ...
A Conceptual Level Design for a Static Scheduler for Hard Real-Time Systems
(Naval Postgraduate School, 1988); NPS 52-88-032
This report builds upon work previously done in the development of the Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL) and presents a conceptual design for the pioneer prototype ...
Semantics of a Real-Time Language
(Naval Postgraduate School, 1988); NPS 52-88-033
This paper describes the semantic! of the real-time language PSDL, which was designed for prototyping real-time systems. We focus on the aspects of the language relating to hard real-time constraints, scheduling, and ...
Automated Prototyping Data and Knowledge Translation
(Naval Postgraduate School, 1988); NPS 52-88-034
This paper describes the transfonnations used to produce an executable prototype from a very high level description of a software system in a computer-aided prototyping process. The high level description can include ...
An Introduction to the Specification Language Spec
(Naval Postgraduate School, 1988); NPS 52-88-031
This paper presents a language for giving black-box specifications in the early stages of software design. This language is suitable for describing parallel programs, distributed systems, and real- time constraints. The ...
Software Evolution Via Prototyping
(Naval Postgraduate School, 1988); NPS 52-88-039
Rapid prototyping is widely accepted as an alternative methodology for software deveolpment. The problems of software maintenance are magnified in rapid prototyping because prototypes are subject to frequent and repeated ...
Software Analysis and Testing through Prototyping
(Naval Postgraduate School, 1989); NPS 52-89-044
Prototyping is such a complementary approach, which allows many of the traditional kinds of software analysis and testing to be applied at earlier stages. The prototyping process helps to establish relatively static concepts ...
Refine By:
Author
Date Issued
Department
Type
-
Technical Report (55)