Date: Wed, 20 Nov 1996 19:17:15 GMT Server: Apache/1.1.0 Content-type: text/html Last-modified: Tue, 18 Jun 1996 17:54:52 GMT Software Engineering Research Group - Department of Computer Science

Software Engineering Research Group

Department of Computer Science

Michigan State University

The Software Engineering Research Group in the Department of Computer Science at Michigan State University performs research in the area of formal methods for systems development. There are two major components making up SERG. First, there are a group of projects whose objective is to develop techniques and tools that support the use of formal methods in the different phases of software development. Second, there are a group of projects that involve the use of formal approaches to multimedia, embedded systems, hardware, parallel processing, networking, distributed systems, and visualization.

  • Research Projects and Relevant Papers
  • People
  • Tools (under construction)
  • SERG ftp site
  • Local Information

  • Information just for SERG people.
  • SERG Meeting Information.
  • Information for Conferences and Workshops:

    Some other interesting places to visit are:

    For further information, please contact:

    Dr. Betty H.C. Cheng
    Computer Science Department
    Michigan State University
    A714 Wells Hall
    East Lansing, Michigan 48824
    FAX: (517) 432-1061
    chengb@cps.msu.edu