Betty H.C. Cheng: Research Projects and Associated Publications

  • Current Projects
  • Meridian: An Integrated Toolkit for Developing Interactive Distributed Applications
  • Requirements Modeling
  • Integrating Informal and Formal Techniques Presentation (2/20/01) (PDF file)
  • Software Reuse
  • Reverse Engineering and Re-engineering
  • Embedded Systems Computing
  • Recent Projects
  • Specification and Program Synthesis
  • Program Visualization
  • Multimedia
  • Parallel and Distributed Computing
  • Other Formal Methods Projects

    Oxford's Formal Methods Page