SALN-4, A Software Specification and Design Language.
Friedrich W. BeichterO. BucheggerNorbert E. FuchsOtthein HerzogPublished in: Software Engineering (1980)
Keyphrases
- highly modular
- software design
- software development
- software architecture
- design concepts
- programming language
- modeling language
- modelling language
- specification language
- user interface
- design process
- embedded systems
- case study
- software engineering
- tool suite
- natural language
- engineering design
- source code
- hardware design
- formal verification
- design tools
- building blocks
- formal methods
- interaction model