Presenting Object Oriented Formal Requirements Specifications: Insights From An Action Research Study
MetadataShow full item record
Type of Work15 pages
Citation of Original PublicationDanielle 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.
Subjectsaction research study
object oriented formal requirement specification
western australian state government
socio-organisational contextual analysis
formal object oriented method
information system development method
formal modelling approach
foom requirement specification document
formal specification language object-z
formal requirement specification
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
Showing items related by title, author, creator and subject.
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 ...
Brennan, Tim (RFF, 2008-09-18)
ENGLISH LEARNERS WITH LIMITED OR INTERRUPTED FORMAL EDUCATION: RISK AND RESILIENCE IN EDUCATIONAL OUTCOMES Browder, Christopher Todd (2014-01-01)This dissertation examined the educational outcomes of high school English learner (EL) students with limited or interrupted formal education (SLIFE) to evaluate theories that explain their educational resilience. School ...