Dr. Laura Campbell

PhD Computer Science, Michigan State University, 2004
MS Computer Science, Bowling Green State University, 1996
BA Computer Science and Mathematics, Depauw University, 1991

Email: campb2la@cmich.edu Office: Pearce 119 Phone: 989-774-4300

Research Program and Goals:

• Software engineering
• Women in computing

Selected Publications and Presentations:

• "Automatically Detecting and Visualizing Errors in UML Diagrams" (with Betty H.C. Cheng, William E. McUmber, and R.E.K. Stirewalt), Requirements Engineering Journal, Springer-Verlag, December 2002.
• "A Requirements Pattern-Driven Approach to Specify Systems and Check Properties" (with Sascha Konrad, Betty H.C. Cheng, and Min Deng), 10th International SPIN Workshop of Model Checking of Software (SPIN 2003), May 2003. (Workshop affiliated with ICSE03.)
• "Adding Formal Specifications to Requirements Patterns" (with Sascha Konrad and Betty H.C. Cheng), IEEE Workshop on Requirements for High Assurance Systems (RHAS02), Essen, Germany, September, 2002. (Workshop affiliated with RE02.)