• DocumentCode
    2495958
  • Title

    Visual construction of algebraic specifications

  • Author

    Neary, Duncan S. ; Woodward, Martin R.

  • Author_Institution
    Dept. of Comput. Sci., Liverpool Univ., UK
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    79
  • Lastpage
    80
  • Abstract
    Algebraic specifications have a proven record for the development of software that is precise, consistent, complete and unambiguous. However, despite their usefulness there has been limited uptake by software engineers. The authors attribute this apparent discrepancy, at least in part, to a question of usability and understandability. This paper describes an approach to addressing these problems through an interface that adds a visual aspect to the algebraic specification language OBJ
  • Keywords
    algebraic specification; specification languages; visual programming; OBJ; algebraic specification language; algebraic specifications; usability; visual aspect; Buildings; Computer science; Equations; Formal specifications; Mathematical model; Navigation; Petri nets; Reactive power; Usability; Visualization;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Visual Languages, 2000. Proceedings. 2000 IEEE International Symposium on
  • Conference_Location
    Seattle, WA
  • ISSN
    1049-2615
  • Print_ISBN
    0-7695-0840-5
  • Type

    conf

  • DOI
    10.1109/VL.2000.874361
  • Filename
    874361
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2495958