Teaching Formal Methods: From Software in the Small to Software in the Large.

María-del-Mar Gallardo Laura Panizo

Published in: FMTea (2019)

Keyphrases

formal methods
software development
software systems
safety critical
software architecture
computer systems
development lifecycle
e learning
database
data mining
object oriented
software engineering
software components
model checker
provably correct