@conference {CamposH98,
	title = {The role of verification in interactive systems design},
	booktitle = {Design, Specification and Verification of Interactive Systems - DSV-IS},
	series = {Springer Computer Science},
	year = {1998},
	month = {June},
	pages = {155-170},
	publisher = {Eurographics},
	organization = {Eurographics},
	address = {Braga, Portugal},
	abstract = {<p>In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required properties, and that changing the focus from a global specification into partial, property oriented, specifications can provide a number of advantages and  make verification actas an aid to decision making. We also present a compiler that allows for the verification of interactor specifications to be done in SMV, as well as a simple case study where verification is used to inform a design decision.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/camposh98.pdf},
	author = {Jos{\'e} Creissac Campos and Michael Harrison},
	editor = {P. Markopoulos and P. Johnson}
}