System Specification and Synthesis with the SpecCharts Language.
Sanjiv NarayanFrank VahidDaniel GajskiPublished in: ICCAD (1991)
Keyphrases
- specification language
- programming language
- formal language
- action language
- functional programs
- formal languages
- operational semantics
- natural language
- computational linguistics
- language learning
- information retrieval
- formal specification
- representation language
- pattern languages
- modelling language
- formal methods
- software engineering
- high level
- search engine