Using task knowledge to guide interactor specifications analysis

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/762

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Campos, J. Creissac	-
dc.date.accessioned	2004-12-30T10:50:23Z	-
dc.date.available	2004-12-30T10:50:23Z	-
dc.date.issued	2003	-
dc.identifier.citation	JORGE, Joaquim A. ; NUNES, Nuno Jardim ; CUNHA, João Falcão e, ed. lit. – “Interactive Systems: Design, Specification and Verification : revised papers of the International Workshop, 10, 2003”. Berlin [etc.] : Springer, c.2003. ISBN 3-540-20159-9. p. 171-186.	eng
dc.identifier.isbn	3-540-20159-9	-
dc.identifier.issn	0302-9743	por
dc.identifier.uri	https://hdl.handle.net/1822/762	-
dc.description.abstract	This paper looks at how to extend the type of analysis that can be done using interactor based models of interactive systems, the i2smv tool, and SMV. Originally, the type of analysis performed with i2smv/SMV was concerned with the exhaustive exploration of all possible behaviours of a device, with little direct consideration of the tasks it should support. The paper investigates how task models can be introduced into the approach in order to extend the range of properties that can be analysed.	eng
dc.language.iso	eng	-
dc.publisher	Springer	eng
dc.rights	openAccess	eng
dc.subject	Task models	eng
dc.subject	Model checking	eng
dc.title	Using task knowledge to guide interactor specifications analysis	eng
dc.type	bookPart	eng
dc.peerreviewed	yes	eng
oaire.citationStartPage	171	por
oaire.citationEndPage	186	por
oaire.citationVolume	2844	por
dc.subject.wos	Science & Technology	por
sdum.journal	Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	por
sdum.conferencePublication	INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION	por
Aparece nas coleções:	HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
dsvis03.pdf		144,87 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas