Integration of Specification Languages Using Viewpoints.

Marius C. Bujorianu

Published in: IFM (2004)

Keyphrases

specification languages
formal specification
viewpoint
object oriented programs
first order logic
case study
databases
high level
face recognition
multiple views
object class