SLAN-4 - A Software Specification and Design Language.

Friedrich W. Beichter Otthein Herzog Heiko Petzsch

Published in: IEEE Trans. Software Eng. (1984)

Keyphrases

highly modular
software design
modeling language
user interface
specification language
tool suite
software architecture
formal methods

case study
programming language
modelling language
hardware design
software suite
formal verification
engineering design
software development

source code
embedded systems
metamodel
software tools
software components
design patterns
language learning

design process
building blocks
knowledge based systems
object oriented systems
control unit
open source
object oriented