Emphasizing formal analysis in a software engineering curriculum.
Ann E. Kelley SobelPublished in: IEEE Trans. Educ. (2001)
Keyphrases
- formal analysis
- software engineering
- formal methods
- computer science curriculum
- software systems
- artificial intelligence
- software development
- reverse engineering
- high school
- agent model
- software architecture
- programming language
- design patterns
- ban logic
- software engineers
- formal specification
- development process
- object oriented
- software maintenance
- knowledge based systems
- knowledge management
- software projects
- cooperative learning
- low cost
- design rationale
- data model
- information systems