Betty H. C. Cheng

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1996
Publication period end
2009
Number of co-authors
16

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Whittle, Jon, Sawyer, Peter, Bencomo, Nelly, Cheng, Betty H. C., Bruel, Jean-Michel (2009): RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009 , 2009, . pp. 79-88. http://doi.ieeecomputersociety.org/10.1109/RE.2009.36

McKinley, Philip K., Cheng, Betty H. C., Ofria, Charles, Knoester, David B., Beckmann, Benjamin E., Goldsby, Heather (2008): Harnessing Digital Evolution. In IEEE Computer, 41 (1) pp. 54-63. http://doi.ieeecomputersociety.org/10.1109/MC.2008.17

Ebnenasir, Ali, Cheng, Betty H. C., Konrad, Sascha (2006): Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. In: 14th IEEE International Conference on Requirements Engineering RE 2006 11-15 September, 2006, Minneapolis/St.Paul, Minnesota, USA. pp. 336-337. http://doi.ieeecomputersociety.org/10.1109/RE.2006.70

Goldsby, Heather, Cheng, Betty H. C. (2006): Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System. In: 14th IEEE International Conference on Requirements Engineering RE 2006 11-15 September, 2006, Minneapolis/St.Paul, Minnesota, USA. pp. 338-339. http://doi.ieeecomputersociety.org/10.1109/RE.2006.26

Konrad, Sascha, Cheng, Betty H. C. (2005): Facilitating the Construction of Specification Pattern-based Properties. In: 13th IEEE International Conference on Requirements Engineering RE 2005 29 August - 2 September, 2005, Paris, France. pp. 329-338. http://doi.ieeecomputersociety.org/10.1109/RE.2005.29

McKinley, Philip K., Sadjadi, Seyed Masoud, Kasten, Eric P., Cheng, Betty H. C. (2004): Composing Adaptive Software. In IEEE Computer, 37 (7) pp. 56-64. http://csdl.computer.org/comp/mags/co/2004/07/r7056abs.htm

Konrad, Sascha, Cheng, Betty H. C. (2002): Requirements Patterns for Embedded Systems. In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering RE 2002 9-13 September, 2002, Essen, Germany. pp. 127-136. http://csdl.computer.org/comp/proceedings/re/2002/1465/00/14650127abs.htm

Campbell, Laura A., Cheng, Betty H. C., McUmber, William E., Stirewalt, Kurt (2002): Automatically Detecting and Visualising Errors in UML Diagrams. In Requir. Eng., 7 (4) pp. 264-287. http://dx.doi.org/10.1007/s007660200020

Cheng, Betty H. C., Campbell, Laura A. (2001): Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 294-295. http://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250294abs.htm

Cheng, Betty H. C. (1996): Where and How do Formal Methods Fit in Requirements Engineering?. In: ICRE 1996 , 1996, . pp. 154-156. http://csdl.computer.org/comp/proceedings/icre/1996/7252/00/72520154abs.htm