UML to B: Formal Verification of Object-Oriented Models.

Kevin Lano David Clark Kelly Androutsopoulos

Published in: IFM (2004)

Keyphrases

object oriented
formal verification
conceptual models
uml models
database design
probabilistic model
database applications
software development
metamodel
class diagrams
object oriented modeling
software engineering
software architecture
uml class diagrams