Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/30554
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Navarre David | - |
dc.contributor.author | Palanque Philippe | - |
dc.contributor.author | COPPERS, Sven | - |
dc.contributor.author | LUYTEN, Kris | - |
dc.contributor.author | VANACKEN, Davy | - |
dc.date.accessioned | 2020-02-20T14:20:05Z | - |
dc.date.available | 2020-02-20T14:20:05Z | - |
dc.date.issued | 2020 | - |
dc.date.submitted | 2020-02-18T08:20:53Z | - |
dc.identifier.citation | Lecture Notes in Computer Science, 12232, p. 503-519. | - |
dc.identifier.isbn | 9783030549930 | - |
dc.identifier.isbn | 9783030549947 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.issn | 1611-3349 | - |
dc.identifier.uri | http://hdl.handle.net/1942/30554 | - |
dc.description.abstract | Feedback and feedforward are two fundamental mechanisms that supports users' activities while interacting with computing devices. While feedback can be easily solved by providing information to the users following the triggering of an action, feedforward is much more complex as it must provide information before an action is performed. Fortunettes is a generic mechanism providing a systematic way of designing feedforward addressing both action and presentation problems. Including a feedforward mechanism significantly increases the complexity of the interactive application hardening developers' tasks to detect and correct defects. This paper proposes the use of an existing formal notation for describing the behavior of interactive applications and how to exploit that formal model to extend the behavior to offer feedforward. We use a small login example to demonstrate the process and the results. | - |
dc.language.iso | en | - |
dc.relation.ispartofseries | Lecture Notes in Computer Science | - |
dc.subject.other | Feedforward | - |
dc.subject.other | formal methods | - |
dc.subject.other | Petri nets | - |
dc.subject.other | interactive systems engi- neering | - |
dc.title | Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets | - |
dc.type | Journal Contribution | - |
local.bibliographicCitation.authors | Sekerinski, Emil | - |
local.bibliographicCitation.authors | Moreira, Nelma | - |
local.bibliographicCitation.authors | Oliveira, José N. | - |
local.bibliographicCitation.authors | Ratiu, Daniel | - |
local.bibliographicCitation.authors | Guidotti, Riccardo | - |
local.bibliographicCitation.authors | Farrell, Marie | - |
local.bibliographicCitation.authors | Luckcuck, Matt | - |
local.bibliographicCitation.authors | Marmsoler, Diego | - |
local.bibliographicCitation.authors | Campos, José | - |
local.bibliographicCitation.authors | Astarte, Troy | - |
local.bibliographicCitation.authors | Gonnord, Laure | - |
local.bibliographicCitation.authors | Cerone, Antonio | - |
local.bibliographicCitation.authors | Couto, Luis | - |
local.bibliographicCitation.authors | Dongol, Brijesh | - |
local.bibliographicCitation.authors | Kutrib, Martin | - |
local.bibliographicCitation.authors | Monteiro, Pedro | - |
local.bibliographicCitation.authors | Delmas, David | - |
local.bibliographicCitation.conferencedate | 2019-10-07 - 2019-10-11 | - |
local.bibliographicCitation.conferencename | 8th Formal Methods for Interactive Systems workshop (FMIS 2019) | - |
local.bibliographicCitation.conferenceplace | Porto, Portugal | - |
dc.identifier.epage | 519 | - |
dc.identifier.spage | 503 | - |
dc.identifier.volume | 12232 | - |
local.bibliographicCitation.jcat | C1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
local.relation.ispartofseriesnr | 12232 | - |
dc.identifier.doi | 10.1007/978-3-030-54994-7_36 | - |
local.provider.type | - | |
local.bibliographicCitation.btitle | Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I | - |
local.uhasselt.uhpub | yes | - |
local.uhasselt.international | yes | - |
item.fullcitation | Navarre David; Palanque Philippe; COPPERS, Sven; LUYTEN, Kris & VANACKEN, Davy (2020) Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. In: Lecture Notes in Computer Science, 12232, p. 503-519.. | - |
item.accessRights | Restricted Access | - |
item.contributor | Navarre David | - |
item.contributor | Palanque Philippe | - |
item.contributor | COPPERS, Sven | - |
item.contributor | LUYTEN, Kris | - |
item.contributor | VANACKEN, Davy | - |
item.fulltext | With Fulltext | - |
crisitem.journal.issn | 0302-9743 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
author_version.pdf Restricted Access | Peer-reviewed author version | 684.94 kB | Adobe PDF | View/Open Request a copy |
Page view(s)
96
checked on Jul 5, 2022
Download(s)
32
checked on Jul 5, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.