Author: Betty H. C. Cheng
Publication Overview
Publication period start: 1996
Number of co-authors: 16
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
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.
https://doi.ieeecomputersociety.org/10.1109/MC.2008.17
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.
https://csdl.computer.org/comp/mags/co/2004/07/r7056abs.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.
https://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.
https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250294abs.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.
https://csdl.computer.org/comp/proceedings/re/2002/1465/00/14650127abs.htm
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.
https://doi.ieeecomputersociety.org/10.1109/RE.2005.29
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.
https://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.
https://doi.ieeecomputersociety.org/10.1109/RE.2006.26
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.
https://doi.ieeecomputersociety.org/10.1109/RE.2009.36
Cheng,
Betty H. C.
(1996):
Where and How do Formal Methods Fit in Requirements Engineering?.
In:
ICRE 1996
,
1996,
.
pp. 154-156.
https://csdl.computer.org/comp/proceedings/icre/1996/7252/00/72520154abs.htm