A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs.

Zhiming Liu Charles Morisset Shuling Wang

Published in: SBMF (2010)

Keyphrases

object oriented
object oriented technology
object oriented databases
design methodology
high level language
databases
database
real time
query language
programming language
open source
computer programs
conceptual modeling
high level programming