Search the dblp DataBase

Publications of Author

1. Tim Wahls
   Compiling Formal Specifications to Oz Programs. [Citation Graph (0, 0)][DBLP]
   MOZ, 2004, pp:66-77 [Conf]
   
2. Xiaowen Chen, Tim Wahls
   A graphical user interface for executing formal specifications. [Citation Graph (0, 0)][DBLP]
   SAC, 2001, pp:648-652 [Conf]
   
3. Brian Fenicle, Tim Wahls
   A Methodology to Provide and Use Interchangeable Services. [Citation Graph (0, 0)][DBLP]
   SAC, 2003, pp:1140-1146 [Conf]
   
4. Gary T. Leavens, Tim Wahls, Albert L. Baker
   Formal Semantics for SA Style Data Flow Diagram Specification Languages. [Citation Graph (0, 0)][DBLP]
   SAC, 1999, pp:526-532 [Conf]
   
5. Tim Wahls, Gary T. Leavens
   Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
   SAC, 2001, pp:567-575 [Conf]
   
6. William Combs, Robert Hawkins, Thomas Pore, Arik Schechet, Tim Wahls, Louis Ziantz
   The course scheduling problem as a source of student projects. [Citation Graph (0, 0)][DBLP]
   SIGCSE, 2005, pp:81-85 [Conf]
   
7. Tim Wahls, Gary T. Leavens, Albert L. Baker
   Executing Formal Specifications with Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2000, v:7, n:4, pp:315-343 [Journal]
   
8. Brian Fenicle, Tim Wahls
   A secure methodology for interchangeable services. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:5, pp:343-349 [Journal]
   
9. Ben Krause, Tim Wahls
   jmle: A Tool for Executing JML Specifications Via Constraint Programming. [Citation Graph (0, 0)][DBLP]
   FMICS/PDMC, 2006, pp:293-296 [Conf]
   
10. 
    Executing JML specifications of Java card applications: a case study. [Citation Graph (, )][DBLP]
    
    
11. 
    The effects of pair-programming on individual programming skill. [Citation Graph (, )][DBLP]
    
    
12. 
    The benefits of pairing by ability. [Citation Graph (, )][DBLP]