A logical approach to discrete math
A logical approach to discrete math
Our curriculum has become math-phobic!
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Structure and interpretation of classical mechanics
Structure and interpretation of classical mechanics
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs
Mastering SIMULINK 4
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Computer
Predicate Logic for Software Engineering
IEEE Transactions on Software Engineering
Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computation Engineering: : Formal Specification and Verification Methods
Computation Engineering: : Formal Specification and Verification Methods
| Hi-index | 0.01 |
Universities offering Computing Science curricula should do so at the university level. Taking pragmatic shortcuts causes stagnation in professional practice. The essential element is the pervasive presence throughout the curriculum of mathematical modelling, which is the role of Formal Methods in its original sense. Mathematical fundamentals and concepts are crucial, software tools are auxiliary and even misleading without the former. Recommendations are given for curriculum structure, specific key courses and attitudes to instil in students and educators. Comparison with other approaches is made. A conclusion is that CS curricula should break outside the limitations caused by conservative policy makers but also self-imposed ones.