Internet Archive Scholar
Filters
























36,057 Hits in 4.3 sec

Teaching Formal Methods and Discrete Mathematics

Mathieu Jaume, Théo Laurent
<span title="2014-04-26">2014</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (237.3 kB)
https://web.archive.org/web/20200909042358/https://arxiv.org/pdf/1404.6604v1.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1404.6604v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

<span title="2014-04-26">2014</span> <span class="release-stage" >pre-print</span> <span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1404.6604v1">arXiv:1404.6604v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ueqt5qatcrekpgbpjhopvrdw5m">fatcat:ueqt5qatcrekpgbpjhopvrdw5m</a> </span>
In this paper, we claim that teaching formal methods could be done at the undergraduate level by mixing formal methods and discrete mathematics courses and we illustrate such an approach with a small develop  ...  We also believe that this could considerably benefit the learning of discrete mathematics.  ...  Acknowledgments The authors would like to thank Renaud Rioboo for his help and for enlightening discussions about how to program with FoCaLiZe and about teaching discrete mathematics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.149.4">doi:10.4204/eptcs.149.4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/skw7camyfjh3fhmpmzjqm2sbay">fatcat:skw7camyfjh3fhmpmzjqm2sbay</a> </span>
<span class="ui label basic orange small" title="Directory of Open Access Journals">DOAJ</span> <span class="ui label basic blue small">Multiple Versions</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200909042358/https://arxiv.org/pdf/1404.6604v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/a6/aea69de64ced228a7677cebc1a7812ee91627176.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.149.4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
Citation

Mathieu Jaume, Théo Laurent. "Teaching Formal Methods and Discrete Mathematics." Electronic Proceedings in Theoretical Computer Science (2014) 30-43

Teaching Logic to Information Systems Students: Challenges and Opportunities [article]

Anna Zamansky, Eitan Farchi
<span title="2015-07-14">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (428.0 kB)
https://web.archive.org/web/20200911071521/https://arxiv.org/pdf/1507.03687v1.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1507.03687v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

We present our vision for such adaptation and report on concrete steps towards its implementation in the design and teaching of a course for graduate IS students at the University of Haifa.  ...  We discuss the course plan and present some data on the students' feedback on the course.  ...  She states discrete mathematics and mathematical logic as crucial prerequisites. The above proposals on what to teach are extremely relevant for IS practitioners.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.03687v1">arXiv:1507.03687v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yywus3vqvrgjrpzcslcqnpnx7e">fatcat:yywus3vqvrgjrpzcslcqnpnx7e</a> </span>
<span class="ui label basic orange small" title="Open Access">Open Access</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200911071521/https://arxiv.org/pdf/1507.03687v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/84/e3846fe6c9b5a73d023bd5b1b10864cd5bbbe636.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.03687v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
Citation

Anna Zamansky, Eitan Farchi. "Teaching Logic to Information Systems Students: Challenges and Opportunities." arXiv (2015)

Support for teaching formal methods

Vicki L. Almstrum, C. Neville Dean, Don Goelman, Thomas B. Hilburn, Jan Smith
<span title="2001-06-01">2001</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzoq6upx4ndyrd7qaolzbaeuca" style="color: black;">ACM SIGCSE Bulletin</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (91.2 kB)
https://web.archive.org/web/20170808192003/http://www.cs.utexas.edu/users/csed/FM/work/final-v5-6.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www.cs.utexas.edu/users/csed/FM/work/final-v5-6.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

The new resource is designed to provide a bridge between the general computing education community and the formal methods community.  ...  We define the term formal methods and situate it within our field by highlighting its role in Computing Curricula 1991, Computing Curricula 2001, and the SoftWare Engineering Body Of Knowledge (SWEBOK)  ...  and presentation significantly: Kathi Fisler, Randy Johnson, Susan Gerhart, Ebba Thora Hvannberg, Peter Gorm Larsen, and Dan Craigen.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/571922.571962">doi:10.1145/571922.571962</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mniuibmvarbyvpsah2tqogebyi">fatcat:mniuibmvarbyvpsah2tqogebyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808192003/http://www.cs.utexas.edu/users/csed/FM/work/final-v5-6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/fc/57fc677d9c6b1461d83fb6c2274e4bfed4445fbe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/571922.571962"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
Citation

Vicki L. Almstrum, C. Neville Dean, Don Goelman, Thomas B. Hilburn, Jan Smith. "Support for teaching formal methods." ACM SIGCSE Bulletin 33.2 (2001) 71

