Our field of research is the application of automated 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 development.

 

@INPROCEEDINGS{Campos98b,
 author = {J. C. Campos},
 title = {Integrating Automated Verification into Interactive Systems Development},
 booktitle = {13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings},
 year = {1998},
 pages = {13-15},
 month = {October},
 hdl = {1822/759},
 abstract = {Our field of research is the application of automated 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 development.}
}

Generated by mkBiblio 2.6.26