examples of courses using Perfect Developer

                  - for more information, move your mouse over the courses shown

Griffith College Dublin: Our courses      From Griffith College:

"We teach two courses on Formal Methods, a third year course that covers program verification using Dijkstra's weakest pre-condition semantics and a fourth year course on formal specification that uses Perfect Developer."

"We also offer some fourth year projects in formal specification where students specify and implement a solution to a given problem. The software tool used to develop such projects is Perfect Developer".

Technische Universität Wien: www.logic.at/perfect link to T.U.Wien
(opens in a new page)

University of Portsmouth: BSc Software Engineering and BSc Computer ScienceFrom the University of Portsmouth:

BSc Software Engineering and BSc Computer Science

"PD is used in units aimed at teaching students about formal specification, validation and verification, and program proving."

"Being an OO language, students are familiar with many of the concepts, having already learnt Java. This leaves them free to focus on the new concepts, like formal specification, etc."

National University of Ireland, Maynooth: MSc in Computer Science (Software Engineering)National University of Ireland, Maynooth:

MSc in Computer Science (Software Engineering)
CS603 Rigorous Software Process for MSc students, lectured by Paul Gibson

and

Practicals/case studies on refinement in Perfect Developer for third year undergraduates in Computer Science and Software Engineering, lectured by Margaret MacGaley.

TOP

examples of postgraduate research projects using Perfect Developer