An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students.
Manuel J. Fernández IglesiasMartín Llamas NistalPublished in: TFM (2004)
Keyphrases
- formal methods
- model checker
- formal analysis
- undergraduate students
- engineering students
- software engineering
- computer programming
- protocol specification
- engineering education
- engineering courses
- electrical engineering
- artificial intelligence
- applied sciences
- model checking
- safety critical
- development lifecycle
- security properties
- formal specification
- learning environment
- learning experience
- process algebra
- collaborative learning
- knowledge based systems
- e learning
- elementary school students
- engineering design
- learning outcomes
- learning process
- high school
- computer science
- graduate students
- cryptographic protocols
- software development
- college students
- communication protocols
- communication protocol
- teachable agent
- computer skills
- xml documents
- knowledge representation
- design process
- learning styles