A. Mauboussin

Publication Activity (10 Years)

Years Active: 1985-1989
Publications (10 Years): 0

Publications

Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. Sci. Comput. Program. 12 (1) (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)
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
How to Make Algebraic Specifications More Understandable?. Algebraic Methods (1987)
N. Choquet, Laurent Fribourg, A. Mauboussin
Runnable protocol specifications using the logic interpreter SLOG. PSTV (1985)