• Login
    View Item 
    •   Maryland Shared Open Access Repository Home
    • KnowledgeWorks@UBalt
    • UBalt Faculty Scholarship
    • View Item
    •   Maryland Shared Open Access Repository Home
    • KnowledgeWorks@UBalt
    • UBalt Faculty Scholarship
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

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

    Thumbnail
    Files
    10.1.1.95.3903.pdf (110.2Kb)
    Links to Files
    http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.95.3903&rep=rep1&type=pdf
    Permanent Link
    http://hdl.handle.net/11603/4045
    Collections
    • UBalt Faculty Scholarship
    Metadata
    Show full item record
    Author/Creator
    Fowler, Danielle
    Swatman, Paul Anthony
    Date
    1997
    Type of Work
    15 pages
    Text
    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 study
    object 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)


    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.

     

     

    My Account

    LoginRegister

    Browse

    This CollectionBy Issue DateTitlesAuthorsSubjectsType

    Statistics

    View Usage Statistics


    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.