Show simple item record

dc.contributor.convenorJoaquim Filipeen_AU
dc.contributor.authorBillington, Daviden_US
dc.contributor.authorEstivill-Castro, Vladimiren_US
dc.contributor.authorHexel, Reneen_US
dc.contributor.authorRock, Andrewen_US
dc.contributor.editorPericles Leucopoulos and Leszek Maciaszeken_US
dc.date.accessioned2017-05-03T14:16:02Z
dc.date.available2017-05-03T14:16:02Z
dc.date.issued2010en_US
dc.date.modified2011-06-06T06:01:45Z
dc.identifier.refurihttp://www.enase.org/Abstracts/2010/ENASE_2010_Abstracts.htmen_AU
dc.identifier.urihttp://hdl.handle.net/10072/36121
dc.description.abstractWe extend the state diagrams used for dynamic modelling in object-oriented analysis and design. We suggest that the events which label the state transitions be replaced with plausible logic expressions. The result is a very effective descriptive and declarative mechanism for specifying requirements that can be applied to requirements engineering of robotic and embedded systems. The declarative model can automatically be translated and requirements are traceable to implementation and validation, minimising faults from the perspective of software engineering. We compare our approach with Petri Nets and Behavior Trees using the well-known example of the one-minute microwave oven.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent10 bytes
dc.format.extent895230 bytes
dc.format.mimetypetext/plain
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherAciTePressen_US
dc.publisher.placePortugalen_US
dc.publisher.urihttp://www.enase.org/Abstracts/2010/ENASE_2010_Abstracts.htmen_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename5th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2010en_US
dc.relation.ispartofconferencetitle5th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2010.en_US
dc.relation.ispartofdatefrom2010-07-22en_US
dc.relation.ispartofdateto2010-07-24en_US
dc.relation.ispartoflocationAthens, Greeceen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchSoftware Engineeringen_US
dc.subject.fieldofresearchAdaptive Agents and Intelligent Roboticsen_US
dc.subject.fieldofresearchcode080309en_US
dc.subject.fieldofresearchcode080101en_US
dc.titleNon-Monotonic Reasoning For Requirements Engineering: State Diagrams driven by Plausible Logicen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightCopyright 2010 SciTePress. The attached file is reproduced here in accordance with the copyright policy of the publisher. For information about this conference please refer to the conference's website or contact the authors.en_AU
gro.date.issued2010
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record