Teaching Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540236115, 9783540304722

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_14 ◽

2004 ◽

pp. 214-224 ◽

Cited By ~ 3

Author(s):

Dino Mandrioli

Keyword(s):

Formal Methods

Download Full-text

Embedding Formal Development in Software Engineering

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_13 ◽

2004 ◽

pp. 203-213 ◽

Cited By ~ 2

Author(s):

Ken Robinson

Keyword(s):

Software Engineering ◽

Formal Development

Download Full-text

Teaching Formal Methods in Context

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_12 ◽

2004 ◽

pp. 185-202 ◽

Cited By ~ 6

Author(s):

Jim Davies ◽

Andrew Simpson ◽

Andrew Martin

Keyword(s):

Formal Methods

Download Full-text

Linking Paradigms, Semi-formal and Formal Notations

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_11 ◽

2004 ◽

pp. 166-184 ◽

Cited By ~ 4

Author(s):

Henri Habrias ◽

Sébastien Faucou

Download Full-text

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_6 ◽

2004 ◽

pp. 85-106 ◽

Cited By ~ 5

Author(s):

Manuel Carro ◽

Julio Mariño ◽

Ángel Herranz ◽

Juan José Moreno-Navarro

Keyword(s):

Concurrent Programs

Download Full-text

Formal Systems, Not Methods

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_4 ◽

2004 ◽

pp. 47-64 ◽

Cited By ~ 1

Author(s):

Martin Loomes ◽

Bruce Christianson ◽

Neil Davey

Keyword(s):

Formal Systems

Download Full-text

A Survey of Formal Methods Courses in European Higher Education

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_16 ◽

2004 ◽

pp. 235-248 ◽

Cited By ~ 7

Author(s):

J. N. Oliveira

Keyword(s):

Higher Education ◽

Formal Methods ◽

Methods Courses ◽

European Higher Education

Download Full-text

Motivating Study of Formal Methods in the Classroom

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_3 ◽

2004 ◽

pp. 32-46 ◽

Cited By ~ 5

Author(s):

Joy N. Reed ◽

Jane E. Sinclair

Keyword(s):

Formal Methods

Download Full-text

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_5 ◽

2004 ◽

pp. 65-84 ◽

Cited By ~ 1

Author(s):

Egon Börger

Keyword(s):

System Design

Download Full-text

A Beginner’s Course on Reasoning About Imperative Programs

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30472-2_1 ◽

2004 ◽

pp. 1-16 ◽

Cited By ~ 2

Author(s):

Kung-Kiu Lau

Download Full-text

Teaching Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

Embedding Formal Development in Software Engineering

Teaching Formal Methods in Context

Linking Paradigms, Semi-formal and Formal Notations

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns

Formal Systems, Not Methods

A Survey of Formal Methods Courses in European Higher Education

Motivating Study of Formal Methods in the Classroom

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis

A Beginner’s Course on Reasoning About Imperative Programs

Teaching Formal Methods - Lecture Notes in Computer Science
Latest Publications