Designing and using software tools for educational purposes: FLAT, a case study

IEEE Transactions on Education

Volumn 52, Issue 1, 2009, Pages 66-74

  Castro Schez, Jose Jesus ^a   del Castillo, Ester ^a   Hortolano, Julian ^a   Rodriguez, Alfredo ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Computer supported learning; Formal languages and automata theory (FLAT) learning; Formal learning environments; Theoretical computer simulators; WWW based course support systems

Indexed keywords

AUTOMATA THEORY; FORMAL LANGUAGES; LINGUISTICS; ROBOTS; SIMULATORS; STUDENTS; TEACHING; TRANSLATION (LANGUAGES);

COMPUTER-SUPPORTED LEARNING; FORMAL LANGUAGES AND AUTOMATA THEORY (FLAT) LEARNING; FORMAL LEARNING ENVIRONMENTS; THEORETICAL COMPUTER SIMULATORS; WWW-BASED COURSE-SUPPORT SYSTEMS;

COMPUTER SOFTWARE;

EID: 60549109060     PISSN: 00189359     EISSN: None     Source Type: Journal    
DOI: 10.1109/TE.2008.917197     Document Type: Article

References (31)

1. "Agencia nacional de evaluación de la calidad y la acreditación (ANECA)," Libro Blanco del Título de Grado en Ingeniería Informática 2007 [Online]. Available: http://www.aneca.es/activin/docs/libroblanco_jun05_informatica.pdf
2. "European commission, education and training," The Bologna Process, Towards the European Higher Eduation Area 2007 [Online]. Available: http://ec.europa.eu/education/policies/educ/bologna/ bologna_en.html
3. A. O. Bilska, K. H. Leider,M. Procopiuc, O. Procopiuc, S. H. Rodger, J. R. Salemme, and E. Tsang, "A collection of tools for making automata theory and formal languages come alive," in Proc. 28th ACM SIGCSE Tech. Symp. Comput. Sci. Educ., 1997, pp. 15-19.
4. C. M. Boroni, F. W. Goosey, M. T. Grinder, and R. J. Ross, "A paradigm shift! The internet, the web, browsers, Java, and the future of computer science education," in Proc. 29th ACM SIGCSE Tech. Symp. Comput. Sci. Educ., 1998, pp. 145-152.
5. J. A. Brzozowski, "Derivatives of regular expressions," J. Assoc. Comput. Machin., vol. 11, no. 4, pp. 481-494, 1964.
6. C. I. Chesñevar, M. L. Cobo, and W. Yurcik, "Using theoretical computer simulators for formal languages and automata theory," ACM SIGCSE Bull., vol. 35, no. 2, pp. 33-37, 2003.
7. N. Chomsky, "Three models for the description of language," IEEE Trans. Inf. Theory, vol. 2, no. 3, pp. 113-124, 1956.
8. D. Cole, R. Wainwright, and D. Schoenefeld, "Using java to develop web based tutorials," in Proc. 29th ACMSIGCSE Tech. Symp. Comput. Sci. Educ., 1998, pp. 92-96.
9. V. Devedzic, J. Debenham, and D. Popovic, "Teaching formal languages by an intelligent tutoring system," J. Educ. Technol. Soc., vol. 3, no. 2, pp. 36-49, 2000.
10. J. L. Diez and J. Diaz, Java Parser Project Home Page, 2007 [Online]. Available: http://paginaspersonales.deusto.es/josuka/jparser/parser.html
11. C. Garcia-Osorio, A. Arnaiz-Moreno, and A. Arnaiz-Gonzalez, "Enseñanza asistida de teoría de autómatas y lenguajes formales mediante el uso de THOTH," in XIII Jornadas de Enseñanza Univ. Inf., 2007, pp. 425-432.
12. C. Garcia-Osorio, A. Arnaiz-Moreno, and A. Arnaiz-Gonzalez, THOTH Project Home Page, 2007 [Online]. Available: http://pisuerga.inf.ubu.es/ cgosorio/THOTH/
13. M. T. Grinder, "Animating automata: A cross-platform program for teaching finite automata," ACM SIGCSE Bull., vol. 34, no. 1, pp. 371-375, 2002.
14. D. Grune, H. E. Bal, C. J. H. Jacobs, and K. G. Langendoen, Modern Compiler Design. New York: Wiley, 2001.
15. J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley, 2006.
16. J. Hortolano, A. Rodriguez, and J. J. Castro-Schez, SELFA Project Home Page, 2007 [Online]. Available: http://apps.oreto.inf-cr.uclm.es/selfa/
17. T. Hung and S. H. Roger, "Increasing visualization and interaction in the automata theory course," ACM SIGCSE Bull., vol. 32, no. 1, pp. 6-10, 2000.
18. J. F. Jodar and J. Revelles, SEFALAS Project Home Page, 2007 [Online]. Available: http://lsi.ugr.es/~pl/software.php
19. D. Kelley, Automata and Formal Languages: An Introduction. Englewood Cliffs, NJ: Prentice-Hall, 1998.
20. H. R. Lewis and C. H. Papadimitriou, Elements of Theory of Computation. Upper Saddle River, NJ: Prentice-Hall, 1998.
21. J. C. Martin, Introduction to Languages and the Theory of Computation New York: McGraw-Hill, 2003.
22. J. McDonald, "Interactive pushdown automata animation," ACM SIGCSE Bull., vol. 34, no. 1, pp. 376-380, 2002.
23. Q.-N. Tran, "Interactive symbolic software for teaching formal languages, automata and beyond," J. Comput. Sci. Colleges, vol. 22, no. 4, pp. 129-136, 2007.
24. M. B. Robinson, J. A. Hamshar, J. E. Novillo, and A. T. Duchowski, "A java-based tool for reasoning about models of computation through simulating finite automata and turing machines," in Proc. 30th Ann. ACM SIGCSE Symp. (Special Interest Group on Computer Science Education) New Orleans, LA, 1999, pp. 105-109.
25. M. B. Robinson, J. A. Hamshar, J. E. Novillo, and A. T. Duchowski, The Java Computability Toolkit Project Home Page, 2007 [Online]. Available: http://humboldt.sunyit.edu/JCT/
26. S. H. Rodger and T. W. Finley, JFLAP: An Interactive Formal Languages and Automata Package. Sudbury, MA: Jones & Bartlett, 2006.
27. S. H. Rodger and T. W. Finley, JFLAP Project Home Page, 2007 [Online]. Available: http://www.jflap.org
28. P. A. Santos and J. J. Castro-Schez, "Una herramienta para la enseñanza y aprendizaje de la asignatura Procesadores de Lenguajes," XII Jornadas de la Enseñanza Univ. Inf., pp. 499-506, 2006.
29. P. A. Santos, J. Santos, and J. J. Castro-Schez, PROLETOOL Project Home Page, 2007 [Online]. Available: http://oreto.inf-cr.uclm.es/proletool/
30. J. J. Tamagnini, S. V. Cavadini, P. L. Berdaguer, D. A. Cheda, F. M. Pachado, and M. Petersen, SEPa! Project Home Page, 2007 [Online]. Available: http://www.ucse.edu.ar/fma/sepa
31. K. Thompson, "Regular expression search algorithm," Commun. ACM, vol. 11, no. 6, pp. 419-422, 1968.