Abstract.
The 21st Century Engineering Consortium Workshop was devoted to educational issues in the area of formal methods. This article summarizes opinions and perspectives which emerged at the workshop and sketches a context for their assessment. There was broad agreement that advances in education are crucial to expanding formal methods practice. However, specific recommendations vary among interest groups and individuals. In this multi-faceted area, it is important to establish a framework for debating issues and presenting them to the broader community. Nowhere is this need greater than in discussions of education.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Johnson, S. A workshop on formal methods education: held at Melbourne Florida in March 1998[5] . STTT 2, 203–207 (1999). https://doi.org/10.1007/s100090050029
Issue Date:
DOI: https://doi.org/10.1007/s100090050029