C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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