SL1 Language-A Specification and Design Tool for Switching Systems Software Development.
Matija ExelBranislav T. PopovicFrancek PrijateljPublished in: IEEE Trans. Commun. (1982)
Keyphrases
- design tools
- software development
- formal languages
- specification language
- operational semantics
- formal language
- distributed systems
- development methodologies
- learning algorithm
- software engineering
- natural language
- artificial intelligence
- programming language
- computer systems
- software developers
- instructional design
- relational databases
- image processing
- information systems