Teaching the Mathematics of Software Design. Sekerinski, E. In Boute, R. T. & Oliveira, J. N., editors, Formal Methods in the Teaching Lab, Workshop at the FM 2006: Formal Methods Symposium, pages 53–58, August, 2006. University of Minho. Paper abstract bibtex 2 downloads This note summarizes the experience and philosophy of teaching two one-semester courses, Software Design 1, a second year course, and Software Design 2, a third year course, repeatedly in the period from 1999/2000 to 2005/06. These courses had a peak enrollment of 190 students. Many students perceive these two courses as the core courses for their career in software development. The same material was presented in a condensed form in a graduate course in 2005/06. The courses taught students the mathematics of software design, rather than a particular “formal method” tool or language.
@inproceedings{Sekerinski06TeachingSoftwareDesign,
title = {Teaching the {Mathematics} of {Software} {Design}},
url = {http://www4.di.uminho.pt/FME-SoE/FMEd06/},
abstract = {This note summarizes the experience and philosophy of teaching two one-semester courses, Software Design 1, a second year course, and Software Design 2, a third year course, repeatedly in the period from 1999/2000 to 2005/06. These courses had a peak enrollment of 190 students. Many students perceive these two courses as the core courses for their career in software development. The same material was presented in a condensed form in a graduate course in 2005/06. The courses taught students the mathematics of software design, rather than a particular “formal method” tool or language.},
booktitle = {Formal {Methods} in the {Teaching} {Lab}, {Workshop} at the {FM} 2006: {Formal} {Methods} {Symposium}},
publisher = {University of Minho},
author = {Sekerinski, Emil},
editor = {Boute, R. T. and Oliveira, J. N.},
month = aug,
year = {2006},
pages = {53--58},
}
Downloads: 2
{"_id":"jrZ57csnj7zCPsXGT","bibbaseid":"sekerinski-teachingthemathematicsofsoftwaredesign-2006","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Teaching the Mathematics of Software Design","url":"http://www4.di.uminho.pt/FME-SoE/FMEd06/","abstract":"This note summarizes the experience and philosophy of teaching two one-semester courses, Software Design 1, a second year course, and Software Design 2, a third year course, repeatedly in the period from 1999/2000 to 2005/06. These courses had a peak enrollment of 190 students. Many students perceive these two courses as the core courses for their career in software development. The same material was presented in a condensed form in a graduate course in 2005/06. The courses taught students the mathematics of software design, rather than a particular “formal method” tool or language.","booktitle":"Formal Methods in the Teaching Lab, Workshop at the FM 2006: Formal Methods Symposium","publisher":"University of Minho","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Boute"],"firstnames":["R.","T."],"suffixes":[]},{"propositions":[],"lastnames":["Oliveira"],"firstnames":["J.","N."],"suffixes":[]}],"month":"August","year":"2006","pages":"53–58","bibtex":"@inproceedings{Sekerinski06TeachingSoftwareDesign,\n\ttitle = {Teaching the {Mathematics} of {Software} {Design}},\n\turl = {http://www4.di.uminho.pt/FME-SoE/FMEd06/},\n\tabstract = {This note summarizes the experience and philosophy of teaching two one-semester courses, Software Design 1, a second year course, and Software Design 2, a third year course, repeatedly in the period from 1999/2000 to 2005/06. These courses had a peak enrollment of 190 students. Many students perceive these two courses as the core courses for their career in software development. The same material was presented in a condensed form in a graduate course in 2005/06. The courses taught students the mathematics of software design, rather than a particular “formal method” tool or language.},\n\tbooktitle = {Formal {Methods} in the {Teaching} {Lab}, {Workshop} at the {FM} 2006: {Formal} {Methods} {Symposium}},\n\tpublisher = {University of Minho},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Boute, R. T. and Oliveira, J. N.},\n\tmonth = aug,\n\tyear = {2006},\n\tpages = {53--58},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Boute, R. T.","Oliveira, J. N."],"key":"Sekerinski06TeachingSoftwareDesign","id":"Sekerinski06TeachingSoftwareDesign","bibbaseid":"sekerinski-teachingthemathematicsofsoftwaredesign-2006","role":"author","urls":{"Paper":"http://www4.di.uminho.pt/FME-SoE/FMEd06/"},"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","mathematics","software","design","sekerinski"],"title":"Teaching the Mathematics of Software Design","year":2006,"downloads":2}