Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540539124, 9783540463511

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalizing informal requirements some aspects

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_16 ◽

1991 ◽

pp. 1-27

Author(s):

N. W. P. Diepen ◽

H. A. Partsch

Download Full-text

From an ERAE requirements specification to a PLUSS algebraic specification: A case study

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_30 ◽

1991 ◽

pp. 395-431 ◽

Cited By ~ 3

Author(s):

A. Mauboussin ◽

H. Perdrix ◽

M. Bidoit ◽

M. -C. Gaudel ◽

J. Hagelstein

Keyword(s):

Requirements Specification ◽

Algebraic Specification

Download Full-text

Specification of the transit node in PSFd

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_28 ◽

1991 ◽

pp. 337-361 ◽

Cited By ~ 2

Author(s):

S. Mauw ◽

F. Wiedijk

Download Full-text

POLAR a picture-oriented language for abstract representations

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_25 ◽

1991 ◽

pp. 233-276

Author(s):

R. D. Bos ◽

L. M. G. Feijs ◽

R. C. Ommering

Keyword(s):

Abstract Representations

Download Full-text

Transformations of designs

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_23 ◽

1991 ◽

pp. 167-199 ◽

Cited By ~ 1

Author(s):

L. M. G. Feijs

Download Full-text

Using transformations to verify parallel programs

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_18 ◽

1991 ◽

pp. 55-81 ◽

Cited By ~ 2

Author(s):

Ernst-Rüdiger Olderog ◽

Krzysztof R. Apt

Keyword(s):

Parallel Programs

Download Full-text

Introducing formal requirements into industry

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_21 ◽

1991 ◽

pp. 125-141

Author(s):

J. Hagelstein ◽

F. Ponsaert

Keyword(s):

Formal Requirements

Download Full-text

Experiences with combining formalisms in VVSL

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_19 ◽

1991 ◽

pp. 83-103 ◽

Cited By ~ 1

Author(s):

C. A. Middelburg

Download Full-text

A meta-environment for generating programming environments

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_20 ◽

1991 ◽

pp. 105-124 ◽

Cited By ~ 6

Author(s):

P. Klint

Keyword(s):

Programming Environments

Download Full-text

A process specification formalism based on static COLD

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53912-3_27 ◽

1991 ◽

pp. 303-335 ◽

Cited By ~ 3

Author(s):

J. C. M. Baeten ◽

J. A. Bergstra ◽

S. Mauw ◽

G. J. Veltink

Keyword(s):

Process Specification

Download Full-text

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Formalizing informal requirements some aspects

From an ERAE requirements specification to a PLUSS algebraic specification: A case study

Specification of the transit node in PSFd

POLAR a picture-oriented language for abstract representations

Transformations of designs

Using transformations to verify parallel programs

Introducing formal requirements into industry

Experiences with combining formalisms in VVSL

A meta-environment for generating programming environments

A process specification formalism based on static COLD

Algebraic Methods II: Theory, Tools and Applications - Lecture Notes in Computer Science
Latest Publications