Formal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education.
T. H. TsePublished in: Software Engineering Education (1993)
Keyphrases
- formal methods
- software engineering education
- software engineering
- formal specification
- formal analysis
- model checking
- knowledge based systems
- artificial intelligence
- case study
- reactive systems
- modeling language
- formal specification language
- machine learning
- development lifecycle
- reverse engineering
- empirical evidence
- database systems