Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540741060, 9783540741077

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The event-B Modelling Method: Concepts and Case Studies

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_3 ◽

2007 ◽

pp. 47-152 ◽

Cited By ~ 20

Author(s):

Dominique Cansell ◽

Dominique Méry

Keyword(s):

Case Studies ◽

Modelling Method

Download Full-text

Casl — the Common Algebraic Specification Language

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_5 ◽

2007 ◽

pp. 241-298 ◽

Cited By ~ 8

Author(s):

Till Mossakowski ◽

Anne E. Haxthausen ◽

Donald Sannella ◽

Andrezj Tarlecki

Keyword(s):

Specification Language ◽

Algebraic Specification ◽

The Common

Download Full-text

Z Logic and Its Applications

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_10 ◽

2007 ◽

pp. 489-596 ◽

Cited By ~ 5

Author(s):

Martin C. Henson ◽

Moshe Deutsch ◽

Steve Reeves

Download Full-text

The Logic of the RAISE Specification Language

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_7 ◽

2007 ◽

pp. 349-399 ◽

Cited By ~ 4

Author(s):

Chris George ◽

Anne E. Haxthausen

Keyword(s):

Specification Language

Download Full-text

A Methodological Guide to the CafeOBJ Logic

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_4 ◽

2007 ◽

pp. 153-240 ◽

Cited By ~ 3

Author(s):

Răzvan Diaconescu

Download Full-text

Abstract State Machines for the Classroom

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_2 ◽

2007 ◽

pp. 15-46 ◽

Cited By ~ 7

Author(s):

Wolfgang Reisig

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

An Overview

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_1 ◽

2007 ◽

pp. 3-12

Author(s):

Dines Bjørner ◽

Martin C. Henson

Download Full-text

The Specification Language TLA+

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_8 ◽

2007 ◽

pp. 401-451 ◽

Cited By ~ 15

Author(s):

Stephan Merz

Keyword(s):

Specification Language

Download Full-text

The Typed Logic of Partial Functions and the Vienna Development Method

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_9 ◽

2007 ◽

pp. 453-487 ◽

Cited By ~ 5

Author(s):

John S. Fitzgerald

Keyword(s):

Partial Functions ◽

Development Method

Download Full-text

Reviews

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_11 ◽

2007 ◽

pp. 599-623

Author(s):

Dines Bjørner ◽

Martin Henson

Download Full-text

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS SeriesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The event-B Modelling Method: Concepts and Case Studies

Casl — the Common Algebraic Specification Language

Z Logic and Its Applications

The Logic of the RAISE Specification Language

A Methodological Guide to the CafeOBJ Logic

Abstract State Machines for the Classroom

An Overview

The Specification Language TLA+

The Typed Logic of Partial Functions and the Vienna Development Method

Reviews

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series
Latest Publications