Laura A. Campbell, Ph.D.
Affiliations: | 2004 | Michigan State University, East Lansing, MI |
Area:
Computer ScienceGoogle:
"Laura Campbell"Parents
Sign in to add mentor| Betty 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 |