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.
Lecture Notes in Computer Science (2009)
Composing adaptive software
P.K. McKinley;S.M. Sadjadi;E.P. Kasten;B.H.C. Cheng.
IEEE Computer (2004)
Research Directions in Requirements Engineering
B.H.C. Cheng;J.M. Atlee.
international conference on software engineering (2007)
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)
A formal semantics for object model diagrams
R.H. Bourdeau;B.H.C. Cheng.
IEEE Transactions on Software Engineering (1995)
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems
Jon Whittle;Pete Sawyer;Nelly Bencomo;Betty H.C. Cheng.
requirements engineering (2009)
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)
A general framework for formalizing UML with formal languages
William E. McUmber;Betty H. C. Cheng.
international conference on software engineering (2001)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
Michigan State University
University of Victoria
University of Potsdam
Imperial College London
York University
Commonwealth Scientific and Industrial Research Organisation
Carnegie Mellon University
University of California, Irvine
Aston University
RWTH Aachen University
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: