Anne Mauboussin

According to our database, Anne Mauboussin authored at least 6 papers between 1974 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

Design Decisions for the Incremental Adage Framework.

Jean-Louis Giavitto, Guy Rosuel, Agnès Devarenne, Anne Mauboussin

Proceedings of the 12th International Conference on Software Engineering, 1990

1989

How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language.

Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin

Sci. Comput. Program., 1989

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.

Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein

Proceedings of the Algebraic Methods II: Theory, 1989

1987

How to Make Algebraic Specifications More Understandable?.

Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin

Proceedings of the Algebraic Methods: Theory, 1987

1985

Runnable protocol specifications using the logic interpreter SLOG.

N. Choquet, Laurent Fribourg, Anne Mauboussin

Proceedings of the Protocol Specification, 1985

1974

Flexible building of specialized information retrieval systems application to the management of APL functions as a programming aid.

Jean-Claude Pagès, Anne Mauboussin

Proceedings of the sixth international conference on APL, 1974