Formal Specification and Implementation of Priority Queue using Stream Functions.
Gongzhu HuJin ZhangRoger Y. LeePublished in: Int. J. Softw. Innov. (2013)
Keyphrases
- formal specification
- priority queue
- specification language
- data abstraction
- object oriented design
- specification languages
- formal specification language
- model checking
- reverse engineering
- protocol specification
- process algebra
- source code
- data structure
- concurrent systems
- temporal logic
- business rules
- business process
- web services
- artificial intelligence
- databases