Algebraic System Specification And Development

By Pierre Lescanne, Donald Sannella, M. Bidoit, D. Sannella, Fernando Orejas, Michel Bidoit, H.-J Kreowski, F Orejas, Hans-J?Rg Kreowski

"Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the...

Recent Trends In Data Type Specification: 8th Workshop On Specification Of Abstract Data Types Joint With The 3rd COMPASS Workshop, Dourdan, France, ...

By Christine Choppy, Michel Bidoit, Workshop On Specification Of Abstract Data Types

CASL User Manual: Introduction To Using The Common Algebraic Specification Language

By Peter D., M., M. Bidoit, MICHEL, Peter D. Mosses, Michel Bidoit, Bidoit, Mosses

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose languag...

CASL User Manual

By M. Bidoit, Peter D. Mosses, Michel Bidoit, Michel Bidoit; Peter D. Mosses

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose languag...

TAPSOFT '97 - Theory And Practice Of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

By Jan Van Leeuwen, G Goos, Michel Bidoit, J. Hartmanis, International Joint Conference On Theory And Practice Of Software Deve..., Max Dauchet, Corrado Böhm (Auth.), Michel Bidoit, Max Dauchet (Eds.)

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997....

Algebraic System Specification And Development: A Survey And Annotated Bibliography (Lecture Notes In Computer Science)

By Pierre Lescanne, M. Bidoit, D. Sannella, Michel Bidoit, H.-J Kreowski, F Orejas

"Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the...