Search results for "Betty H. C. Cheng"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Philip K. McKinley, Betty H. C. Cheng, Andres J. Ramirez, Adam C. Jensen	Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware.	J. Internet Services and Applications	2012	DBLP DOI BibTeX RDF
1	Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley	Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems.	Cluster Computing	2011	DBLP DOI BibTeX RDF
1	Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France	Models@run.time (Dagstuhl Seminar 11481).	Dagstuhl Reports	2011	DBLP DOI BibTeX RDF
1	Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley	An Evolutionary Approach to Network Self-Organization and Resilient Data Diffusion.	SASO	2011	DBLP DOI BibTeX RDF	data diffusion, Evolutionary algorithm, genetic programming, cellular automata, self-organization
1	Chad M. Byers, Betty H. C. Cheng, Philip K. McKinley	Digital enzymes: agents of reaction inside robotic controllers for the foraging problem.	GECCO	2011	DBLP DOI BibTeX RDF
1	Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester	Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems.	ASE	2011	DBLP DOI BibTeX RDF
1	Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng	An aspect-oriented approach for implementing evolutionary computation applications.	AOSD	2011	DBLP DOI BibTeX RDF
1	Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy Troup	Comparing Six Modeling Approaches.	MoDELS Workshops	2011	DBLP DOI BibTeX RDF
1	Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret	Summary of the 6th International Workshop on Models@run.time.	MoDELS Workshops	2011	DBLP DOI BibTeX RDF
1	Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson	A Toolchain for the Detection of Structural and Behavioral Latent System Properties.	MoDELS	2011	DBLP DOI BibTeX RDF
1	Andres J. Ramirez, Betty H. C. Cheng	Automatic Derivation of Utility Functions for Monitoring Software Requirements.	MoDELS	2011	DBLP DOI BibTeX RDF
1	Holger Giese, Betty H. C. Cheng (eds.)	2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011	SEAMS	2011	DBLP BibTeX RDF
1	Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel	RELAX: a language to address uncertainty in self-adaptive systems requirement.	Requir. Eng.	2010	DBLP DOI BibTeX RDF
1	Adam C. Jensen, Betty H. C. Cheng	On the use of genetic programming for automated refactoring and the introduction of design patterns.	GECCO	2010	DBLP DOI BibTeX RDF	design patterns, evolutionary computation, software metrics, refactoring, object-oriented design, search-based software engineering, intelligent search
1	Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley, Benjamin E. Beckmann	Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration.	ICAC	2010	DBLP DOI BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng	Automatically Discovering Properties That Specify the Latent Behavior of UML Models.	MoDELS	2010	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor	Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).	ICSE	2010	DBLP DOI BibTeX RDF	autonomic computing, adaptive software
1	David B. Knoester, Andres J. Ramirez, Philip K. McKinley, Betty H. C. Cheng	Evolution of robust data distribution among digital organisms.	GECCO	2009	DBLP DOI BibTeX RDF	germline, multilevel selection, distributed systems, communication, mutation, digital evolution, cooperative behavior, natural selection, biologically-inspired computing
1	Ji Zhang, Heather Goldsby, Betty H. C. Cheng	Modular verification of dynamically adaptive systems.	AOSD	2009	DBLP DOI BibTeX RDF	global invariants, modular model checking, reliability, verification, formal specification, autonomic computing, dynamic adaptation
1	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	Software Engineering for Self-Adaptive Systems: A Research Roadmap.	Software Engineering for Self-Adaptive Systems	2009	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.)	Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]	Software Engineering for Self-Adaptive Systems	2009	DBLP DOI BibTeX RDF
1	Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley	Applying genetic algorithms to decision making in autonomic computing systems.	ICAC	2009	DBLP DOI BibTeX RDF	genetic algorithm, distributed systems, evolutionary algorithm, autonomic computing, intelligent control
1	Andres J. Ramirez, Betty H. C. Cheng	Applying adaptation design patterns.	ICAC	2009	DBLP DOI BibTeX RDF	design patterns, adaptive systems, autonomic systems
1	Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel	RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems.	RE	2009	DBLP DOI BibTeX RDF	uncertainty, requirements, self-adaptation
1	Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle	A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty.	MoDELS	2009	DBLP DOI BibTeX RDF	Requirements engineering, uncertainty, goal models, dynamically adaptive systems
1	Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor	SEAMS 2009: Software engineering for adaptive and self-managing systems.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Philip K. McKinley, Betty H. C. Cheng, Charles Ofria, David B. Knoester, Benjamin E. Beckmann, Heather Goldsby	Harnessing Digital Evolution.	IEEE Computer	2008	DBLP DOI BibTeX RDF	Avida digital evolution platform, software, computing systems, digital evolution
1	Andres J. Ramirez, Betty H. C. Cheng	Verifying and Analyzing Adaptive Logic through UML State Models.	ICST	2008	DBLP DOI BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng	Avida-MDE: a digital evolution approach to generating models of adaptive software behavior.	GECCO	2008	DBLP DOI BibTeX RDF	model checking, autonomic computing, model-driven engineering, digital evolution
1	Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes	Goal-Based Modeling of Dynamically Adaptive System Requirements.	ECBS	2008	DBLP DOI BibTeX RDF	requirements engineering, model driven development, goal modeling, dynamically adaptive systems
1	Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos	08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.	Software Engineering for Self-Adaptive Systems	2008	DBLP BibTeX RDF
1	Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos	08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.	Software Engineering for Self-Adaptive Systems	2008	DBLP BibTeX RDF
1	Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.)	Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008	Software Engineering for Self-Adaptive Systems	2008	DBLP BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria	Digital Evolution of Behavioral Models for Autonomic Systems.	ICAC	2008	DBLP DOI BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng	Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley	Specifying real-time properties in autonomic systems.	ISSE	2007	DBLP DOI BibTeX RDF	Model checking, Adaptation, Temporal logic, Autonomic systems, Timing properties
1	Heather Goldsby, Sascha Konrad, Betty H. C. Cheng	Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements.	HASE	2007	DBLP DOI BibTeX RDF
1	Ali Ebnenasir, Betty H. C. Cheng	Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML.	HASE	2007	DBLP DOI BibTeX RDF	FormalMethods, Fault-Tolerance, UML, Requirements Analysis, Detector
1	Sascha Konrad, Heather Goldsby, Betty H. C. Cheng	i2MAP : An Incremental and Iterative Modeling and Analysis Process.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng, Ji Zhang	AMOEBA-RT: Run-Time Verification of Adaptive Software.	MoDELS Workshops	2007	DBLP DOI BibTeX RDF
1	Heather Goldsby, David B. Knoester, Betty H. C. Cheng, Philip K. McKinley, Charles Ofria	Digitally Evolving Models for Dynamically Adaptive Systems.	SEAMS	2007	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.	SEAMS	2007	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Joanne M. Atlee	Research Directions in Requirements Engineering.	FOSE	2007	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Ji Zhang, Betty H. C. Cheng	Using temporal logic to specify adaptive program semantics.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng	Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System.	RE	2006	DBLP DOI BibTeX RDF
1	Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad	Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance.	RE	2006	DBLP DOI BibTeX RDF	Fault-Tolerance, Formal Methods, Safety, Use Case Modeling
1	Robert B. France, James M. Bieman, Betty H. C. Cheng	Repository for Model Driven Development (ReMoDD).	MoDELS Workshops	2006	DBLP DOI BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum	A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Ji Zhang, Betty H. C. Cheng	Model-based development of dynamically adaptive software.	ICSE	2006	DBLP DOI BibTeX RDF	global invariants, reliability, verification, formal specification, autonomic computing, dynamic adaptation
1	Ali Ebnenasir, Betty H. C. Cheng	A Pattern-Based Approach for Modeling and Analyzing Error Recovery.	WADS	2006	DBLP DOI BibTeX RDF	Fault-Tolerance, UML, Formal Methods, Requirements Analysis, Error Recovery, Corrector
1	Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller	Software engineering for adaptive and self-managing systems.	ICSE	2006	DBLP DOI BibTeX RDF	self-adaptive, self-healing, autonomic, self-management, self-optimizing
1	Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng	Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations.	International Journal of Software Engineering and Knowledge Engineering	2005	DBLP DOI BibTeX RDF
1	Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng	Transparent shaping of existing software to support pervasive and autonomic computing.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	middleware, dynamic adaptation, program families
1	Scott D. Fleming, Betty H. C. Cheng, R. E. Kurt Stirewalt, Philip K. McKinley	An approach to implementing dynamic adaptation in C++.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	middleware, dynamic adaptation, program families
1	Ji Zhang, Betty H. C. Cheng	Specifying adaptation semantics.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	temporal logic, autonomic computing, adaptive software
1	Betty H. C. Cheng, Ryan Stephenson, Brian Berenbach	Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report).	MoDELS	2005	DBLP DOI BibTeX RDF
1	Sascha Konrad, Betty H. C. Cheng	Automated Analysis of Natural Language Properties for UML Models.	MoDELS Satellite Events	2005	DBLP DOI BibTeX RDF
1	Sascha Konrad, Betty H. C. Cheng	Facilitating the Construction of Specification Pattern-based Properties.	RE	2005	DBLP DOI BibTeX RDF
1	Sascha Konrad, Betty H. C. Cheng	Real-time specification patterns.	ICSE	2005	DBLP DOI BibTeX RDF	embedded systems, formal specification, patterns, real-time requirements
1	Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell	Object Analysis Patterns for Embedded Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	object analysis, model checking, embedded systems, formal specification, conceptual modeling, requirements, patterns, Object-oriented modeling
1	Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng	Composing Adaptive Software.	IEEE Computer	2004	DBLP DOI BibTeX RDF
1	Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng	Automated Analysis of Timing Information in UML Diagrams.	ASE	2004	DBLP DOI BibTeX RDF
1	Jesus Bisbal, Betty H. C. Cheng	Resource-based approach to feature interaction in adaptive software.	WOSS	2004	DBLP DOI BibTeX RDF	mobile computing, feature interaction, adaptive software
1	Seyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng	Generation of Self-Optimizing Wireless Network Applications.	ICAC	2004	DBLP DOI BibTeX RDF
1	Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley	Enabling collaborative adaptation across legacy components.	Adaptive and Reflective Middleware	2004	DBLP DOI BibTeX RDF
1	Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt	TRAP/J: Transparent Generation of Adaptable Java Programs.	CoopIS/DOA/ODBASE	2004	DBLP DOI BibTeX RDF	behavioral reflection, quality-of-service, mobile computing, middleware, aspect-oriented programming, dynamic reconfiguration, generator framework, transparent adaptation
1	Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley	Enabling Safe Dynamic Component-Based Software Adaptation.	WADS	2004	DBLP DOI BibTeX RDF
1	Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng	A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.	SPIN	2003	DBLP DOI BibTeX RDF
1	Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni	Education: Interactive Distributed Applications and the Computer Science Curriculum.	IEEE Distributed Systems Online	2002	DBLP BibTeX RDF
1	Betty H. C. Cheng, Enoch Y. Wang	Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	design, formal specification, requirements analysis, Object-oriented modeling, behavior, dynamic model, model integration
1	Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt	Automatically Detecting and Visualising Errors in UML Diagrams.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Simulation, Model checking, UML, Formal specifications
1	Zhenxiao Yang, Betty H. C. Cheng, R. E. Kurt Stirewalt, J. Sowell, Seyed Masoud Sadjadi, Philip K. McKinley	An aspect-oriented approach to dynamic adaptation.	WOSS	2002	DBLP DOI BibTeX RDF
1	Sascha Konrad, Betty H. C. Cheng	Requirements Patterns for Embedded Systems. (PDF / PS)	RE	2002	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Gerald C. Gannod	Developing and Maintaining an Object-Oriented Distributed Multimedia Information System.	Ann. Software Eng.	2001	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng	A Metamodel-Based Approach to Formalizing UML.	COMPSAC	2001	DBLP DOI BibTeX RDF
1	Gerald C. Gannod, Betty H. C. Cheng	A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods. (PDF / PS)	IWPC	2001	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Laura A. Campbell	Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF
1	William E. McUmber, Betty H. C. Cheng	A General Framework for Formalizing UML with Formal Languages.	ICSE	2001	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, David M. Weiss	Guest Editors' Introduction: Requirements Engineering - Integrating Technology. (PDF / PS)	IEEE Software	2000	DBLP DOI BibTeX RDF
1	Enoch Y. Wang, Betty H. C. Cheng	Formalizing the Functional Model within Object-Oriented Design.	International Journal of Software Engineering and Knowledge Engineering	2000	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang	Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.	DSN	2000	DBLP DOI BibTeX RDF	simulation and model checking, formal specifications, Object-oriented modeling
1	Laura A. Campbell, Betty H. C. Cheng	Object-Oriented Modeling and Automated Analysis of a Telemedicine Application.	IWSSD	2000	DBLP BibTeX RDF	simulation, formal specifications, design process, Object-oriented modeling, automated analysis
1	William E. McUmber, Betty H. C. Cheng	UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	formal specifications, mappings, VHDL, Object-oriented modeling
1	Gerald C. Gannod, Betty H. C. Cheng	A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques. (PDF / PS)	WCRE	1999	DBLP DOI BibTeX RDF
1	Gerald C. Gannod, Betty H. C. Cheng	A Formal Approach for Reverse Engineering: A Case Study. (PDF / PS)	WCRE	1999	DBLP DOI BibTeX RDF
1	Philip K. McKinley, Betty H. C. Cheng, John J. Weng	Moving industry-guided multimedia technology into the classroom.	SIGCSE	1999	DBLP DOI BibTeX RDF
1	Gerald C. Gannod, Betty H. C. Cheng	A Specification Matching Based Approach to Reverse Engineering.	ICSE	1999	DBLP BibTeX RDF	formal methods, reverse engineering, software maintenance
1	Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng	An Automated Approach for Supporting Software Reuse via Reverse Engineering. (PDF / PS)	ASE	1998	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng	A Discussion About Integrated Techniques.	WIFT	1998	DBLP DOI BibTeX RDF
1	Gerald C. Gannod, Gora Sudindranath, Mark Fagnani, Betty H. C. Cheng	PACKRAT: A Software Reengineering Case Study.	WCRE	1998	DBLP BibTeX RDF
1	Betty H. C. Cheng, Jun-Jang Jeng	Reusing Analogous Components.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	formal methods, Software reuse, analogical reasoning, program modification
1	David F. Robinson, Philip K. McKinley, Betty H. C. Cheng	Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks.	J. Parallel Distrib. Comput.	1997	DBLP DOI BibTeX RDF
1	Yonghao Chen, Betty H. C. Cheng	Facilitating an Automated Approach to Architecture-based Software Reuse. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	architecture-based software reuse, automated approach, component classification, reuse techniques, software architecting techniques, formal methods, software reusability, integration environment, component integration, component retrieval
1	Gerald C. Gannod, Betty H. C. Cheng	A Formal Automated Approach for Reverse Engineering Programs with Pointers. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
1	Yonghao Chen, Betty H. C. Cheng	Formalizing and Automating Component Reuse. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	Generality Relation, Formal Specification, Component Reuse
1	Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng	Formalizing and Integrating the Dynamic Model within OMT.	ICSE	1997	DBLP DOI BibTeX RDF	design, formal specification, requirements analysis, object-oriented modeling, LOGOS, model integration
1	Robert H. Bourdeau, Betty H. C. Cheng	Correspondence: Response to Botting's Comments.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF
1	Gerald C. Gannod, Betty H. C. Cheng	Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering.	Autom. Softw. Eng.	1996	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng	Where and How do Formal Methods Fit in Requirements Engineering?. (PDF / PS)	ICRE	1996	DBLP DOI BibTeX RDF

Publications of "Betty H. C. Cheng" ( http://dblp.L3S.de/Authors/Betty_H._C._Cheng )