Integrating Automated Verification into Interactive Systems Development

Citation:
Campos JC.  1998.  Integrating Automated Verification into Interactive Systems Development. 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings. :13-15. copy at www.tinyurl.com/ldolbrn

Date Presented:

October

Abstract:

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.

Citation Key:

Campos98b
PreviewAttachmentSize
ase98.pdf50.21 KB