Date: Wed, 15 Jan 1997 00:35:12 GMT
Server: NCSA/1.5.2
Last-modified: Wed, 22 Jun 1994 16:48:33 GMT
Content-type: text/html
Content-length: 1949
Software Engineering
Software Engineering
- Design Tools & Environments:
Campbell,
Gallopoulos,
Harandi,
Johnson,
Kaplan,
Padua
- Program Verification:
Campbell,
Dershowitz,
Kamin,
Kaplan,
Reddy
- Program Transformation:
Agha,
Campbell,
Dershowitz,
Kaplan,
Padua,
Reddy
- Specifications & Prototyping:
Agha,
Campbell,
Harandi,
Kamin,
Kaplan,
Padua,
Reddy