Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II > Open and Interactive Learning Resources for Algorithmic Problem Solving
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II |
Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas
Springer International Publishing
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Open and Interactive Learning Resources for Algorithmic Problem Solving
Authors

João F. Ferreira; Alexandra Mendes

ARI Id

1665268852936_5644120

Access

Not Available Free

Pages

200-208

DOI

10.1007/978-3-030-54997-8_13

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-54997-8_13

Table of Contents of Book
Showing 1 to 20 of 44 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xviii
Front Matter
1-13
Flow Diagrams, Assertions, and Formal Methods
Mark Priestley
15-34
The School of Squiggol
Jeremy Gibbons
35-53
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads
Cliff B. Jones
54-72
Specification with Class: A Brief History of Object-Z
Graeme Smith; David J. Duke
73-86
Formal Specifications and Software Testing, a Fruitful Convergence
Marie-Claude Gaudel
87-94
From Manuscripts to Programming Languages: An Archivist Perspective
Alexandra Vidal; Ana Sandra Meneses; António Sousa
95-102
What Have Formal Methods Ever Done for Us? An Audience Discussion
Troy Kaighin Astarte
103-113
Front Matter
115-118
Combination of Boxes and Polyhedra Abstractions for Constraint Solving
Ghiles Ziat; Alexandre Maréchal; Marie Pelleau; Antoine Miné; Charlotte Truchet
119-135
An Abstract Domain for Objects in Dynamic Programming Languages
Vincenzo Arceri; Michele Pasqua; Isabella Mastroeni
136-151
Front Matter
153-156
A Survey of Learning Methods in Open Source Software
Aidarbek Suleimenov; Assiya Khuzyakhmetova; Antonio Cerone
157-166
A Calculus of Chaos in Stochastic Compilation
Peter T. Breuer; Simon J. Pickin
167-184
Runtime Verification of Linux Kernel Security Module
Denis Efremov; Ilya Shchepetkov
185-199
Open and Interactive Learning Resources for Algorithmic Problem Solving
João F. Ferreira; Alexandra Mendes
200-208
Challenges Faced by Students in an Open Source Software Undergraduate Course
Dias Issa
209-223
Open Source Software as a Learning Tool for Computer Science Students
Assiya Khuzyakhmetova; Aidarbek Suleimenov
224-232
Front Matter
233-235
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 44 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings