Formal MethodsEducational Resources| Title | Report on the 21st Century Engineering Consortium Workshop |
| Author | Steven D. Johnson, W. P. Alexander, Ganesh Gopalakrishnan, Shiu-Kai Chin |
| Notes | The XXIEC workshop, sponsored by DARPA/ITO and Rome Lab and held in March 1998, was held to initiate discussion of educational issues related to formal methods and take steps toward establishing an academic/industrial/governmental interest group to advocate educational initiatives. This report is a consolidation of viewpoints expressed at the workshop. It includes general advice and a number of specific recommendations furthering educational initiatives. Responses are solicited and will be appended to the report. |
| Title | Experience Teaching Z with Tool and Web Support |
| Author | J.P.Bowen |
| Notes | published in ACM SIGSOFT Software Engineering Notes, 26(2):69-75, March 2001. |
| This site is currently maintained by Kathi Fisler Department of Computer Science, Worcester Polytechnic Institute Last updated on Saturday, 24-Jun-2006 21:47:30 EDT Acknowledgements |