Teaching Formal Methods in a Third World Country: What, Why and How

We have been teaching formal methods for eight years at two major Argentinean universities. It is hard to find examples of the application of formal methods outside the most advanced industrial sectors. Then, why teach formal methods in a country that hardly produce software for advanced industries? Why formal methods in a country which buy technology instead of creating it? We were one of the first in teaching formal methods in Latin America, likely the first in teaching TLA and CSP. Our former students are now pursuing PhD’s in several European countries and Argentina. Slowly but steadily our graduates are infiltrating the local industry.

Content

Author and article information

Contributors

Maximiliano Cristiá

Conference

Publication date: December 2006

Publication date (Print): December 2006

Pages: 1-6

Affiliations

[0001]U. N. de Rosario - U. N. de Córdoba

Flowgate Security Consulting

Article

DOI: 10.14236/ewic/TFM2006.10

SO-VID: 800f5b32-1476-4a94-96dd-00d30a4df1b9

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Teaching Formal Methods: Practice and Experience

Conference acronym: TFM

Conference number:

Conference location: BCS London Office, UK

Conference date: 15 December 2006

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Teaching Formal Methods: Practice and Experience

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.10

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Teaching Formal Methods in a Third World Country: What, Why and How

Abstract