SLAN-4: a language for the specification and design of large software systems

Authors:
F. Beichter;O. Herzog;H. Petzsch
Affiliations:
IBM System Products Division, Boeblingen I, Federal Republic of Germany;IBM System Products Division, Boeblingen I, Federal Republic of German;Technical University of Aachen, Federal Republic of Germany
Venue:
IBM Journal of Research and Development
Year:
1983

Citing 13
Cited 0

Structured Programming with go to Statements

ACM Computing Surveys (CSUR)
Abstract data types and the development of data structures

Communications of the ACM
Abstraction mechanisms in CLU

Communications of the ACM
Software Development: A Rigorous Approach

Software Development: A Rigorous Approach
A Simple Class of Algorithmic Specifications for Abstract Software Modules

MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets

Proceedings of the International Sympoisum on Semantics of Concurrent Computation
SALN-4, A Software Specification and Design Language

Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM
Path expressions in pascal

ICSE '79 Proceedings of the 4th international conference on Software engineering
Data type specification: Parameterization and the power of specification techniques

STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Preliminary Ada reference manual

ACM SIGPLAN Notices - Preliminary Ada reference manual
Rationale for the design of the Ada programming language

ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Report on the programming language Euclid

ACM SIGPLAN Notices
An Introduction to the Construction and Verification of Alphard Programs

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The language SLAN-4 has been defined in view of the need for formal tools supporting the specification and design of large software systems. It offers its users language constructs for algebraic and axiomatic specifications as well as for design in pseudocode. One of its major design goals has been to ease subsequent refinements of a (given) specification. The user can start his development with an informal high-level specification which can be formalized and implemented at a later date by using lower-level concepts. This paper provides the formal definitions of the SLAN-4 language, discusses the design decisions, and presents examples for the use of the syntactic constructs.