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

TOTAL DOCUMENTS

60

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540614630, 9783540685951

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification using PEP

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

10.1007/bfb0014349 ◽

1996 ◽

pp. 591-594 ◽

Author(s):

Stephan Melzer ◽

Stefan Römer ◽

Javier Esparza

Download Full-text

Constructive semantics of Esterel: From theory to practice (abstract)

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

10.1007/bfb0014318 ◽

1996 ◽

pp. 225-225 ◽

Author(s):

G. Berry

Keyword(s):

Theory To Practice

Download Full-text

Resolution of goals with the functional and logic programming language LPG: Impact of abstract interpretation

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

10.1007/bfb0014359 ◽

1996 ◽

pp. 629-632

Author(s):

Didier Bert ◽

Rachid Echahed ◽

Kamel Adi

Keyword(s):

Logic Programming ◽

Programming Language ◽

Abstract Interpretation ◽

Logic Programming Language

Download Full-text

Applying research results in the industrial environment: The case of the TRIO specification language

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

10.1007/bfb0014305 ◽

1996 ◽

pp. 33-42

Author(s):

Dino Mandrioli

Keyword(s):

Specification Language ◽

Industrial Environment ◽

Research Results

Download Full-text

On the completeness of the equations for the Kleene star in bisimulation

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

10.1007/bfb0014315 ◽

1996 ◽

pp. 180-194 ◽

Author(s):

Wan Fokkink

Download Full-text

Using ghost variables to prove refinement

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

10.1007/bfb0014319 ◽

1996 ◽

pp. 226-240 ◽

Author(s):

M. Marcus ◽

A. Pnueli

Download Full-text

Coalgebraic specifications and models of deterministic hybrid systems

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

10.1007/bfb0014337 ◽

1996 ◽

pp. 520-535 ◽

Author(s):

Bart Jacobs

Keyword(s):

Download Full-text

Two industrial trials of formal specification

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

10.1007/bfb0014302 ◽

1996 ◽

pp. 1-8 ◽

Author(s):

J. S. Fitzgerald

Keyword(s):

Formal Specification

Download Full-text

Symbolic bisimulation for timed processes

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

10.1007/bfb0014325 ◽

1996 ◽

pp. 321-335 ◽

Author(s):

Michele Boreale

Download Full-text

Asspegique+ an integrated specification environment providing inter-operability of tools

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

10.1007/bfb0014340 ◽

1996 ◽

pp. 555-558

Author(s):

Michel Bidoit ◽

Christine Choppy ◽

Frédéric Voisin

Download Full-text