Advertising Formal Methods and Organizing Their Teaching: Yes, but .. [chapter]

Dino Mandrioli
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (205.1 kB)
https://web.archive.org/web/20160607133838/http://home.deib.polimi.it:80/mandriol/SitoItaliano/TeaFMs-Ghent.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit <a rel="external noopener" href="http://home.deib.polimi.it:80/mandriol/SitoItaliano/TeaFMs-Ghent.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

raised and hints are suggested for deeper discussion.  ...  The style is deliberately informal and colloquial, occasionally even provocative: for every examined point some obvious agreement is given for granted but a few, more controversial, "counterpoints" are  ...  and Software Engineering (CSE) are rooted -mainly-in discrete mathematics whereas traditional engineering (civil, industrial, electrical, … engineering) mainly exploits continuous mathematics" • "Formal  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30472-2_14">doi:10.1007/978-3-540-30472-2_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cbd2bzchnvb6fbapk6casqc7qa">fatcat:cbd2bzchnvb6fbapk6casqc7qa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160607133838/http://home.deib.polimi.it:80/mandriol/SitoItaliano/TeaFMs-Ghent.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/25/a2/25a26bbadf0eca672e744ca22bbbb88c23966e39.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30472-2_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
Citation

Dino Mandrioli. "Advertising Formal Methods and Organizing Their Teaching: Yes, but ..." Lecture Notes in Computer Science (2004) 214-224

Methodological Teaching System of Mathematical Foundations of Formal Languages as a Means of Fundamentalization of Education

Natalya Bushmeleva, Tatiana Baklashova
<span title="2017-08-15">2017</span> <i title="Modestum Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/prkjvtz7njdjxfjmhh3ed7lwlq" style="color: black;">Eurasia Journal of Mathematics, Science and Technology Education</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (383.1 kB)
https://web.archive.org/web/20180720114400/http://www.ejmste.com/pdf-76417-12981?filename=Methodological

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="http://www.ejmste.com/pdf-76417-12981?filename=Methodological">the original URL</a>. The file type is <code>application/pdf</code>.

of teaching formal languages, and to improve the content of training to specific formal languages.  ...  programming to freshmen. 2) «Mathematical foundations of programming» is a methodological course that reveals the essence of the mathematical method.  ...  modules for the academic disciplines «Discrete Mathematics», «Mathematical Logic», «Theory of Algorithms», «Theoretical Foundations of Informatics», and «Formal Languages and Grammars».  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12973/eurasia.2017.00989a">doi:10.12973/eurasia.2017.00989a</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dovyaaaqfresbkakjutzw7mrvq">fatcat:dovyaaaqfresbkakjutzw7mrvq</a> </span>
<span class="ui label basic orange small" title="Szcezepanski OA Journal List">Szczepanski</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720114400/http://www.ejmste.com/pdf-76417-12981?filename=Methodological" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/a2/d8a22759cf378c7d7f29dc5a598812af5fa7c31f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12973/eurasia.2017.00989a"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
Citation

Natalya Bushmeleva, Tatiana Baklashova. "Methodological Teaching System of Mathematical Foundations of Formal Languages as a Means of Fundamentalization of Education." Eurasia Journal of Mathematics, Science and Technology Education 13.8 (2017) 5141-5155

LIFELONG LEARNINGMAKING DISCRETE MATH RELEVANT FOR INFORMATION SYSTEMS PROFESSIONALS

<span title="">2005</span> <i title="International Association for Computer Information"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jyph2lzj2zfjrikbduqgbnvgse" style="color: black;">Issues in Information Systems</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (75.4 kB)
https://web.archive.org/web/20201205184030/https://iacis.org/iis/2005/Wood_Harvey_Kohun.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://iacis.org/iis/2005/Wood_Harvey_Kohun.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

As information technologies have grown more complex and information systems more integrated, discrete mathematics provides a formal foundation in understanding the methods in modeling, analysis, specification  ...  Discrete mathematics offers a formal foundation for concepts and operations covered in core courses of an IS curriculum.  ...  Appropriate discrete mathematics instruction enhances life long information systems education by providing a sound formal foundation for and insights into an increasingly complex information technology  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.48009/1_iis_2005_386-390">doi:10.48009/1_iis_2005_386-390</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4lv7z74wgbh53c56rdcno7m53y">fatcat:4lv7z74wgbh53c56rdcno7m53y</a> </span>
<span class="ui label basic orange small" title="Directory of Open Access Journals">DOAJ</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201205184030/https://iacis.org/iis/2005/Wood_Harvey_Kohun.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5f/85/5f858389c26897d84ee18c6472c1c175671733ad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.48009/1_iis_2005_386-390"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
Citation

