Go to main content

Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.).

Formal Methods Teaching Workshop and Tutorial (4th : 2021 : Online); Ferreira, João F., editor.; Mendes, Alexandra, editor.; Menghi, Claudio, editor.
2021
QA76.9.F67 F67 2021
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.).
Meeting Name
Formal Methods Teaching Workshop and Tutorial (4th : 2021 : Online)
ISBN
9783030915506 (electronic bk.)
3030915506 (electronic bk.)
9783030915490
3030915492
DOI
https://doi.org/10.1007/978-3-030-91550-6
Published
Cham : Springer, [2021]
Copyright
©2021
Language
English
Description
1 online resource : illustrations (some color).
Item Number
10.1007/978-3-030-91550-6 doi
Call Number
QA76.9.F67 F67 2021
Dewey Decimal Classification
004.1/51
Summary
This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
Note
International conference proceedings.
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file
PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed December 2, 2021).
Added Author
Ferreira, João F., editor.
Mendes, Alexandra, editor.
Menghi, Claudio, editor.
Series
Lecture notes in computer science ; 13122.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Introducing Formal Methods to First-Year Students in Three Intensive Weeks
Online Teaching of Verification of C Programs in Applied Computer Science
A Proposal for a Framework to Accompany Formal Methods
Learning Tools
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses
Teaching Formal Methods to Software Engineers through Collaborative Learning
Lessons of Formal Program Design in Dafny
Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience
Using Isabelle in Two Courses on Logic and Automated Reasoning
Introducing Formal Methods to Students who Hate Maths and Struggle with Programming.

Browse Subjects

Show more subjects...

Statistics

from
to
Export