“Formal methods” technology transfer will fail
Journal of Systems and Software - Special issue on formal methods technology transfer
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Our curriculum has become math-phobic!
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The inverted curriculum in practice
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Chapter I: Notes on structured programming
Structured programming
Perceptions of foundational knowledge by computer science students
Proceedings of the Seventeenth Western Canadian Conference on Computing Education
Hi-index | 0.00 |
We report on our experience on teaching the mathematics of reliable software design as a unifying force for various elements of software design, rather than as an additional element of software design. This is in line with the use of mathematics in traditional engineering disciplines, but in contrast to teaching a "formal method" optionally after an "informal" exposition to software design or teaching a formal method only with specific applications in mind.