BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Italy
1 × Jamaica
1 × Latvia
1 × New Zealand
1 × Spain
1 × Switzerland
15 × USA
2 × Austria
2 × Germany
2 × Norway
3 × France
4 × Canada
Collaborated with:
G.C.Gannod S.Konrad H.Goldsby A.J.Ramirez J.Jeng L.A.Campbell Y.Chen A.C.Jensen N.Bencomo R.H.Bourdeau J.Whittle J.Zhang W.E.McUmber ∅ B.DeVries P.Sawyer A.Ebnenasir R.Stephenson B.Berenbach E.Y.Wang H.A.Richter M.R.Laux J.Bruel R.B.France P.Sawyer D.B.Knoester E.C.Nelson S.Kamdoum G.Sudindranath M.Fagnani J.M.Bieman S.P.Mandalaparty D.Garlan R.d.Lemos J.Magee R.Taylor S.Fickas H.A.Müller S.Abrahão F.Bourdeleau S.Kokaly R.F.Paige H.Störrle G.Mussbacher D.Amyot R.Breu P.Collet B.Combemale R.Heldal J.H.Hill J.Kienzle M.Schöttle F.Steimann D.R.Stikkolorum
Talks about:
formal (15) model (15) engin (14) system (10) revers (9) approach (8) softwar (8) adapt (8) analysi (7) requir (7)

♀ Person: Betty H. C. Cheng

DBLP DBLP: Cheng:Betty_H=_C=

Facilitated 8 volumes:

MoDELS 2015PrBoard
MoDELS 2015TuCh
ICSE 2013Ed
ICSE 2013PrCh
MoDELS 2012PrBoard
CBSE 2002PrCo
CBSE 2001PrCo
MoDELS 2016PrBoard

Contributed to:

MoDELS 20142014
ICSE 20122012
MoDELS 20122012
ASE 20112011
MoDELS 20112011
MoDELS (1) 20102010
MoDELS 20092009
RE 20092009
ICST 20082008
MoDELS 20082008
MoDELS 20072007
ICSE 20062006
MoDELS 20062006
RE 20062006
ICSE 20052005
MoDELS 20052005
RE 20052005
ASE 20042004
RE 20022002
ICSE 20012001
IWPC 20012001
RE 20012001
ICSE 19991999
WCRE 19991999
ASE 19981998
WCRE 19981998
ASE 19971997
ICSE 19971997
ICRE 19961996
ICSM 19961996
WCRE 19961996
WCRE 19951995
KBSE 19941994
SEKE 19941994
ESEC 19931993
SEKE 19931993
MoDELS 20162016
MoDELS 20172017

Wrote 43 papers:

