Laura A. Campbell, Ph.D.
Affiliations: | 2004 | Michigan State University, East Lansing, MI |
Area:
Computer ScienceGoogle:
"Laura Campbell"Parents
Sign in to add mentorBetty H. Cheng | grad student | 2004 | Michigan State | |
(Enabling integrative analyses and refinement of object -oriented models with special emphasis on high -assurance embedded systems.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Konrad S, Cheng BHC, Campbell LA. (2004) Object analysis patterns for embedded systems Ieee Transactions On Software Engineering. 30: 970-992 |
Konrad S, Campbell LA, Cheng BHC. (2004) Automated analysis of timing information in UML diagrams Proceedings - 19th International Conference On Automated Software Engineering, Ase 2004. 350-353 |
Campbell LA, Cheng BHC, McUmber WE, et al. (2002) Automatically detecting and visualising errors in UML diagrams Requirements Engineering. 7: 264-287 |
Cheng BHC, Campbell LA. (2001) Integrating informal and formal approaches to requirements modeling and analysis Proceedings of the Ieee International Conference On Requirements Engineering. 294-295 |
Campbell LA. (2001) Visualization and interpretation of analysis results within the context of formalized UML diagrams Proceedings - International Conference On Software Engineering. 785-786 |
Campbell LA, Cheng BHC. (2000) Object-oriented modeling and automated analysis of a telemedicine application 10th International Workshop On Software Specification and Design, Iwssd 2000. 39-49 |
Cheng BHC, Campbell LA, Wang EY. (2000) Enabling automated analysis through the formalization of object-oriented modeling diagrams Proceedings of the 2002 International Conference On Dependable Systems and Networks. 305-314 |