Using Heterogeneous Formal Methods in Distributed Software Engineering Education.
Bernd J. KrämerPublished in: AMAST (1996)
Keyphrases
- formal methods
- software engineering education
- software engineering
- artificial intelligence
- distributed systems
- model checking
- formal specification
- knowledge based systems
- development lifecycle
- software development
- reverse engineering
- object oriented
- database systems
- fault tolerant
- future directions
- e learning
- databases