Teaching formal software engineering at Loughborough.
Roger G. StoneJohn CookePublished in: PPIG (1) (1992)
Keyphrases
- software engineering
- formal methods
- computer science curriculum
- artificial intelligence
- software development
- engineering courses
- programming language
- online learning
- learning environment
- reverse engineering
- e learning
- web based learning
- problem based learning
- learning process
- software systems
- object oriented
- teacher education
- software design
- learning systems
- higher education
- distance learning
- formal model
- development methodologies
- human computer interaction
- cooperative learning
- distance education
- hong kong
- educational technology
- model checking
- hybrid learning
- knowledge engineering
- software testing
- software engineers
- teaching methods
- design patterns
- computer technology
- software architecture
- software projects