Tim Wahls

Education
B.S. 1990, Computer Science, Iowa State University
M.S. 1992, Computer Science, Iowa State University
Ph.D. 1995, Computer Science, Iowa State University

Research and Teaching Interests
My main research interests are in specification language design and semantics (especially for object-oriented specification languages), and in the execution of formal specifications (especially the applications of constraint logic programming techniques in executing formal specifications). I have also done some work in linguistic content analysis and computer science education.

My teaching specializations are in software engineering and programming languages. I have also taught courses in database, compilers, constraint programming, object-oriented programming, Java, Visual Basic, C and UNIX, algorithms and simulation.

Office:
Tome 244

Telephone:
(717) 245 - 1743

e-mail:
wahlst@dickinson.edu

Office Hours:
office hours: MF 1:30 - 2:45 p.m, TTh 11:00 a.m. - 12:00 p.m.
also by appointment and whenever my office door is open

Selected Works

• Nestor Catano and Tim Wahls. Executing JML Specifications of Java Card Applications: A Case Study. Accepted for the 24th ACM Symposium on Applied Computing, Waikiki Beach, Honolulu, Hawaii. March 8 - 12, 2009.
• Grant Braught and Tim Wahls. Teaching Objects in Context. The Journal of Computing Sciences in Colleges. Volume 23, Number 5, May 2008. 101 - 109.
• Grant Braught, L. Marlin Eby and Tim Wahls. The Effects of Pair-Programming on Individual Programming Skill. Proceedings of the Thirty-Ninth ACM Technical Symposium on Computer Science Education (SIGCSE 2008), Portland, Oregon. 200 - 204. March 12 - 15, 2008.
• Ben Krause and Tim Wahls. jmle: A Tool for Executing JML Specifications via Constraint Programming. in L. Brim, editor, Formal Methods for Industrial Critical Systems (FMICS '06). Bonn, Germany. August 26 - 27, 2006. Volume 4346 of Lecture Notes in Computer Science, pages 293 - 296. Springer-Verlag, 2007.
• William Combs, Robert Hawkins, Thomas Pore, Arik Schechet, Tim Wahls and Louis Ziantz. The Course Scheduling Problem as a Source of Student Projects. Proceedings of the Thirty-Sixth ACM SIGCSE Technical Symposium on Computer Science Education, St. Louis, Missouri. 81 - 85. February 23 - 27, 2005.
• Tim Wahls. Compiling Formal Specifications to Oz Programs. MOZ 2004, The Second International Mozart/Oz Conference, Charleroi, Belgium. October 7 - 8, 2004. Lecture Notes in Computer Science, Volume 3389. 66 - 77. 2005.
• Brian Fenicle and Tim Wahls. A Secure Methodology for Interchangeable Services. The Journal of Information and Software Technology. Volume 46, Number 5. 343 - 349. 2004.
• Brian Fenicle and Tim Wahls. A Methodology to Provide and Use Interchangeable Services. Proceedings of the 18th ACM Symposium on Applied Computing, Melbourne, Florida. 1140 - 1146. March 9 - 12, 2003.
  
• Ping Wang, Qingru Zhang and Tim Wahls. WebQuery: A Simple Web-Enabled System for Database Management. The Journal of Computing in Small Conferences, Volume 17, Number 4, March 2002. 7 - 15. Also presented at the the Consortium for Computing in Small Colleges Central Plains Regional Conference. Kansas City, Kansas. April 5 - 6, 2002.
  
• Danqing Wu, Yiching Cheng and Tim Wahls. A Graphical User Interface for Editing Formal Specification Objects. The Journal of Computing in Small Conferences, Volume 17, Number 4, March 2002. 79 - 86. Also presented at the Consortium for Computing in Small Colleges Central Plains Regional Conference. Kansas City, Kansas. April 5 - 6, 2002.
  
• Tim Wahls and Gary T. Leavens. Formal Semantics of an Algorithm for Translating Model-based Specifications to Concurrent Constraint Programs. Proceedings of the 16th ACM Symposium on Applied Computing, Las Vegas, Nevada. 567 - 575, March 11-14, 2001.
  
• Xiaowen Chen and Tim Wahls. A Graphical User Interface for Executing Formal Specifications. Proceedings of the 16th ACM Symposium on Applied Computing, Las Vegas, Nevada. 648-652, March 11-14, 2001.
  
• Tim Wahls, Gary T. Leavens and Albert L. Baker. Executing Formal Specifications with Concurrent Constraint Programming. The Automated Software Engineering Journal, Volume 7, Number 4, December 2000.
  
• Tim Wahls. Teaching Software Engineering with TCL/Tk. The Journal of Computing in Small Colleges, Volume 14, Number 3, March 1999. 278 - 287.
  
• Gary T. Leavens, Tim Wahls and Albert L. Baker. Formal Semantics for SA Style Data Flow Diagram Specification Languages. Proceedings of the 1999 ACM Symposium on Applied Computing. San Antonio, Texas. February 28 - March 2, 1999. 526 - 532.
  
• Tim Wahls and Linda Null. Developing Web-based Course Materials - How to Start and Why. The Journal of Computing in Small Colleges, Volume 12, Number 4, March 1997. 366 - 373.
  
• Tim Wahls and Linda Null. The Information Turnpike? Proceedings of The Thirteenth International Conference on Technology and Education (ICTE96). Volume II, 1996. 437 - 439.