System Specification with the SpecCharts Language.
Sanjiv NarayanFrank VahidDaniel D. GajskiPublished in: IEEE Des. Test Comput. (1992)
Keyphrases
- specification language
- formal languages
- programming language
- operational semantics
- formal language
- language learning
- action language
- object oriented programming
- high level
- modelling language
- highly modular
- conceptual model
- language processing
- computational linguistics
- representation language
- definition language
- general purpose