Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Specifying collaborative software: a proposal

      Reeves, Steve
      Thumbnail
      Files
      content.pdf
      1.269Mb
      DOI
       10.1109/SEEP.1998.707633
      Link
       www.computer.org
      Find in your library  
      Citation
      Export citation
      Reeves, S. (1998). Specifying collaborative software: a proposal. In 1998 International Conference Software Engineering: Education & Practice: proceedings: January 26-29, 1998, Dunedin, New Zealand. (pp. 52-59). Los Alamitos, Calif.: IEEE Computer Society Press.
      Permanent Research Commons link: https://hdl.handle.net/10289/45
      Abstract
      The aim of this paper is to illustrate how formal specifications for collaborative interactive systems might be written. It presents a new modelling paradigm for certain systems. It also shows how formal software engineering approaches can be useful. Specifically we choose to specify a simple collaborative editor. This example serves two purposes: it shows how clear and simple a formal specification can be and it provides a basis for making observations about the requirements for a specification language where the target is CSCW systems. The specification of the system has three parts: the semantics of the system; the syntax of the system; the semantics of the collaborative aspects of the system.
      Date
      1998-01-01
      Type
      Conference Contribution
      Publisher
      IEEE Computer Society Press
      Rights
      This document has been peer reviewed.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      90
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement