Selected Publications

  • Requirements Modeling

  • A Generic Framework for Formalizing UML (William E. McUmber and Betty H.C. Cheng), (to appear in) Proc. of IEEE International Conference on Software Engineering (ICSE01), May 2001, Toronto, Canada.

  • Object-Oriented Modeling and Automated Analysis of a Telemedicine Application (Laura A. Campbell and Betty H.C. Cheng), Proc. of IEEE 10th Int. Workshop on Software Specification and Design (IWSSD-10), November 2000, Shelter Island, San Diego, California.

  • "Enabling Automated Analysis through Object-Oriented Modeling Diagrams" (Betty H.C. Cheng, Laura A. Campbell, Enoch Y. Wang), in Proc. of IEEE International Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8), New York, NY, June 2000.

  • ``UML-Based Analysis of Embedded Systems Using a Mapping to VHDL'' (William E. McUmber and Betty H.C. Cheng), in Proc. of IEEE High Assurance Software Engineering, Washington, DC, November 1999.
  • ``Multiple Dimensions of Integrating Development Technology'' in Computer Security, Dependability, and Assurance'98, Eds. P. Ammann and S. Jajodia, IEEE Computer Society, 1999.

  • ``A Discussion about Integrated Techniques'' (with R. France), in Post-Proceedings of IEEE 2nd International Workshop on Industrial Strength Formal Specification Techniques (WIFT98), Boca Raton, Florida, April 1999.

  • ``Formalizing and Integrating the Functional Model into Object-Oriented Design (Enoch Y. Wang and Betty H.C. Cheng), in Proc. of International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, June 1998 (Received Best Paper Award).

  • ``A Rigorous Object-Oriented Design Process'' (Enoch Y. Wang and Betty H.C. Cheng), in Proc. of International Conference on Software Process, Naperville, IL, June 1998.

  • ``Formalizing and Integrating the Dynamic Model within OMT'' (Enoch Y. Wang, Heather A. Richter, and Betty H.C. Cheng), in IEEE Proc. of International Conference on Software Engineering, Boston, MA, May 1997.

  • ``How do Formal Methods fit in Requirements Engineering?'' (with M.~A.~Ardis, J.~Goguen, and C.~Heitmeyer), in Proc. of IEEE International Conference on Requirements Engineering, April 1996.

  • ``Bridging the Gap Between the Informal and Formal Approaches to Software Development'' (with E.Y. Wang, R.H. Bourdeau, and H.A. Richter), in Proc. of Software Engineering Research Forum, November 1995.
  • ``A Formal Semantics of Object Models'' (Robert H. Bourdeau and Betty H.C. Cheng), in IEEE Trans. on Software Engineering, October 1995, Vol 21, No. 10, pp. 799-821.

  • ``A Graphical Environment for Formally Developing Object-Oriented Software'' (Betty H.C. Cheng, Enoch Y. Wang and Robert H. Bourdeau), in the Proc. of IEEE Int'l Conf. on Tools with Artificial Intelligence, November 1994.

  • Software Reuse

  • ``A Semantic Foundation for Specification Matching'' (with Y. Chen) in Foundations of Component-Based Systems Eds. M.~Sitaraman and G.~Leavens, Cambridge University Press, 2000.

  • ``Formalizing and Automating Component Reuse'' (with Yonghao Chen), in IEEE Proc. of International Conference on Tools with Artificial Intelligence, November 1997.

  • ``Facilitating an Automated Approach to Architecture-based Software Reuse'' (with Yonghao Chen), in Proc. of IEEE Automated Software Engineering, November 1997.

  • ``Reusing Analogous Components'' (Betty H.C. Cheng and Jun-Jang Jeng), shortened version in IEEE Trans. on Knowledge and Data Engineering, Vol 9., No. 2, March/April 1997, pp. 341--349. Extended version is Michigan State University Technical Report, MSU-CPS-94-28 (Revised June 1995).

  • ``Formally Specifying and Analyzing Architectural and Functional Properties of Components for Reuse'' (with Yonghao Chen), Proc. Eighth Annual Workshop on Software Reuse (WISR8), Columbus, OH, March 1997.

  • ``Specification Matching for Software Reuse: A Foundation'' (Jun-Jang Jeng and Betty H.C. Cheng), Proc. of ACM Symposium on Software Reuse , Seattle, Washington, April 1995.

  • ``Reusing Analogous Components'' (Betty H.C. Cheng and Jun-Jang Jeng), shortened version in IEEE Trans. on Knowledge and Data Engineering, Vol 9., No. 2, March/April 1997, pp. 341--349. Extend version is Michigan State University Technical Report, MSU-CPS-94-28 (Revised June 1995).

  • ``A Formal Approach to Reusing More General Components'' (Jun-Jang Jeng and Betty H.C. Cheng), IEEE Proc. of 9th Knowledge-Based Software Engineering Conference, Monterey, California, pp. 90-97, September 1994.

  • ``Applying Formal Methods to Software Reuse'', Jun-Jang Jeng, PhD Thesis, December 1993.

  • ``Using Analogy to Determine Program Modifications Based on Specification Changes'' (Jun-Jang Jeng and Betty H.C. Cheng), Proc. of IEEE Int'l Conf. on Tools with Artificial Intelligence, pp. 113--119, November 1993.

  • ``Using Formal Methods to Construct a Software Component Library,'' (Jun-Jang Jeng and Betty H.C. Cheng), Lecture Notes in Computer Science, Vol. 717, Springer-Verlag, pp. 397--417, %in Proc. of Fourth European Software Engineering Conference, September 1993.

  • ``Formal Methods Applied to Reuse'' (Jun-Jang Jeng and Betty H.C. Cheng), Proc. of the Fifth Annual Workshop on Software Reuse, October 1992.

  • ``Using Automated Reasoning Techniques to Determine Software Reuse'' (Jun-jang Jeng and Betty H.C. Cheng), International Journal of Software Engineering and Knowledge Engineering, Vol. 2, No. 4, pp. 523--546, December 1992.

  • Reverse Engineering

  • ``A Specification Matching Based approach to Reverse Engineering'', (to appear) in Proc. of IEEE International Conference on Software Engineering (ICSE99), Los Angelos, California, May 1999.
  • ``PackRat: A Software Re-Engineering Case Study'' (with G.C. Gannod, Gora Sudindranath, and Mark Fagnani) in Proc. of IEEE Working Conference on Reverse Engineering, October 1998.
  • ``An Automated Approach for Supporting Software Reuse via Reverse Engineering'' (with G.C. Gannod and Y. Chen) in Proc. of IEEE International Automated Software Engineering Conference, October 1998 (extended version)

  • ``A Formal Automated Approach for Reverse Engineering Programs with Pointers (with Gerald C.~Gannod), in Proc. of IEEE Automated Software Engineering, November 1997.

  • ``A Formal Automated Approach for Reverse Engineering Programs with Pointers (with Gerald C.~Gannod), in Proc. of IEEE Automated Software Engineering, November 1997.

  • "Using Informal and Formal Methods for the Reverse Engineering of C Programs", (Gerald C. Gannod and Betty Cheng), Proceedings of the 1996 IEEE International Conference on Software Maintenance,IEEE, Nov. 1996.

  • "Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering",(Gerald C. Gannod and Betty Cheng), Journal of Automated Software Engineering, Vol. 3, No. 1/2, Kluwer Academic Publishers, 1996.

  • "Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering",(Gerald C. Gannod and Betty Cheng), Proceedings of the 2nd Working Conference on Reverse Engineering, IEEE, July 1995.

  • ``Applying Formal Methods and Object-Oriented Analysis to the NASA Space Shuttle'' (Betty H.C. Cheng and Brent Auernheimer), Michigan State University Technical Report, MSU-CPS-94-9 (under revision for Software Practice & Experience), May 1995.

  • "The Application of Formal Methods to the Reverse Engineering of Imperative Program Code", M.S. Thesis. (Gerald C. Gannod), Also Available as Michigan State University Technical Report, MSU-CPS-94-27, April 1994.

  • "Facilitating the Maintenance of Safety-Critical Systems Using Formal Methods" , (Gerald C. Gannod and Betty Cheng), The International Journal of Software Engineering and Knowledge Engineering, Vol. 4 No. 2, World Scientific Publishing Company.

  • ``Applying Formal Methods and Object-Oriented Analysis to Existing Flight Systems,'' (Betty H.C. Cheng and Brent Auernheimer), Proc. of 18th Annual Software Engineering Workshop, pp. 274--282, Greenbelt, Maryland, December 1993.
  • "A Two-Phase Approach to Reverse Engineering using Formal Methods", (Gerald C. Gannod and Betty Cheng), Lecture Notes in Computer Science: Proceedings of the Conference on Formal Methods in Programming and Their Applications, Vol. 735, Springer-Verlag.
  • "Abstraction of Formal Specifications from Program Code", (Betty Cheng and Gerald C. Gannod), Proceedings of the 3rd International Conference on Tools in Artificial Intelligence, Nov. 1991.

    • Multimedia and Embedded Systems Projects

  • ``Moving Industry-Guided Multimedia into the Classroom'' (with P.K. McKinley and J. J. Weng), Proc. of the 30th ACM SIGCSE Technical Symposium on Computer Science Education, New Orleans, Louisiana, pp. 160--164, March 1999.

  • ``A Multi-Pronged Approach to Bringing Embedded Systems into Undergradate Education'' (with D.~T.~Rover and M.~Mutka) in Proc. of ASEE, June 1998.

  • "The Object -Oriented Development of Multimedia Information Systems", Gerald C. Gannod and Betty H.C. Cheng, in Multimedia Information Storage and Management, S. M. Chung ed., Kluwer Academic Publishers, 1996.

  • ``A Regional Information System for Environmental Data Analysis'' (with R.H. Bourdeau and B.C. Pijanowski), in Journal of Photogrammetric Engineering & Remote Sensing. Vol.~62, No.~7, July 1996, pp. 855--861.

  • ``A Distributed, Multimedia Environmental Information System'' (with Joseph L. Sharnowski, Gerald C. Gannod, and Betty H.C. Cheng), Proceedings of the 1995 IEEE International Conference on Multimedia Computing and Systems, Washington, D.C., pp. 142-149, May 1995.

  • ``The Object-Oriented Development of a Distributed Multimedia Environmental Information System'' (with R.H.~Bourdeau and G.C.~Gannod), Proc. of IEEE 6th International Conference on Software Engineering and Knowledge Engineering, pp. 70--77, Jurmala, Latvia, June 1994.

  • ``A Decision Support System for Regional Environmental Analysis'' (with R.H. Bourdeau and B.C. Pijanowski), Proc. of 25th International Symposium on Remote Sensing and Global Environment Change: Tools for Sustainable Development, Vol.~II, pp. 223-233, April 1993.

  • ``ENFORMS: A Distributed, Multimedia Environmental Information System'' (with Joseph L. Sharnowski, Gerald C. Gannod, and Betty H.C. Cheng), Submitted to IEEE Multimedia, Technical Report, Michigan State University, Department of Computer Science, CPS-94-57, November 1994 (Updated May 1995).

    • Project Reports

  • Design Document for 1993 Knowledge Transfer Prototype Regional Information System for US/Mexico Border" (ENFORMS) (Also available as Michigan State University, Department of Computer Science Technical Report, MSU-CPS-94-37, July 1994).
  • A Requirements Analysis Report for a Regional Decision Support System EPA Cooperative Agreement: Task 4.6 (Also available as Michigan State University, Department of Computer Science Technical Report, MSU-CPS-94-70, November 1994).
  • Design Document for ENFORMS II: Decision Support System for Great Lakes Regional Envornmental Information System (Also available as Michigan State University, Department of Computer Science Technical Report, MSU-CPS-95-24, May 1995).