Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Formal Requirements Engineering: Learning from the Students
Edit
Formal Requirements Engineering: Learning from the Students   (Citations: 4)
BibTex | RIS | RefWorks Download
Formal methods are becoming increasingly important in many areas of software development and should be incor- porated in the teaching of software engineering. Require- ments capture is, in our opinion, the hardest stage of de- velopment for students to learn and for lecturers to teach. This paper reports on our experience in teaching require- ments engineering using formal methods, where we advo- cate 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 step- by-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 models needs to be placed within the context of the choices that a requirements engineer has to make.
Conference: Australian Software Engineering Conference , pp. 171-180, 2000
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Order by:

Citations (4)

Share this on | Contribute to Academic