Teaching the Unifying Mathematics of Software Design. Sekerinski, E. In Brouwer, R., Cukierman, D., & Tsiknis, G., editors, Proceedings of the 14th Western Canadian Conference on Computing Education, of WCCCE '09, pages 109–115, Burnaby, British Columbia, Canada, May, 2009. ACM. Paper doi abstract bibtex 2 downloads 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.
@inproceedings{Sekerinski09UnifyingMathematicsSoftwareDesign,
address = {Burnaby, British Columbia, Canada},
series = {{WCCCE} '09},
title = {Teaching the {Unifying} {Mathematics} of {Software} {Design}},
url = {https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski09UnifyingMathematicsSoftwareDesignPreprint.pdf},
doi = {10.1145/1536274.1536307},
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 applications in mind.},
booktitle = {Proceedings of the 14th {Western} {Canadian} {Conference} on {Computing} {Education}},
publisher = {ACM},
author = {Sekerinski, Emil},
editor = {Brouwer, R. and Cukierman, D. and Tsiknis, G.},
month = may,
year = {2009},
pages = {109--115},
}
Downloads: 2
{"_id":"zpsSNjHMcbLpiZhSh","bibbaseid":"sekerinski-teachingtheunifyingmathematicsofsoftwaredesign-2009","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Burnaby, British Columbia, Canada","series":"WCCCE '09","title":"Teaching the Unifying Mathematics of Software Design","url":"https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski09UnifyingMathematicsSoftwareDesignPreprint.pdf","doi":"10.1145/1536274.1536307","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 applications in mind.","booktitle":"Proceedings of the 14th Western Canadian Conference on Computing Education","publisher":"ACM","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Brouwer"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Cukierman"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Tsiknis"],"firstnames":["G."],"suffixes":[]}],"month":"May","year":"2009","pages":"109–115","bibtex":"@inproceedings{Sekerinski09UnifyingMathematicsSoftwareDesign,\n\taddress = {Burnaby, British Columbia, Canada},\n\tseries = {{WCCCE} '09},\n\ttitle = {Teaching the {Unifying} {Mathematics} of {Software} {Design}},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski09UnifyingMathematicsSoftwareDesignPreprint.pdf},\n\tdoi = {10.1145/1536274.1536307},\n\tabstract = {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.},\n\tbooktitle = {Proceedings of the 14th {Western} {Canadian} {Conference} on {Computing} {Education}},\n\tpublisher = {ACM},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Brouwer, R. and Cukierman, D. and Tsiknis, G.},\n\tmonth = may,\n\tyear = {2009},\n\tpages = {109--115},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Brouwer, R.","Cukierman, D.","Tsiknis, G."],"key":"Sekerinski09UnifyingMathematicsSoftwareDesign","id":"Sekerinski09UnifyingMathematicsSoftwareDesign","bibbaseid":"sekerinski-teachingtheunifyingmathematicsofsoftwaredesign-2009","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski09UnifyingMathematicsSoftwareDesignPreprint.pdf"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","RfxodDQazHHccThPz","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["teaching","unifying","mathematics","software","design","sekerinski"],"title":"Teaching the Unifying Mathematics of Software Design","year":2009,"downloads":2}