"LIFELONG LEARNINGMAKING DISCRETE MATH RELEVANT FOR INFORMATION SYSTEMS PROFESSIONALS." Issues in Information Systems (2005)

Teaching as a logic tool (abstract)

David Gries, Fred B. Schneider, Joan Krone, Stan Warford, J. Peter Weston
<span title="1995-03-15">1995</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzoq6upx4ndyrd7qaolzbaeuca" style="color: black;">ACM SIGCSE Bulletin</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (138.0 kB)
https://web.archive.org/web/20180314161236/http://www.cs.cornell.edu/fbs/publications/TeachLogic.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="http://www.cs.cornell.edu/fbs/publications/TeachLogic.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

The panelists will discuss their experiences teaching logic and discrete mathematics using a new, rather revolutionary approach.  ...  They will describe advantages and disadvantages of the approach, what students think of it, and so forth.  ...  on Teaching logic as a tool Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -e.g.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/199691.199892">doi:10.1145/199691.199892</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f4tl2c7qtber3k4df67gqqqy5m">fatcat:f4tl2c7qtber3k4df67gqqqy5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180314161236/http://www.cs.cornell.edu/fbs/publications/TeachLogic.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/b9/0db93e30d4c753ef0e1babedb870e93c3b66eef9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/199691.199892"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
Citation

David Gries, Fred B. Schneider, Joan Krone, Stan Warford, J. Peter Weston. "Teaching as a logic tool (abstract)." ACM SIGCSE Bulletin 27.1 (1995) 384-385

On Teaching Discrete Mathematics to Freshman Computer Science Students

<span title="2019-12-30">2019</span> <i title="North American Business Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5je3h4eabzbutfcswawlvbwt4a" style="color: black;">Journal of Higher Education Theory and Practice</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (425.1 kB)
https://web.archive.org/web/20200507061715/https://articlegateway.com/index.php/JHETP/article/download/2670/2540

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://articlegateway.com/index.php/JHETP/article/download/2670/2540">the original URL</a>. The file type is <code>application/pdf</code>.

Discrete Mathematics is an inevitable part of any undergraduate computer science degree programme.  ...  In this paper, we describe and motivate the innovations which we introduced, and provide a detailed analysis of how and why engagement and attainment levels varied over two decades as a direct result of  ...  The "informal" way in which we approach the teaching of formal methods has many parallels with (In)Formal Methods: The Lost Art (Morgan, 2016) .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33423/jhetp.v19i8.2670">doi:10.33423/jhetp.v19i8.2670</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6ddc5a52qzewfeyc6wpsq3drva">fatcat:6ddc5a52qzewfeyc6wpsq3drva</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200507061715/https://articlegateway.com/index.php/JHETP/article/download/2670/2540" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/92/769286787f035acb08d57a6e6bdd63d5790d78e1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33423/jhetp.v19i8.2670"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
Citation

"On Teaching Discrete Mathematics to Freshman Computer Science Students." Journal of Higher Education Theory and Practice 19.8 (2019)

Teaching of Formal Methods for Software Engineering

Maria Spichkova, Anna Zamansky
<span title="">2016</span> <i title="SCITEPRESS - Science and and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uhqpttjg5jejjbjdca4rxiq2jm" style="color: black;">Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (158.0 kB)
https://web.archive.org/web/20190222154932/http://pdfs.semanticscholar.org/3a1a/5d49fdedc4187653aee17ccc688a61ae1b13.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="http://pdfs.semanticscholar.org/3a1a/5d49fdedc4187653aee17ccc688a61ae1b13.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

The use of Formal Methods (FMs) offers rigour and precision, while reducing ambiguity and inconsistency.  ...  To solve the understandability problem, from one side, the readability of the method have to be increased, but from another side, an appropriate teaching and learning approach have to be introduced.  ...  TEACHING FORMAL METHODS: CHALLENGES The discourse on what to teach in Formal Methods and how to teach it has been going on for decades.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005928503700376">doi:10.5220/0005928503700376</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/enase/SpichkovaZ16a.html">dblp:conf/enase/SpichkovaZ16a</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bslij6ymwjbv3jszyyj6caefki">fatcat:bslij6ymwjbv3jszyyj6caefki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222154932/http://pdfs.semanticscholar.org/3a1a/5d49fdedc4187653aee17ccc688a61ae1b13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3a/1a/3a1a5d49fdedc4187653aee17ccc688a61ae1b13.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005928503700376"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
Citation

