A Refinement Calculus for Statecharts.

Published in: FASE (1998)

Keyphrases

agent oriented
class diagrams
conceptual modeling
refinement process
computer algebra
software engineering
formal language
provably correct