1. Research UNE
  2. UNE
  3. Conference Publication
Please use this identifier to cite or link to this item: https://hdl.handle.net/1959.11/4716
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWang, Lijianen
dc.contributor.authorSajeev, Abudulkadiren
dc.contributor.authorInchaiwong, Lachanaen
local.source.editorEditor(s): Latiff, Sen
dc.date.accessioned2010-02-22T16:02:00Z-
dc.date.issued2006-
dc.identifier.citationProceedings of the Third International Conference on Information Technology: New Generations, p. 658-663en
dc.identifier.isbn0769524974en
dc.identifier.urihttps://hdl.handle.net/1959.11/4716-
dc.description.abstractIn this paper we provide a behavioural classification of user interaction widgets. We use Object Constraint Language (OCL) to specify widget constraints in a formal manner. The benefits of such a behavioral classification are that application interface can be described in a device and technology independent way, and that Design by Contract Principle can be applied to reason about the conformance of widgets at various level of abstraction. In addition, such classification can be considered as a guideline for mapping between abstract widgets and concrete widgets.en
dc.languageenen
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)en
dc.relation.ispartofProceedings of the Third International Conference on Information Technology: New Generationsen
dc.titleA Formal Specification of Interaction Widgets Hierarchy Frameworken
dc.typeConference Publicationen
dc.relation.conferenceITNG 2006: Third International Conference on Information Technology: New Generationsen
dc.subject.keywordsSoftware Engineeringen
local.contributor.firstnameLijianen
local.contributor.firstnameAbudulkadiren
local.contributor.firstnameLachanaen
local.subject.for2008080309 Software Engineeringen
local.subject.seo2008890299 Computer Software and Services not elsewhere classifieden
local.profile.schoolSchool of Science and Technologyen
local.profile.schoolSchool of Science and Technologyen
local.profile.schoolSchool of Science and Technologyen
local.profile.emailasajeev@une.edu.auen
local.profile.emaillinchai2@une.edu.auen
local.output.categoryE1en
local.record.placeauen
local.record.institutionUniversity of New Englanden
local.identifier.epublicationsrecordpes:3709en
local.date.conference10th - 12th April, 2006en
local.conference.placeLas Vegas, United States of Americaen
local.publisher.placeCalifornia, United States of Americaen
local.format.startpage658en
local.format.endpage663en
local.peerreviewedYesen
local.contributor.lastnameWangen
local.contributor.lastnameSajeeven
local.contributor.lastnameInchaiwongen
dc.identifier.staffune-id:lwang4en
dc.identifier.staffune-id:asajeeven
dc.identifier.staffune-id:linchai2en
local.profile.roleauthoren
local.profile.roleauthoren
local.profile.roleauthoren
local.identifier.unepublicationidune:4830en
dc.identifier.academiclevelAcademicen
dc.identifier.academiclevelAcademicen
local.title.maintitleA Formal Specification of Interaction Widgets Hierarchy Frameworken
local.output.categorydescriptionE1 Refereed Scholarly Conference Publicationen
local.relation.urlhttp://www.itng.info/OLD/2006Web/en
local.relation.urlhttp://trove.nla.gov.au/work/20944477en
local.conference.detailsITNG 2006: Third International Conference on Information Technology: New Generations, Las Vegas, United States, 10 - 12th April, 2006en
local.search.authorWang, Lijianen
local.search.authorSajeev, Abudulkadiren
local.search.authorInchaiwong, Lachanaen
local.uneassociationUnknownen
local.year.published2006en
local.date.start2006-04-10-
local.date.end2006-04-12-
Appears in Collections:Conference Publication
School of Science and Technology
Files in This Item:
2 files
File Description SizeFormat 
Show simple item record

Page view(s)

1,258
checked on Jun 30, 2024
Google Media

Google ScholarTM

Check


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