UP | HOME
CS 7140 2015-06-01

Text/Programmer's Editors

1 On Editors

  1. ./editor-entities.html
  2. Example Specs of Editor Entities and Operations
  3. Example Designs of Editor Entities and Operations
  4. ./open-source-edtors.html
  5. ./undo-redo.html

2 References

  1. Bernard Sufrin, Formal Specification of a Display-Oriented Text Editor, Science of Computer Programming, Volume 1, Issue 3, May 1982, Pages 157-202. PDF
  2. Prabhaker Mateti and Frances Hunt, "Precision Descriptions of Software Designs: An Example," <i>IEEE compsac85</i>, 130-136, Oct 1985.

3 End

Copyright © 2015 • www.wright.edu/~pmateti • 2015-06-01