Maria Spichkova, Anna Zamansky. "Teaching of Formal Methods for Software Engineering." Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (2016) 370-376

The design of teaching structure based on competency training of computational thinking

Xihua Long, Jiehui Zhang, Zhanli Li
<span title="">2012</span> <i title="IEEE"> 2012 First National Conference for Engineering Sciences (FNCES 2012) </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.1 MB)
https://web.archive.org/web/20180723091611/https://download.atlantis-press.com/article/7944/pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="https://download.atlantis-press.com/article/7944/pdf">the original URL</a>. The file type is <code>application/pdf</code>.

It poses a new challenge to computing science and college computer education, including teaching contents, curriculum system, and teaching methods.  ...  compound teaching modules and a categorized and multi-layer curriculum system.  ...  Knowledge points in discrete mathematics and features of computational thinking and teaching methods Knowledge Points Concept and Method of C.T.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nces.2012.6543829">doi:10.1109/nces.2012.6543829</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jlxfa45w35fkpn3qr4x7aasr4m">fatcat:jlxfa45w35fkpn3qr4x7aasr4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723091611/https://download.atlantis-press.com/article/7944/pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/ee/5eeeec9e834e8a3959b5d760bac8e410ce1c2ba3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nces.2012.6543829"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
Citation

Xihua Long, Jiehui Zhang, Zhanli Li. "The design of teaching structure based on competency training of computational thinking." 2012 First National Conference for Engineering Sciences (FNCES 2012) (2012)

Supercongruences and complex multiplication

Jonas Kibelbek, Ling Long, Kevin Moss, Benjamin Sheller, Hao Yuan
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bevk4sowfzcstelrgkfq275p4e" style="color: black;">Journal of Number Theory</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (123.9 kB)
https://web.archive.org/web/20170414075030/http://www.public.iastate.edu:80/~kmoss/assets/CV/siteCV.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://www.public.iastate.edu:80/~kmoss/assets/CV/siteCV.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

Research Experience for Undergraduates (REU) in Number Theory Fall 2011 Iowa State University, Ling Long • Paper [1] published RELEVANT COURSEWORK Formal Methods in Software Engineering, Design  ...  & Analysis of Algorithms, Algo- rithms for Large Data Sets, Discrete Optimization, Cryptography, Theory of Proba- bility & Statistics Teaching Assistant Fall 2012 -Present Iowa State University •  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jnt.2015.12.013">doi:10.1016/j.jnt.2015.12.013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/de3aklvvwzc7pa6ybh77u2y2hm">fatcat:de3aklvvwzc7pa6ybh77u2y2hm</a> </span>
<span class="ui label basic orange small" title="Szcezepanski OA Journal List">Szczepanski</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170414075030/http://www.public.iastate.edu:80/~kmoss/assets/CV/siteCV.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/c4/92c4e8a35f8ee7171b3fc4f8cde4204ec7284893.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jnt.2015.12.013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
Citation

Jonas Kibelbek, Ling Long, Kevin Moss, Benjamin Sheller, Hao Yuan. "Supercongruences and complex multiplication." Journal of Number Theory (2016) 166-178

Historical sources as a teaching tool

Inna Pivkina, Desh Ranjan, Jerry Lodder
<span title="2009-03-04">2009</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzoq6upx4ndyrd7qaolzbaeuca" style="color: black;">ACM SIGCSE Bulletin</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (24.4 kB)
https://web.archive.org/web/20131205193615/http://www.cs.nmsu.edu/historical-projects/Papers/spec08-pivkina.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit <a rel="external noopener" href="http://www.cs.nmsu.edu/historical-projects/Papers/spec08-pivkina.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

The projects are intended for courses in discrete mathematics, algorithm design, automata, graph theory, and logic.  ...  The session will introduce participants to curricular modules (projects) based entirely on primary historical source material, developed by an interdisciplinary team of seven computer science and mathematical  ...  Computer science students often lack mathematical background and find courses such as discrete mathematics and algorithms very hard.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1539024.1509009">doi:10.1145/1539024.1509009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c2rustatx5akdho4hxph4z3hj4">fatcat:c2rustatx5akdho4hxph4z3hj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131205193615/http://www.cs.nmsu.edu/historical-projects/Papers/spec08-pivkina.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/b4/a4b47950776b460b80b4bf7630f91c4cb8a4d1a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1539024.1509009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
Citation

