default search action

combined dblp search
author search
venue search
publication search

ask others

TFM 2004: Ghent, Belgium

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > TFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tfm/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/2004
C. Neville Dean, Raymond T. Boute:
Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3294, Springer 2004, ISBN 3-540-23611-2
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Lau04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Lau04
Kung-Kiu Lau:
A Beginner's Course on Reasoning About Imperative Programs. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Rosa04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Rosa04
Sylvia da Rosa:
Designing Algorithms in High School Mathematics. 17-31
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/ReedS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/ReedS04
Joy N. Reed, Jane E. Sinclair:
Motivating Study of Formal Methods in the Classroom. 32-46
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/LoomesCD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/LoomesCD04
Martin J. Loomes, Bruce Christianson, Neil Davey:
Formal Systems, Not Methods. 47-64
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Borger04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Borger04
Egon Börger:
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. 65-84
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/CarroMHM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/CarroMHM04
Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. 85-106
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/PaigeO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/PaigeO04
Richard F. Paige, Jonathan S. Ostroff:
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. 107-123
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/DukeMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/DukeMS04
Roger Duke, Tim Miller, Paul A. Strooper:
Integrating Formal Specification and Software Verification and Validation. 124-139
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Pepper04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Pepper04
Peter Pepper:
Distributed Teaching of Formal Methods. 140-152
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Fernandez-IglesiasN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Fernandez-IglesiasN04
Manuel J. Fernández-Iglesias, Martín Llamas Nistal:
An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. 153-165
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/HabriasF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/HabriasF04
Henri Habrias, Sébastien Faucou:
Linking Paradigms, Semi-formal and Formal Notations. 166-184
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/DaviesSM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/DaviesSM04
Jim Davies, Andrew Simpson, Andrew P. Martin:
Teaching Formal Methods in Context. 185-202
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Robinson04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Robinson04
Ken Robinson:
Embedding Formal Development in Software Engineering. 203-213
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Mandrioli04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Mandrioli04
Dino Mandrioli:
Advertising Formal Methods and Organizing Their Teaching: Yes, but .... 214-224
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/XuZL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/XuZL04
Baowen Xu, Yingzhou Zhang, Yanhui Li:
Retrospect and Prospect of Formal Methods Education in China. 225-234
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/Oliveira04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/Oliveira04
José Nuno Oliveira:
A Survey of Formal Methods Courses in European Higher Education. 235-248

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.