Sciweavers

1943 search results - page 158 / 389
» Software and higher education
Sort
View
SIGCSE
2006
ACM
134views Education» more  SIGCSE 2006»
16 years 14 days ago
jFAST: a java finite automata simulator
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...
Timothy M. White, Thomas P. Way
SIGCSE
2004
ACM
100views Education» more  SIGCSE 2004»
15 years 12 months ago
A visual and interactive automata theory course with JFLAP 4.0
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
Ryan Cavalcante, Thomas Finley, Susan H. Rodger
EUROMICRO
2000
IEEE
15 years 11 months ago
Distributed Virtual Learning Environment: A Web-Based Approach
In this paper, we present a web-based Distributed Virtual Learning Environment (DVLE) that could be used as a sophisticated tool for distance education and collaboration between t...
Christos Bouras, Alexandros Philopoulos
SIGCSE
1999
ACM
145views Education» more  SIGCSE 1999»
15 years 10 months ago
Using JFLAP to interact with theorems in automata theory
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
Eric Gramond, Susan H. Rodger
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 6 months ago
Specifying Reusable Components
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer