Computing curricula 1991: Report of the ACM/IEEE-CS Joint Curriculum Task Force
Computing curricula 1991: Report of the ACM/IEEE-CS Joint Curriculum Task Force
Experience with Formal Methods in Critical Systems
IEEE Software
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Has our curriculum become math-phobic? (an American perspective)
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Applications of Formal Methods
Applications of Formal Methods
Trust in Cyberspace
Guest Editor's Introduction: Formal Methods in Software Engineering
IEEE Transactions on Software Engineering
Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Mental Models of Z: I - Sets and Logics
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Formal Logic as a Learning Facilitation Tool
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Transformation techniques can make students excited about formal methods
Information and Software Technology
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation
ITiCSE '09 Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education
Hi-index | 0.00 |
This report describes a growth path for the area referred to as formal methods within the computing education community. We define the term formal methods and situate it within our field by highlighting its role in Computing Curricula 1991, Computing Curricula 2001, and the SoftWare Engineering Body Of Knowledge (SWEBOK). The working group proposes an enhancement to an existing web resource, which is a rich collection of materials and links related to formal methods. The new resource is designed to provide a bridge between the general computing education community and the formal methods community. The goal is to allow the latter to provide useful support for the former for the ultimate benefit of all of our students. Eventually, the working group aspires to see the concepts of formal methods integrated seamlessly into the computing curriculum so that it is not necessary to separate them in our discussions.