A development calculus for specifications.

Published in: Sci. China Ser. F Inf. Sci. (2003)

Keyphrases

case study
high level
knowledge based systems
software engineering
information processing
social networks
development environment
specification language
natural deduction