Show simple item record  

dc.contributor.authorReeves, Steve
dc.contributor.authorBowen, Judy
dc.coverage.spatialConference held at London, UKen_NZ
dc.date.accessioned2013-10-03T03:55:54Z
dc.date.available2013-10-03T03:55:54Z
dc.date.issued2013
dc.identifier.citationReeves, S. & Bowen, J. A. (2013). Formal methods for interactive system: (FMIS 2013). In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems (pp. 337-338). New York, USA: ACM.en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/8053
dc.description.abstractThe workshop focuses on use of formal methods in the development and analysis of Interactive Systems. The workshop is particularly concerned with issues relating to Human Computer Interaction and to the analysis of interaction in a variety of computing environments (safety critical, ubiquitous etc.). In the latter case the complexities of dynamic context, including location and large numbers of interacting entities, pose particular challenges to formal modelling.en_NZ
dc.language.isoenen_NZ
dc.publisherACMen_NZ
dc.relation.urihttp://dl.acm.org/citation.cfm?id=2483223en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectsoftware engineeringen_NZ
dc.subjectformal methodsen_NZ
dc.subjectinteractive systemsen_NZ
dc.titleFormal methods for interactive system: (FMIS 2013)en_NZ
dc.typeConference Contributionen_NZ
dc.identifier.doi10.1145/2494603.2483223en_NZ
dc.relation.isPartOfProc 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systemsen_NZ
pubs.begin-page337en_NZ
pubs.elements-id22980
pubs.end-page338en_NZ
pubs.finish-date2013-06-27en_NZ
pubs.place-of-publicationNew York, NYen_NZ
pubs.start-date2013-06-24en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record