Conference
Teaching the unifying mathematics of software design
Abstract
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 …
Authors
Sekerinski E
Pagination
pp. 109-115
Publisher
Association for Computing Machinery (ACM)
Publication Date
5 2009
DOI
10.1145/1536274.1536307
Name of conference
Proceedings of the 14th Western Canadian Conference on Computing Education