Laura A. Campbell

According to our database, Laura A. Campbell authored at least 10 papers between 2000 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

No User Left Behind: Including Accessibility in Student Projects and the Impact on CS Students' Attitudes.

G. Michael Poor, Laura M. Leventhal, Julie Barnes, Duke R. Hutchings, Paul B. Albee, Laura A. Campbell

ACM Trans. Comput. Educ., 2012

2007

A student-managed networking laboratory.

Paul B. Albee, Laura A. Campbell, Martin A. Murray, Christopher M. Tongen, Jennifer L. Wolfe

Proceedings of the 8th Conference on Information Technology Education, 2007

2004

Object Analysis Patterns for Embedded Systems.

Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell

IEEE Trans. Software Eng., 2004

Automated Analysis of Timing Information in UML Diagrams.

Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.

Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng

Proceedings of the Model Checking Software, 2003

2002

Automatically Detecting and Visualising Errors in UML Diagrams.

Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt

Requir. Eng., 2002

2001

Integrating Informal and Formal Approaches to Requirements Modeling and Analysis.

Betty H. C. Cheng, Laura A. Campbell

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams.

Laura A. Campbell

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.

Laura A. Campbell, Betty H. C. Cheng

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.

Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000