David Coppit Assistant Professor Mailing Address Department of Computer Science McGlothlin-Street Hall The College of William and Mary Williamsburg, VA 23187-8795 Office McGlothlin-Street Hall, 104A Phone: +1-757-221-3476 Fax: +1-757-221-1717 Office hours: 1-3pm TT and by appointment Internet http://www.cs.wm.edu/~coppit/ coppit@cs.wm.edu Public Key

Research Interests

Keywords: Feature interaction, separation of concerns, software development methods, software testing, applied formal methods, component-based software development.

My current research revolves around software plans, an editor-based approach for managing feature interactions, and bounded exhaustive testing, an automated testing approach. For a good overview of our recent work on software plans see this paper on software plans and this paper on reverse-engineering software plans from existing code. See this paper to learn about bounded exhaustive testing. Past work also involved development of formal semantics for reliability modeling languages, and large-scale component-based software development. See my research page and publications page for more information.

Biography

I received my MSCS and PhD degress in Computer Science from The University of Virginia June 1998 and January 2003, respectively. My undergraduate BS degrees are in Computer Science and Physics from the University of Mississippi, June 1995.

My curriculum vitae (PDF), research statement (PDF), and teaching statement (PDF) are online.

Teaching

I have created a webpage for educators interested in my method for teaching software engineering using a large class project. It includes links to papers on the approach.

Current courses: CSci 780: Advanced Software Engineering.

I have also taught:

• CSci 780 (Advanced Software Engineering): Fall 2003, Fall 2004, Fall 2006
• CSci 690 (Readings Course: Software Engineering Education): Spring 2004
• CSci 435/535 (Software Engineering): Spring 2003, Spring 2004, Spring 2005, Spring 2006, Spring 2007
• CSci 420 (Independent Study): Fall 2002 (Reverse-Engineering), Spring 2004 (Motion Capture and 3D Modeling), Spring 2007 (Online Journal for the W&M Mason School of Business)
• CSci 420 (Formal Methods in Software Engineering): Fall 2005
• CSci 243 (Discrete Math): Fall 2002

Schedule

Fall 2007:

• Teaching: Advanced Software Engineering