Escher Technologies - Universities Using PD in teaching

Escher Technologies


	"We were impressed with the ease of code generation from a specification using Perfect Developer," Professor Steve Schneider


	Universities using Perfect Developer Numerous universities and colleges offer individual projects involving Perfect Developer, and some also use “PD” for classroom teaching. Here are five examples of how Perfect Developer is used in the classroom: (mouse over the courses shown) University of Manchester: Verified Development (undergraduate module) link to the University of Manchester course page on Verified Development (part of theme on Rigorous Development) (opens in a new page) 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.

Home

TOP

Copyright © 1997-2017 Escher Technologies Limited. All rights reserved. Information is subject to change without notice. Link to Privacy/Cookie Policy (new window)