Using UML to Develop Verifiable Reactive Systems.

Fatemeh Alavizadeh Marjan Sirjani

Published in: Software Engineering Research and Practice (2006)

Keyphrases

reactive systems
formal methods
temporal logic
object oriented
software engineering
low cost
database design
information flow
modeling language
database
information systems
decision making
business processes
model checking
software architecture
metamodel