Formal methods: mathematics, computer science or software engineering?

Published in: IEEE Trans. Educ. (2000)

Keyphrases

formal methods
computer science
software engineering
artificial intelligence
lecture notes
formal analysis
knowledge based systems

process algebra
provably correct
electrical engineering
model checker
model checking
machine learning
safety critical

modeling language
programming language
data mining
design patterns
reverse engineering
computer scientists
formal specification

software development
development process
knowledge acquisition
knowledge management
software systems
development lifecycle
formal specification language