Publications

Using Task Knowledge to Guide Interactor Specifications Analysis

AuthID
P-000-JX4

Author(s)

Campos, JC

Editor(s)

Jorge, JA; Nunes, NJ; Cunha, JFE

Document Type

Article

Year published

2003

Published

in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 2844, Pages: 171-186 (16)

Conference

10Th International Workshop on Design, Specification and Verification of Interactive Systems, Date: JUN 11-13, 2003, Location: FUNCHAL, PORTUGAL, Sponsors: Fundacao Ciencia & Technol, Fundacao Luso Amer, CARE Technologies, ACM, British HCI Grp, Eurographics, IEEE, IFIP, SIG CHI, Univ Madeira

Indexing