Presenting Object Oriented Formal Requirements Specifications: Insights From An Action Research Study
Date
1997Type of Work
15 pagesText
journal articles
Citation of Original Publication
Danielle C. Fowler and Paul A. Swatman. 1997. Presenting object oriented formal requirements specifications: insights from an action research study. In Proceedings of the 1st Irish conference on Formal Methods (IW-FM'97), Henry McGloughlin and Gerard O'Regan (Eds.). BCS Learning & Development Ltd., Swindon, UK, 1-13.Subjects
action research studyobject oriented formal requirement specification
western australian state government
socio-organisational contextual analysis
sophisticated user
developer designer
formal object oriented method
formal specification
overall aim
information system development method
formal modelling approach
specification structure
specification validation
foom requirement specification document
formal specification language object-z
formal requirement specification
requirement specification
precise communication
Abstract
This paper describes, in outline, our experiences in structuring and presenting formal requirements specifications, and in particular the insights gained from an action research study undertaken within the Western Australian state government. The overall aim of the project was to evaluate and enhance an information systems development method, known as FOOM (Formal Object Oriented Method). FOOM was synthesised from research into: --- the object oriented approach --- mathematically formal specification languages --- socio-organisational contextual analysis
Related items
Showing items related by title, author, creator and subject.
-
Formal Methods in the IS Domain: Introducing a Notation for Presenting Object-Z Specifications
Fowler, Danielle; Swatman, Paul Anthony; Wafula, Evelyn (Centre for Information Systems Research, Swinburne University of Technology, 1995)The evaluation of an information systems development method [Swatman & Swatman, 1992] synthesised from research into: the object oriented approach mathematically formal specification languages socio-organisational contextual ... -
To Formalize or Not: Investigating Drivers of Landholders? Decisions for Land Formalization in Rural Sub-Saharan Africa, The case of Senegal.
Diop, Moustapha (2020-01-20)Across Sub-Saharan Africa, the lack of legalized or formally-recognized land tenure has been one of the most pressing and challenging development issues of the new millennium. Yet, up to 78 percent of the arable land remains ... -
Season-specific and guild-specific effects of anthropogenic landscape modification on metacommunity structure of tropical bats
Cisneros, Laura M.; Fagan, Matthew E.; Willig, Michael R. (Wiley Online Library, 2014-10-05)