%0 Conference Paper
%B 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings
%D 1998
%T Integrating Automated Verification into Interactive Systems Development
%A José Creissac Campos
%C Hawaii, USA
%P 13-15
%X <p>Our fieldof researchis the applicationof automatedrea-soning techniques during interactor based interactive sys-tems development. The aim being to ensure that the de-veloped systems embody appropriate properties and princi- ples. In this report we identify some of the pitfalls of current approachesand propose a new way to integrate verificationinto interactive systems development.</p>
%8 October
%> https://haslab.uminho.pt/sites/default/files/jccampos/files/ase98.pdf