Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540441441, 9783540457190

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automata and Games for Synthesis

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_2 ◽

2002 ◽

pp. 15-20

Author(s):

Igor Walukiewicz

Download Full-text

HasCasl: Towards Integrated Specification and Development of Functional Programs

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_8 ◽

2002 ◽

pp. 99-116 ◽

Cited By ~ 24

Author(s):

Lutz Schröder ◽

Till Mossakowski

Download Full-text

Higher-Order Quantification and Proof Search*

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_5 ◽

2002 ◽

pp. 60-75

Author(s):

Dale Miller

Keyword(s):

Higher Order ◽

Proof Search

Download Full-text

Tool-Assisted Specification and Verification of the JavaCard Platform

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_4 ◽

2002 ◽

pp. 41-59 ◽

Cited By ~ 7

Author(s):

Gilles Barthe ◽

Pierre Courtieu ◽

Guillaume Dufay ◽

Simão Melo de Sousa

Keyword(s):

Specification And Verification

Download Full-text

Sharing Objects by Read-Only References

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_31 ◽

2002 ◽

pp. 457-472

Author(s):

Mats Skoglund

Download Full-text

Guarded Transitions in Evolving Specifications

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_28 ◽

2002 ◽

pp. 411-425 ◽

Cited By ~ 6

Author(s):

Dusko Pavlovic ◽

Douglas R. Smith

Download Full-text

The Development Graph Manager Maya

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_34 ◽

2002 ◽

pp. 495-501 ◽

Cited By ~ 16

Author(s):

Serge Autexier ◽

Dieter Hutter ◽

Till Mossakowski ◽

Axel Schairer

Download Full-text

Extending JML Specifications with Temporal Logic

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_23 ◽

2002 ◽

pp. 334-348 ◽

Cited By ~ 23

Author(s):

Kerry Trentelman ◽

Marieke Huisman

Keyword(s):

Temporal Logic

Download Full-text

A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_16 ◽

2002 ◽

pp. 223-239 ◽

Cited By ~ 3

Author(s):

Prasannaa Thati ◽

Reza Ziaei ◽

Gul Agha

Keyword(s):

Name Matching

Download Full-text

Revisiting the Categorical Approach to Systems*

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45719-4_29 ◽

2002 ◽

pp. 426-440 ◽

Cited By ~ 4

Author(s):

Antónia Lopes ◽

José Luiz Fiadeiro

Keyword(s):

Categorical Approach

Download Full-text

Algebraic Methodology and Software Technology - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automata and Games for Synthesis

HasCasl: Towards Integrated Specification and Development of Functional Programs

Higher-Order Quantification and Proof Search*

Tool-Assisted Specification and Verification of the JavaCard Platform

Sharing Objects by Read-Only References

Guarded Transitions in Evolving Specifications

The Development Graph Manager Maya

Extending JML Specifications with Temporal Logic

A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching

Revisiting the Categorical Approach to Systems*

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications