Formal Requirements Engineering: Learning from the Students

Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture is, in our opinion, the hardest stage of development for students to learn and for lecturers to teach. This paper reports on our experience in teaching requirements engineering using formal methods, where we advocate a multiple methods approach in which students get to evaluate a large range of specification languages: students are more likely to learn the principles of good requirements engineering rather than become experts in one particular (formal) method. The need for formality is introduced stepby-step, where new concepts are identified by the students through the use of case studies. These concepts are then formalised in the most appropriate language or notation. Students are encouraged to question the need for formality — each requirements engineering method is a compromise and the use of formal mo...

• Type: Conference
• Year: 2000
• Where: ASWEC
• Authors: J. Paul Gibson
• Keywords: ASWEC 2000, Formal Methods, Requirements Engineering, Software Engineering, Teaching Requirements Engineering