Component and Interface Refinement in Closed-System Specifications.

Reino Kurki-Suonio

Published in: World Congress on Formal Methods (1999)

Keyphrases

database systems
high level
user interface
user friendly
software components
database
real world
website
object model
delay insensitive