Inna Pivkina, Desh Ranjan, Jerry Lodder. "Historical sources as a teaching tool." ACM SIGCSE Bulletin 41.1 (2009) 401

Historical sources as a teaching tool

Inna Pivkina, Desh Ranjan, Jerry Lodder
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/42mrbbmjbfdtbbepad2fzixmum" style="color: black;">Proceedings of the 40th ACM technical symposium on Computer science education - SIGCSE &#39;09</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (24.4 kB)
https://web.archive.org/web/20131205193615/http://www.cs.nmsu.edu/historical-projects/Papers/spec08-pivkina.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit <a rel="external noopener" href="http://www.cs.nmsu.edu/historical-projects/Papers/spec08-pivkina.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

The projects are intended for courses in discrete mathematics, algorithm design, automata, graph theory, and logic.  ...  The session will introduce participants to curricular modules (projects) based entirely on primary historical source material, developed by an interdisciplinary team of seven computer science and mathematical  ...  Computer science students often lack mathematical background and find courses such as discrete mathematics and algorithms very hard.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1508865.1509009">doi:10.1145/1508865.1509009</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigcse/PivkinaRL09.html">dblp:conf/sigcse/PivkinaRL09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/swvuzskwqfb2xakykkg2nlmvqm">fatcat:swvuzskwqfb2xakykkg2nlmvqm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131205193615/http://www.cs.nmsu.edu/historical-projects/Papers/spec08-pivkina.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/b4/a4b47950776b460b80b4bf7630f91c4cb8a4d1a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1508865.1509009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
Citation

Inna Pivkina, Desh Ranjan, Jerry Lodder. "Historical sources as a teaching tool." Proceedings of the 40th ACM technical symposium on Computer science education - SIGCSE '09 (2009) 401-402

Learning Thresholds in Formal Concept Analysis [chapter]

Uta Priss
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (153.8 kB)
https://web.archive.org/web/20190221005549/http://pdfs.semanticscholar.org/2ac6/84f4ca684d7c485621fed5ef508d85cec3ed.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="http://pdfs.semanticscholar.org/2ac6/84f4ca684d7c485621fed5ef508d85cec3ed.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

This paper explores learning thresholds occurring in FCA teaching material drawing on examples from a discrete structures class taught to first year computer science students.  ...  This paper views Formal Concept Analysis (FCA) from an educational perspective.  ...  The class was taught using a just-in-time teaching method 2 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-59271-8_13">doi:10.1007/978-3-319-59271-8_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rmjq4njy4bbdpegbroaixbmoli">fatcat:rmjq4njy4bbdpegbroaixbmoli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190221005549/http://pdfs.semanticscholar.org/2ac6/84f4ca684d7c485621fed5ef508d85cec3ed.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/c6/2ac684f4ca684d7c485621fed5ef508d85cec3ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-59271-8_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
Citation

Uta Priss. "Learning Thresholds in Formal Concept Analysis." Lecture Notes in Computer Science (2017) 198-210

Modeling software the alloy way

Michael J. Lutz
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zdy4b2nj65djhhrjtydihaphoq" style="color: black;">2013 IEEE Frontiers in Education Conference (FIE)</a> </i> &nbsp;

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (591.2 kB)
https://web.archive.org/web/20170818151008/https://www.computer.org/csdl/proceedings/fie/2013/9999/00/06684771.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://www.computer.org/csdl/proceedings/fie/2013/9999/00/06684771.pdf">the original URL</a>. The file type is <code>application/pdf</code>.

Until recently, those who taught mathematical modeling (or "formal methods") faced daunting challenges.  ...  Venturing beyond this requires understanding of proof theories and strategies well beyond that typical of other engineering disciplines.  ...  The workshop will introduce Alloy -both the language and support tool -to faculty interested in formal methods and mathematical modeling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fie.2013.6684771">doi:10.1109/fie.2013.6684771</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fie/Lutz13.html">dblp:conf/fie/Lutz13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j6go5rfburebdnvtemwsxpqsk4">fatcat:j6go5rfburebdnvtemwsxpqsk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818151008/https://www.computer.org/csdl/proceedings/fie/2013/9999/00/06684771.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/69/1c69381e6463799b0ca7f09e9bd8ce420bf20608.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fie.2013.6684771"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
Citation

Michael J. Lutz. "Modeling software the alloy way." 2013 IEEE Frontiers in Education Conference (FIE) (2013)

&laquo; Previous Showing results 1 &mdash; 15 out of 36,057 results