An Approach to Animation of Software Specifications.
Kazuo SugiharaKoji TakedaMitsuyuki InabaPublished in: VL (1993)
Keyphrases
- written in natural language
- user interface
- software design
- software tools
- control flow
- software development
- source code
- software systems
- software packages
- software architecture
- test cases
- delay insensitive
- software package
- formal methods
- computer graphics
- data flow
- real time
- development process
- functional requirements
- specification language
- information systems
- software evolution
- process model
- databases