Research
cs580Lib Project
The cs580Lib Project is focused on designing and implementing a comprehensive coherent well-planned collection of help pages, procedures, and other Maple objects that support research and instruction in formal languages and automata theory, in particular the upper-level course: cs580 Theory of Computation . The project is directed by Professors Thomas F. Piatkowski and J. Donald Nelson and involves collaborative participation by students of cs580 Theory of Computation and cs661 Software Engineering II: Verification and Validation. A detailed description of the project is provided at: http://www.cs.wmich.edu/~piat/professions.html For more information, contact: Professor Piatkowski.
By: Thomas Piatkowski, J. Donald Nelson