SODAS and a methodology for system design

Authors:
David L. Parnas;John A. Darringer
Affiliations:
Carnegie Institute of Technology, Pittsburgh, Pennsylvania;Carnegie Institute of Technology, Pittsburgh, Pennsylvania
Venue:
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Year:
1967

Citing 4
Cited 5

EULER: a generalization of ALGOL and it formal definition: Part 1

Communications of the ACM
A language for describing the functions of synchronous systems

Communications of the ACM
SIMULA: an ALGOL-based simulation language

Communications of the ACM
Revised report on the algorithm language ALGOL 60

Communications of the ACM

High Level System Design and Analysis Using Abstract State Machines

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems

IEEE Transactions on Computers
More on simulation languages and design methodology for computer systems

AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
System validation by three-level modeling synthesis

IBM Journal of Research and Development
Modeling and projection in software development

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

SODAS (Structure Oriented Description And Simulation) is a simulation language and compiler being designed at Carnegie Tech for use as a tool by the designers of computer systems. The structure of the language and its translator reflect a definition of "system" and a methodology for "system design." It is the purpose of this paper to present the proposed methodology and language.