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
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
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
Striving for mathematical thinking
Working group reports from ITiCSE on Innovation and technology in computer science education
Striving for mathematical thinking
ACM SIGCSE Bulletin
Another approach for resisting student resistance to formal methods
ACM SIGCSE Bulletin
Improving mathematics and programming education: the IMPEd initiative
Koli Calling '07 Proceedings of the Seventh Baltic Sea Conference on Computing Education Research - Volume 88
| 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.