Reports and Technical Reports
Derived Preconditions and Their Use in Program Synthesis
(Monterey, California. Naval Postgraduate School, 1982-03); NPS52-82-002
In this paper we pose and begin to explore a deductive problem more general than that of finding a proof that a given goal formula logically follows from a given set of hypotheses. The problem is most simply stated in the ...
New Directions In Database-Systems Research and Development
(Monterey, California. Naval Postgraduate School, 1985-02); NPS52-85-001
In this paper, three new directions in database-systems research and development are indicated. One new direction is the emergence of the multilingual database systems where a single database system can execute many ...
Navlisp Reference Manual
(Monterey, California. Naval Postgraduate School, 1982-03); NPS52-82-004
The Naval Postgraduate School's Computer Laboratory has developed a dialect of LISP, called Navlisp, to run under PWB/UNIX on a PDP11/50. This manual is not a tutorial to LISP. It is intended for those who know the basics
of ...
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 ...
Refine By:
Author
Date Issued
Department
-
Computer Science (CS) (24)