MoDELS-2014-MussbacherABBCCCFHHKSSSW #modelling
The Relevance of Model-Driven Engineering Thirty Years from Now (GM, DA, RB, JMB, BHCC, PC, BC, RBF, RH, JHH, JK, MS, FS, DRS, JW), pp. 183–200.
ICSE-2012-FranceBMCJ #development #modelling #repository
Repository for Model Driven Development (ReMoDD) (RBF, JMB, SPM, BHCC, ACJ), pp. 1471–1472.
MoDELS-2012-RamirezCBS #nondeterminism #runtime
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
ASE-2011-RamirezJCK #adaptation #automation #behaviour #how #nondeterminism
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems (AJR, ACJ, BHCC, DBK), pp. 568–571.
MoDELS-2011-JensenCGN #behaviour #detection
A Toolchain for the Detection of Structural and Behavioral Latent System Properties (ACJ, BHCC, HG, ECN), pp. 683–698.
MoDELS-2011-RamirezC #automation #monitoring #requirements
Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
MoDELS-v1-2010-GoldsbyC #automation #behaviour #modelling #uml
Automatically Discovering Properties That Specify the Latent Behavior of UML Models (HG, BHCC), pp. 316–330.
MoDELS-2009-ChengSBW #adaptation #approach #modelling #nondeterminism #requirements
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.
RE-2009-WhittleSBCB #adaptation #named #nondeterminism #self #specification
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems (JW, PS, NB, BHCC, JMB), pp. 79–88.
ICST-2008-RamirezC #adaptation #logic #modelling #uml #verification
Verifying and Analyzing Adaptive Logic through UML State Models (AJR, BHCC), pp. 529–532.
MoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MoDELS-2007-KonradGC #analysis #incremental #modelling #process
i2MAP : An Incremental and Iterative Modeling and Analysis Process (SK, HG, BHCC), pp. 451–466.
ICSE-2006-ChengGLMTFM #adaptation #re-engineering #self
Software engineering for adaptive and self-managing systems (BHCC, DG, RdL, JM, RT, SF, HAM), pp. 1015–1016.
ICSE-2006-ZhangC #adaptation #development #modelling
Model-based development of dynamically adaptive software (JZ, BHCC), pp. 371–380.
MoDELS-2006-GoldsbyCKK #analysis #assurance #formal method #framework #modelling #visualisation
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.
RE-2006-EbnenasirCK #analysis #case study #fault tolerance #modelling
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance (AE, BHCC, SK), pp. 336–337.
RE-2006-GoldsbyC #adaptation #modelling #requirements
Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System (HG, BHCC), pp. 338–339.
ICSE-2005-KonradC #realtime #specification
Real-time specification patterns (SK, BHCC), pp. 372–381.
MoDELS-2005-ChengSB #analysis #automation #industrial #lessons learnt #modelling #uml
Lessons Learned from Automated Analysis of Industrial UML Class Models (BHCC, RS, BB), pp. 324–338.
RE-2005-KonradC #specification
Facilitating the Construction of Specification Pattern-based Properties (SK, BHCC), pp. 329–338.
ASE-2004-KonradCC #analysis #automation #diagrams #uml
Automated Analysis of Timing Information in UML Diagrams (SK, LAC, BHCC), pp. 350–353.
RE-2002-KonradC #embedded #requirements
Requirements Patterns for Embedded Systems (SK, BHCC), pp. 127–136.
ICSE-2001-McUmberC #formal method #framework #uml
A General Framework for Formalizing UML with Formal Languages (WEM, BHCC), pp. 433–442.
IWPC-2001-GannodC #formal method #reverse engineering #tool support #using
A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods (GCG, BHCC), pp. 221–232.
RE-2001-ChengC #analysis #formal method #modelling #requirements
Integrating Informal and Formal Approaches to Requirements Modeling and Analysis (BHCC, LAC), pp. 294–295.
ICSE-1999-GannodC #approach #reverse engineering #specification
A Specification Matching Based Approach to Reverse Engineering (GCG, BHCC), pp. 389–398.
WCRE-1999-GannodC #design #framework #reverse engineering
A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques (GCG, BHCC), pp. 77–88.
WCRE-1999-GannodC99a #approach #case study #formal method #reverse engineering
A Formal Approach for Reverse Engineering: A Case Study (GCG, BHCC), pp. 100–111.
ASE-1998-GannodCC #approach #automation #reuse #reverse engineering
An Automated Approach for Supporting Software Reuse via Reverse Engineering (GCG, YC, BHCC), p. 94–?.
WCRE-1998-GannodSFC #case study #named #re-engineering
PACKRAT: A Software Reengineering Case Study (GCG, GS, MF, BHCC), pp. 125–134.
ASE-1997-ChenC #approach #architecture #automation #reuse
Facilitating an Automated Approach to Architecture-based Software Reuse (YC, BHCC), pp. 238–245.
ASE-1997-GannodC #approach #automation #pointer #reverse engineering #source code
A Formal Automated Approach for Reverse Engineering Programs with Pointers (GCG, BHCC), pp. 219–226.
ICSE-1997-WangRC #formal method
Formalizing and Integrating the Dynamic Model within OMT (EYW, HAR, BHCC), pp. 45–55.
ICRE-1996-Cheng #formal method #how #question #requirements
Where and How do Formal Methods Fit in Requirements Engineering? (BHCC), pp. 154–156.
ICSM-1996-GannodC #c #reverse engineering #source code #using
Using Informal and Formal Techniques for the Reverse Engineering of C Programs (GCG, BHCC), pp. 265–274.
WCRE-1996-GannodC #c #reverse engineering #source code #using
Using Informal and Formal Techniques for the Reverse Engineering of C Programs (GCG, BHCC), pp. 249–258.
WCRE-1995-GannodC #reverse engineering #semantics
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering (GCG, BHCC).
KBSE-1994-JengC #approach #component #formal method #reuse
A Formal Approach to Reusing More General Components (JJJ, BHCC), pp. 90–97.
SEKE-1994-ChengBG #development #distributed #information management #multi #object-oriented
The object-oriented development of a distributed multimedia environmental information system (BHCC, RHB, GCG), pp. 70–77.
ESEC-1993-JengC #component #formal method #library #using
Using Formal Methods to Construct a Software Component Library (JJJ, BHCC), pp. 397–417.
SEKE-1993-LauxBC #development #ide #specification
An Integrated Development Environment for Formal Specifications (MRL, RHB, BHCC), pp. 681–688.
MoDELS-2016-DeVriesC #analysis #automation #detection #requirements
Automatic detection of incomplete requirements via symbolic analysis (BD, BHCC), pp. 385–395.
MoDELS-2017-AbrahaoBCKPSW #challenge #experience #modelling #user interface
User Experience for Model-Driven Engineering: Challenges and Future Directions (SA, FB, BHCC, SK, RFP, HS, JW), pp. 229–236.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.