Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/30554
Full metadata record
DC FieldValueLanguage
dc.contributor.authorNavarre David-
dc.contributor.authorPalanque Philippe-
dc.contributor.authorCOPPERS, Sven-
dc.contributor.authorLUYTEN, Kris-
dc.contributor.authorVANACKEN, Davy-
dc.date.accessioned2020-02-20T14:20:05Z-
dc.date.available2020-02-20T14:20:05Z-
dc.date.issued2020-
dc.date.submitted2020-02-18T08:20:53Z-
dc.identifier.citationLecture Notes in Computer Science, 12232, p. 503-519.-
dc.identifier.isbn9783030549930-
dc.identifier.isbn9783030549947-
dc.identifier.issn0302-9743-
dc.identifier.issn1611-3349-
dc.identifier.urihttp://hdl.handle.net/1942/30554-
dc.description.abstractFeedback 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.isoen-
dc.relation.ispartofseriesLecture Notes in Computer Science-
dc.subject.otherFeedforward-
dc.subject.otherformal methods-
dc.subject.otherPetri nets-
dc.subject.otherinteractive systems engi- neering-
dc.titleFortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets-
dc.typeJournal Contribution-
local.bibliographicCitation.authorsSekerinski, Emil-
local.bibliographicCitation.authorsMoreira, Nelma-
local.bibliographicCitation.authorsOliveira, José N.-
local.bibliographicCitation.authorsRatiu, Daniel-
local.bibliographicCitation.authorsGuidotti, Riccardo-
local.bibliographicCitation.authorsFarrell, Marie-
local.bibliographicCitation.authorsLuckcuck, Matt-
local.bibliographicCitation.authorsMarmsoler, Diego-
local.bibliographicCitation.authorsCampos, José-
local.bibliographicCitation.authorsAstarte, Troy-
local.bibliographicCitation.authorsGonnord, Laure-
local.bibliographicCitation.authorsCerone, Antonio-
local.bibliographicCitation.authorsCouto, Luis-
local.bibliographicCitation.authorsDongol, Brijesh-
local.bibliographicCitation.authorsKutrib, Martin-
local.bibliographicCitation.authorsMonteiro, Pedro-
local.bibliographicCitation.authorsDelmas, David-
local.bibliographicCitation.conferencedate2019-10-07 - 2019-10-11-
local.bibliographicCitation.conferencename8th Formal Methods for Interactive Systems workshop (FMIS 2019)-
local.bibliographicCitation.conferenceplacePorto, Portugal-
dc.identifier.epage519-
dc.identifier.spage503-
dc.identifier.volume12232-
local.bibliographicCitation.jcatC1-
local.type.refereedRefereed-
local.type.specifiedArticle-
local.relation.ispartofseriesnr12232-
dc.identifier.doi10.1007/978-3-030-54994-7_36-
local.provider.typePdf-
local.bibliographicCitation.btitleFormal Methods. FM 2019 International Workshops Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I-
local.uhasselt.uhpubyes-
local.uhasselt.internationalyes-
item.fulltextWith Fulltext-
item.contributorLUYTEN, Kris-
item.contributorCOPPERS, Sven-
item.contributorNavarre David-
item.contributorPalanque Philippe-
item.contributorVANACKEN, Davy-
item.fullcitationNavarre 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.accessRightsRestricted Access-
crisitem.journal.issn0302-9743-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
author_version.pdf
  Restricted Access
Peer-reviewed author version684.94 kBAdobe PDFView/Open    Request a copy
Show simple item record

Page view(s)

96
checked on Jul 1, 2022

Download(s)

32
checked on Jul 1, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.