Search the dblp DataBase

Publications of Author

1. Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang
   Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. [Citation Graph (0, 0)][DBLP]
   DSN, 2000, pp:305-0 [Conf]
   
2. Laura A. Campbell
   Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams. [Citation Graph (0, 0)][DBLP]
   ICSE, 2001, pp:785-786 [Conf]
   
3. Laura A. Campbell, Betty H. C. Cheng
   Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. [Citation Graph (0, 0)][DBLP]
   IWSSD, 2000, pp:39-50 [Conf]
   
4. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng
   Automated Analysis of Timing Information in UML Diagrams. [Citation Graph (0, 0)][DBLP]
   ASE, 2004, pp:350-353 [Conf]
   
5. Betty H. C. Cheng, Laura A. Campbell
   Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
   RE, 2001, pp:294-295 [Conf]
   
6. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng
   A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:18-33 [Conf]
   
7. Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt
   Automatically Detecting and Visualising Errors in UML Diagrams. [Citation Graph (0, 0)][DBLP]
   Requir. Eng., 2002, v:7, n:4, pp:264-287 [Journal]
   
8. Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell
   Object Analysis Patterns for Embedded Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:12, pp:970-992 [Journal]
   
9. 
   A student-managed networking laboratory. [Citation Graph (, )][DBLP]