Betty H. C. Cheng focuses on Adaptation, Formal specification, Software engineering, Distributed computing and Programming language. Her work carried out in the field of Adaptation brings together such families of science as Linear temporal logic, Theoretical computer science, Autonomic computing, Software and Adaptive system. Software system and Component-based software engineering are the primary areas of interest in her Software study.
Her Formal specification research is multidisciplinary, incorporating elements of Unified Modeling Language and Modular design. In her research, Systems engineering and Requirements analysis is intimately related to Requirements engineering, which falls under the overarching field of Software engineering. Her Distributed computing study combines topics in areas such as Aspect-oriented programming, Middleware, Evolutionary algorithm and Mobile computing.
Betty H. C. Cheng mostly deals with Software engineering, Formal specification, Software, Programming language and Adaptive system. Betty H. C. Cheng combines subjects such as Software development, Reuse, Software system, Systems engineering and Reverse engineering with her study of Software engineering. Her Systems engineering research is multidisciplinary, relying on both Requirements engineering and Requirements analysis.
Within one scientific family, Betty H. C. Cheng focuses on topics pertaining to Formal methods under Formal specification, and may sometimes address concerns connected to Design by contract. Her work deals with themes such as Resource and Component, which intersect with Software. Her studies deal with areas such as Goal modeling, Control reconfiguration, Risk analysis, Real-time computing and Adaptation as well as Adaptive system.
Betty H. C. Cheng mainly investigates Software engineering, Adaptive system, Adaptation, Software and Model-driven architecture. Her Software engineering study focuses on Domain-specific language in particular. Betty H. C. Cheng has researched Adaptive system in several fields, including Software system, State, Multi-objective optimization, Mathematical optimization and Key.
Betty H. C. Cheng focuses mostly in the field of Adaptation, narrowing it down to topics relating to Reliability engineering and, in certain cases, Real-time computing and Face. She does research in Software, focusing on Unified Modeling Language specifically. She has included themes like Sustainability, Engineering ethics and Systems engineering in her Model-driven architecture study.
Her scientific interests lie mostly in Adaptation, Adaptive system, Model-driven architecture, Systems engineering and Software. Her Adaptation research is multidisciplinary, incorporating elements of Software system, Goal modeling and Reliability engineering. Her study on Adaptive system also encompasses disciplines like
Her study in Systems engineering is interdisciplinary in nature, drawing from both Engineering management, Design thinking, Relevance, Reflection and Grand Challenges. Her Software research integrates issues from Braille, Software engineering, Human–computer interaction and Factor. Betty H. C. Cheng integrates Software engineering and Key features in her studies.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Betty H. Cheng;Rogério Lemos;Holger Giese;Paola Inverardi.
(2009)
Research Directions in Requirements Engineering
B.H.C. Cheng;J.M. Atlee.
international conference on software engineering (2007)
Composing adaptive software
P.K. McKinley;S.M. Sadjadi;E.P. Kasten;B.H.C. Cheng.
IEEE Computer (2004)
Model-based development of dynamically adaptive software
Ji Zhang;Betty H. C. Cheng.
international conference on software engineering (2006)
Software Engineering for Self-Adaptive Systems
Betty H. Cheng;Rogério Lemos;Holger Giese;Paola Inverardi.
Lecture Notes in Computer Science (2009)
Real-time specification patterns
Sascha Konrad;Betty H. C. Cheng.
international conference on software engineering (2005)
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems
Jon Whittle;Pete Sawyer;Nelly Bencomo;Betty H.C. Cheng.
requirements engineering (2009)
A formal semantics for object model diagrams
R.H. Bourdeau;B.H.C. Cheng.
IEEE Transactions on Software Engineering (1995)
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty
Betty H. Cheng;Pete Sawyer;Nelly Bencomo;Jon Whittle.
model driven engineering languages and systems (2009)
RELAX: a language to address uncertainty in self-adaptive systems requirement
Jon Whittle;Pete Sawyer;Nelly Bencomo;Betty H. C. Cheng.
Requirements Engineering (2010)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Michigan State University
University of Victoria
Hasso Plattner Institute
Imperial College London
York University
Commonwealth Scientific and Industrial Research Organisation
Carnegie Mellon University
University of California, Irvine
Aston University
RWTH Aachen University
Boston University
University of Surrey
Vanderbilt University
Southern University of Science and Technology
Texas Christian University
Grenoble Alpes University
Murdoch University
University of California, Santa Barbara
Institut Cochin
City Of Hope National Medical Center
University of Turku
Icahn School of Medicine at Mount Sinai
University of Florida
Washington University in St. Louis
Harvard University
University of Sydney