Concurrent software system design supported by SARA at the age of one
Book
·
OSTI ID:5466381
A multilevel modeling method suitable for the design of concurrent hardware or software systems is presented. The methodology is requirement driven and uses tools incorporated in a programming system called SARA (Systems ARchitect's Apprentice). Both top-down refinement and bottom-up abstraction are supported. The design of an asynchronous sender-receiver illustrates the key steps in going smoothly from programing in the large to programing in the small or actual code. The same methodology can be used to design hardware systems by applying different pragmatics from those proposed for software systems. SARA consists of a set of interactive tools implemented both at UCLA and also on the MIT-Multics system. Although SARA continues in long-term development, completed design tools are accessible for experimentation by authorized users at either location via the ARPANET. 9 figures, 2 tables.
- OSTI ID:
- 5466381
- Country of Publication:
- United States
- Language:
- English
Similar Records
SARA aided design of software for concurrent systems
Methodology for design of digital systems: supported by SARA at the age of one
Specialization of SARA for software synthesis
Book
·
·
OSTI ID:5478087
Methodology for design of digital systems: supported by SARA at the age of one
Journal Article
·
Sat Dec 31 23:00:00 EST 1977
· AFIPS, Conf. Proc.; (United States)
·
OSTI ID:6314742
Specialization of SARA for software synthesis
Conference
·
Fri Dec 31 23:00:00 EST 1976
·
OSTI ID:7303687