University of MinhoSchool of Engineering Departament of Computer Science
  Team Courses Post Grad Projects Publications   pt | en

Integrating Automated Verification into Interactive Systems Development
J. Creissac Campos (visit this page for up to date information)

In 13th IEEE International Conference: Automated S oftware Engineering - Doctoral Symposium Proceedings, pages 13-15. October, 1998.


Our field of research is the application of aut omated reasoning techniques during interactor based interactive systems development. The aim being to ensure that the developed systems embody appropriate properties and principles. In this report we identify some of the pitfalls of current approaches and propose a new way to integrate verification into interactive systems devel opment. We also briefly describe the work done so far.