Algebraic Methods

Keyphrases

Publications

volume 490, 1991

Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989] Algebraic Methods 490 (1991)

1989

Cornelis A. Middelburg
Experiences with Combining Formalisms in VVSL. Algebraic Methods (1989)
Jacques Hagelstein, Frank Ponsaert
Introducing Formal Requirements into Industry. Algebraic Methods (1989)
H. B. M. Jonkers
Inheritance in COLD. Algebraic Methods (1989)
Loe M. G. Feijs
Norman's Database Modularised in COLD-K. Algebraic Methods (1989)
Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. Algebraic Methods (1989)
Paul Klint
A Meta-Environment for Generating Programming Environments. Algebraic Methods (1989)
Sjouke Mauw, Freek Wiedijk
. Algebraic Methods (1989)
Loe M. G. Feijs
Transformations of Designs. Algebraic Methods (1989)
Jos C. M. Baeten, Jan A. Bergstra
Design of a Specification Language by Abstract Syntax Engineering. Algebraic Methods (1989)
N. W. P. van Diepen, Helmuth Partsch
Formalizing Informal Reuqirments. Some Aspects. Algebraic Methods (1989)
Rainer Weber
Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems. Algebraic Methods (1989)
Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink
A Process Specification Formalism Based on Static COLD. Algebraic Methods (1989)
Ernst-Rüdiger Olderog, Krzysztof R. Apt
Using Transformation to Verify Parallel Programs. Algebraic Methods (1989)
A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods (1989)
R. D. van den Bos, Loe M. G. Feijs, Rob C. van Ommering
POLAR: A Picture-Oriented Language for Abstract Representations. Algebraic Methods (1989)

volume 394, 1989

Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987] Algebraic Methods 394 (1989)

1987