Teaching Formal Methods Early in the Software Engineering Curriculum (panel).
Ann E. Kelley SobelHossein SaiedianAllan M. StavelyPeter B. HendersonPublished in: CSEE&T (2000)
Keyphrases
- formal methods
- software engineering
- computer science curriculum
- high school
- science teachers
- formal analysis
- school teachers
- cooperative learning
- safety critical
- teaching materials
- secondary school
- elementary school
- artificial intelligence
- curriculum development
- multiple intelligences
- primary school
- students learning
- classroom instruction
- software systems
- reverse engineering
- process algebra
- science education
- knowledge based systems
- learning process
- teaching methods
- formal specification
- english teaching
- teaching strategies
- professional development
- e learning
- model checking
- software development
- learning environment
- teaching practices
- learning styles
- lifelong learning
- object oriented
- design patterns
- development process
- software architecture
- development lifecycle
- data model
- digital literacy
- students studying
- machine learning
- formal specification language
- relational databases
- teacher education
- knowledge management
- modeling language
- hong kong
- educational technology
- business process