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.