Behavior Engineering as process model verification tool

There are no files associated with this record.

Title Behavior Engineering as process model verification tool
Author Tuffley, David; Rout, Terence Patrick
Publication Title Proceedings of 10th International SPICE Conference 2010: Process Improvement and Capability Determination in Software, Systems Engineering and Service Management
Editor Terry Rout, Giuseppe Lami, Fabrizio Fabbrini
Year Published 2010
Place of publication Pisa, Italy
Publisher Edizioni ETS
Abstract The natural language that people use to express themselves is frequently prone to ambiguity. Misunderstandings occur due to a statement having two or more interpretations. In the software engineering domain, clarity of expression when specifying the requirements of software systems is one situation where absence of ambiguity is important. Dromey's Behavior Engineering [1] is a formal method that reduces or eliminates ambiguity in software requirements. Exploratory research suggests Behavior Engineering might be effective at eliminating ambiguities in process models [23]. Therefore this paper seeks an answer to the question; can Dromey's Behavior Engineering [1] reduce or eliminate ambiguity when applied to the development of a Process Reference Model? We conclude that BE is effective in this capacity.
Peer Reviewed Yes
Published Yes
Publisher URI
ISBN 9788846726636
Conference name SPICE Conference '10 (Software Process Improvement And Capability dEtermination)
Location Pisa, Italy
Date From 2010-05-18
Date To 2010-05-20
Date Accessioned 2010-10-26
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Engineering; Information Systems Management
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice