SLAN-4 - A Software Specification and Design Language.
Friedrich W. BeichterOtthein HerzogHeiko PetzschPublished 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