B
Betty H. C. Cheng
Researcher at Michigan State University
Publications - 234
Citations - 10165
Betty H. C. Cheng is an academic researcher from Michigan State University. The author has contributed to research in topics: Formal specification & Software system. The author has an hindex of 46, co-authored 228 publications receiving 9635 citations. Previous affiliations of Betty H. C. Cheng include Wayne State University & University of Illinois at Urbana–Champaign.
Papers
More filters
Book ChapterDOI
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Betty H. C. Cheng,Rogério de Lemos,Holger Giese,Paola Inverardi,Jeff Magee,Jesper Andersson,Basil Becker,Nelly Bencomo,Yuriy Brun,Bojan Cukic,Giovanna Di Marzo Serugendo,Schahram Dustdar,Anthony Finkelstein,Cristina Gacek,Kurt Geihs,Vincenzo Grassi,Gabor Karsai,Holger M. Kienle,Jeff Kramer,Marin Litoiu,Sam Malek,Raffaela Mirandola,Hausi A. Müller,Sooyong Park,Mary Shaw,Matthias Tichy,Massimo Tivoli,Danny Weyns,Jon Whittle +28 more
TL;DR: The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems.
Proceedings ArticleDOI
Research Directions in Requirements Engineering
TL;DR: Current requirements engineering (RE) research is reviewed and future research directions suggested by emerging software needs are identified, which aim to address RE needs for emerging systems of the future.
Journal ArticleDOI
Composing adaptive software
TL;DR: A review of current technology compares how, when, and where recomposition occurs.
BookDOI
Software Engineering for Self-Adaptive Systems
Proceedings ArticleDOI
Model-based development of dynamically adaptive software
Ji Zhang,Betty H. C. Cheng +1 more
TL;DR: The approach separates the adaptation behavior and non-adaptive behavior specifications of adaptive programs, making the models easier to specify and more amenable to automated analysis and visual inspection.