An Undergraduate Requirements Engineering Curriculum with Formal Methods.
Bernd WestphalPublished in: REET@RE (2018)
Keyphrases
- formal methods
- requirements engineering
- software engineering
- computer science curriculum
- systems engineering
- software development
- requirements elicitation
- requirements specification
- development process
- formal analysis
- systems development
- artificial intelligence
- design patterns
- software systems
- reverse engineering
- object oriented
- programming language
- safety critical
- software intensive systems
- knowledge management
- software architecture
- software requirements
- model checking
- requirements engineering process
- information systems
- case study
- e learning
- building blocks
- black box
- data mining
- formal specification language