A Language for Writing Formal Software Specifications: The Library Problem Revisited.
Chia-Chu ChiangPublished in: ITNG (2006)
Keyphrases
- formal language
- specification language
- requirements specification
- operational semantics
- formal specification
- formal descriptions
- formal methods
- controlled natural language
- reactive systems
- written in natural language
- formal specification language
- modeling language
- highly expressive
- software tools
- formal languages
- computer systems
- control flow
- programming language
- language learning
- high level
- natural language
- user interface
- concurrent programming
- software requirements
- representation language
- software development
- model theoretic
- software architecture
- cross platform
- formal semantics
- operating system
- java code
- software systems
- source code
- software engineering
- architectural models
- object oriented
- precisely defined
- software design
- highly modular
- embedded systems
- english language