Michel Bidoit – författare
Visar alla böcker från författaren Michel Bidoit. Handla med fri frakt och snabb leverans.
5 produkter
CASL User Manual
Introduction to Using the Common Algebraic Specification Language
Av Michel Bidoit, Peter D. Mosses
Häftad, 2004
567 kr
Lägg i varukorg
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 language for practical use in software development for specifying both requirements and design. CASL is …
CASL User Manual
Introduction to Using the Common Algebraic Specification Language
Av Peter D. Mosses, Michel Bidoit
E-bok, 2003
755 kr
Lägg i varukorg
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 language for practical use in software development for specifying both requirements and design. CASL is …
Algebraic System Specification and Development
A Survey and Annotated Bibliography
Av Michel Bidoit, Hans-Jörg Kreowski m. fl.
Häftad, 1991
551 kr
Lägg i varukorg
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 algebraic approach has come to play a central role in research on formal specification and …
Recent Trends in Data Type Specification
8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
Av Michel Bidoit, Christine Choppy
Häftad, 1993
567 kr
Lägg i varukorg
The algebraic specification of abstract data types has beena flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoreticalfoundations and a methodology to support the design andformal development of reliable software.This volume gives the proceedings …
TAPSOFT'97: Theory and Practice of Software Development
7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings
Häftad, 1997
1127 kr
Lägg i varukorg
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.The volume is organized in three parts: The first presents invited contributions, the second is …
