Formal Specification and Implementation of Priority Queue using Stream Functions.

Gongzhu Hu Jin Zhang Roger Y. Lee

Published 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