Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540205272, 9783540400073

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

X2Rel: An XML Relation Language with Formal Semantics

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_7 ◽

2003 ◽

pp. 97-114

Author(s):

Tomasz Janowski

Keyword(s):

Formal Semantics

Download Full-text

“What Is an Infrastructure?” Towards an Informatics Answer

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_12 ◽

2003 ◽

pp. 173-190

Author(s):

Dines Bjørner

Download Full-text

In Memoriam Armando Martín Haeberer

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_1 ◽

2003 ◽

pp. 1-25

Author(s):

Tom Maibaum

Keyword(s):

In Memoriam

Download Full-text

Type Systems for Concurrent Programs

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_26 ◽

2003 ◽

pp. 439-453 ◽

Cited By ~ 28

Author(s):

Naoki Kobayashi

Keyword(s):

Type Systems ◽

Concurrent Programs

Download Full-text

Graph-Based Models of Internetworking Systems

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_16 ◽

2003 ◽

pp. 242-266 ◽

Cited By ~ 6

Author(s):

Gianluigi Ferrari ◽

Ugo Montanari ◽

Emilio Tuosto

Download Full-text

The Development of the RAISE Tools

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_4 ◽

2003 ◽

pp. 49-64 ◽

Cited By ~ 3

Author(s):

Chris George

Download Full-text

Contract-Based Testing

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_3 ◽

2003 ◽

pp. 34-48 ◽

Cited By ~ 5

Author(s):

Bernhard K. Aichernig

Download Full-text

Coordination Technologies for Just-in-Time Integration

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_19 ◽

2003 ◽

pp. 308-321

Author(s):

José Luiz Fiadeiro

Keyword(s):

Time Integration ◽

Just In Time ◽

Coordination Technologies

Download Full-text

Software Development by Refinement

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_17 ◽

2003 ◽

pp. 267-286 ◽

Cited By ~ 7

Author(s):

Dusko Pavlovic ◽

Douglas R. Smith

Keyword(s):

Software Development

Download Full-text

Towards the Verifying Compiler

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40007-3_10 ◽

2003 ◽

pp. 151-160 ◽

Cited By ~ 4

Author(s):

Tony Hoare

Keyword(s):

Verifying Compiler

Download Full-text

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

X2Rel: An XML Relation Language with Formal Semantics

“What Is an Infrastructure?” Towards an Informatics Answer

In Memoriam Armando Martín Haeberer

Type Systems for Concurrent Programs

Graph-Based Models of Internetworking Systems

The Development of the RAISE Tools

Contract-Based Testing

Coordination Technologies for Just-in-Time Integration

Software Development by Refinement

Towards the Verifying Compiler

Formal Methods at the Crossroads. From Panacea to Foundational Support - Lecture Notes in Computer Science
Latest Publications