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
dc.description.urihttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.95.3903&rep=rep1&type=pdfen
dc.format.extent15 pagesen
dc.genrejournal articlesen
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
dc.identifier.isbn3-540-76196-9.
dc.identifier.urihttp://hdl.handle.net/11603/4045
dc.language.isoenen
dc.publisherSpringeren
dc.relation.isAvailableAtUniversity of Baltimore
dc.subjectaction research studyen
dc.subjectobject oriented formal requirement specificationen
dc.subjectwestern australian state governmenten
dc.subjectsocio-organisational contextual analysisen
dc.subjectsophisticated useren
dc.subjectdeveloper designeren
dc.subjectformal object oriented methoden
dc.subjectformal specificationen
dc.subjectoverall aimen
dc.subjectinformation system development methoden
dc.subjectformal modelling approachen
dc.subjectspecification structureen
dc.subjectspecification validationen
dc.subjectfoom requirement specification documenten
dc.subjectformal specification language object-zen
dc.subjectformal requirement specificationen
dc.subjectrequirement specificationen
dc.subjectprecise communicationen
dc.titlePresenting Object Oriented Formal Requirements Specifications: Insights From An Action Research Studyen
dc.typeTexten

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
Thumbnail Image
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.