HMSL (Hierarchical Music Specification Language): A Real-Time Environment for Formal, Perceptual and Compositional Experimentation.
David RosenboomLarry PolanskyPublished in: ICMC (1985)
Keyphrases
- specification language
- real time
- requirements specification
- formal specification
- software environment
- programming language
- description language
- music score
- model checking
- software systems
- low level
- requirements engineering
- real time embedded systems
- test bed
- vision system
- control system
- optimal solution
- reverse engineering
- real environment
- formal methods
- changing environment
- fine grained
- case study