Presenting Object Oriented Formal Requirements Specifications: Insights From An Action Research Study

Simple item page
dc.contributor.authorFowler, Danielle
dc.contributor.authorSwatman, Paul Anthony
dc.date.accessioned2017-06-13T16:56:30Z
dc.date.available2017-06-13T16:56:30Z
dc.date.issued1997
dc.description.abstractThis 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 analysisen_US
dc.description.urihttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.95.3903&rep=rep1&type=pdfen_US
dc.format.extent15 pagesen_US
dc.genrejournal articlesen_US
dc.identifierdoi:10.13016/M29853
dc.identifier.citationDanielle 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.en_US
dc.identifier.isbn3-540-76196-9.
dc.identifier.urihttp://hdl.handle.net/11603/4045
dc.language.isoen_USen_US
dc.publisherSpringeren_US
dc.relation.isAvailableAtUniversity of Baltimore
dc.subjectaction research studyen_US
dc.subjectobject oriented formal requirement specificationen_US
dc.subjectwestern australian state governmenten_US
dc.subjectsocio-organisational contextual analysisen_US
dc.subjectsophisticated useren_US
dc.subjectdeveloper designeren_US
dc.subjectformal object oriented methoden_US
dc.subjectformal specificationen_US
dc.subjectoverall aimen_US
dc.subjectinformation system development methoden_US
dc.subjectformal modelling approachen_US
dc.subjectspecification structureen_US
dc.subjectspecification validationen_US
dc.subjectfoom requirement specification documenten_US
dc.subjectformal specification language object-zen_US
dc.subjectformal requirement specificationen_US
dc.subjectrequirement specificationen_US
dc.subjectprecise communicationen_US
dc.titlePresenting Object Oriented Formal Requirements Specifications: Insights From An Action Research Studyen_US
dc.typeTexten_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
10.1.1.95.3903.pdf
Size:
110.29 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

UBalt Faculty Scholarship


Robert L. Bogomolny Library
University of Baltimore
1420 Maryland Ave.
Baltimore, MD 21201
Email: knowledgeworks@ubalt.edu

If you wish to submit a copyright complaint or withdrawal request, please email mdsoar-help@umd.edu.