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
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.
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