TOPCASED Combining Formal Methods with Model-Driven Engineering.

Nadège Pontisso David Chemouil

Published in: ASE (2006)

Keyphrases

formal methods
model driven engineering
software engineering
formal analysis
model driven
knowledge based systems
model checking
safety critical
formal specification
development lifecycle
artificial intelligence
expert systems
databases
service oriented
knowledge base
machine learning
database