Evaluating the Quality of Software Models using Light-weight Formal Methods.

Jordi Cabot Robert Clarisó

Published in: ERCIM News (2014)

Keyphrases

formal methods
lightweight
reactive systems
artificial intelligence
safety critical
formal specification
model checking
development lifecycle
provably correct
knowledge based systems
software architecture
metamodel
software projects
process model
software systems
knowledge acquisition
software development
database