ProofChecker: An accessible environment for automata theory correctness proofs

ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science

Volumn , Issue , 2007, Pages 48-52

  Stallmann, Matthias F ^a   Balik, Suzanne P ^a   Rodman, Robert D ^a   Bahram, Sina ^a   Grace, Michael C ^a   High, Susan D ^a  

^a North Carolina State University

Author keywords

Accessibility; Correctness proof; Finite automata

Indexed keywords

COMPUTER GRAPHICS; COMPUTER PROGRAMMING LANGUAGES; MICE (COMPUTER PERIPHERALS); STUDENTS;

CORRECTNESS PROOF; GRAPHICAL CONTROLS; GRAPHICAL PROGRAMS;

FINITE AUTOMATA;

EID: 34548107824     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1268784.1268801     Document Type: Conference Paper

References (14)

1. E. Bergman and E. Johnson. Towards accessible human-computer interaction. Advances in human-computer interaction (vol. 5), pages 87-113, 1995.
2. Accessibility features of svg. Available at http://www.w3.org/TR/SVG- access/.
3. R. F. Cohen, A. V. Fairley, D. Gerry, and G. R. Lima. Accessibility in introductory computer science. In Proc. 36th SIGCSE Tech. Symp. on Computer Science Education, pages 17-21, 2005.
4. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
5. Package javax.accessibility. Available at http://java.sun.com/j2se/1.5.0/ docs/api/javax/accessibility/package-summary.html.
6. Jaws® for Windows®. Available at http://www.freedomscientific. com/fs_products/software_jaws.asp.
7. S. H. Kurniawan and A. G. Sutcliffe. Mental models of blind users in the windows environment. In ICCHP '02: Proceedings of the 8th International Conference on Computers Helping People with Special Needs, pages 568-574, London, UK, 2002. Springer-Verlag.
8. H. R. Lewis and C. H. Papadimitriou. Elements of the Theory of Computation. Prentice Hall, 1998.
9. J. C. Martin. Introduction to Languages and the Theory of Computation. McGraw-Hill, 2003.
10. S. D. Network. Java access bridge. Available at http://java.sun.com/ products/accessbridge/.
11. S. H. Rodger, B. Bressler, T. Finley, and S. Reading. Turning automata theory into a hands-on course. In Proc. 37th SIGCSE Tech. Symp. on Computer Science Education, pages 379-383, 2006.
12. S. H. Rodger and T. W. Finley. JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett, 2006.
13. T. A. Sudkamp. An Introduction to the Theory of Computer Science Languages and Machines. Addison-Wesley, 2006.
14. T. M. White and T. P. Way. jFAST: a Java finite automata simulator. SIGCSE Bull., 38(1):384-388, 2006.