µ-Chart-Based Specification and Refinement.

Doug Goldson Greg Reeve Steve Reeves

Published in: ICFEM (2002)

Keyphrases

high level
specification language
provably correct
neural network
relational databases
object oriented
description logics
formal language
refinement process