Michel Bidoit's Books

CASL User Manual

Introduction to Using the Common Algebraic Specification Language

By: Michel Bidoit,Peter D. Mosses

Write a review Read reviews Take a Quiz Solve Book Puzzle

CASL User Manual

Introduction to Using the Common Algebraic Specification Language

By: 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 language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index. A separate, complementary LNCS volume contains the CASL Reference Manual.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

239

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354020766X

ISBN 13

9783540207665

Advances in Spatial Databases

5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997 Proceedings

By: Michel Scholl

Write a review Read reviews Take a Quiz Solve Book Puzzle

Advances in Spatial Databases

5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997 Proceedings

By: Michel Scholl

Content Description #Includes bibliographical references and index.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

404

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540632387

ISBN 13

9783540632382

Graph-based Knowledge Representation

Computational Foundations of Conceptual Graphs

By: Michel Chein,Marie-Laure Mugnier

Write a review Read reviews Take a Quiz Solve Book Puzzle

Graph-based Knowledge Representation

Computational Foundations of Conceptual Graphs

By: Michel Chein,Marie-Laure Mugnier

This book provides a de?nition and study of a knowledge representation and r- soning formalism stemming from conceptual graphs, while focusing on the com- tational properties of this formalism. Knowledge can be symbolically represented in many ways. The knowledge representation and reasoning formalism presented here is a graph formalism – knowledge is represented by labeled graphs, in the graph theory sense, and r- soning mechanisms are based on graph operations, with graph homomorphism at the core. This formalism can thus be considered as related to semantic networks. Since their conception, semantic networks have faded out several times, but have always returned to the limelight. They faded mainly due to a lack of formal semantics and the limited reasoning tools proposed. They have, however, always rebounded - cause labeled graphs, schemas and drawings provide an intuitive and easily und- standable support to represent knowledge. This formalism has the visual qualities of any graphic model, and it is logically founded. This is a key feature because logics has been the foundation for knowledge representation and reasoning for millennia. The authors also focus substantially on computational facets of the presented formalism as they are interested in knowledge representation and reasoning formalisms upon which knowledge-based systems can be built to solve real problems. Since object structures are graphs, naturally graph homomorphism is the key underlying notion and, from a computational viewpoint, this moors calculus to combinatorics and to computer science domains in which the algorithmicqualitiesofgraphshavelongbeenstudied,asindatabasesandconstraint networks.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

428

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1848002866

ISBN 13

9781848002869

CASL User Manual

Introduction to Using the Common Algebraic Specification Language

By: Michel Bidoit,Peter D. Mosses

Write a review Read reviews Take a Quiz Solve Book Puzzle

CASL User Manual

Introduction to Using the Common Algebraic Specification Language

By: Michel Bidoit,Peter D. Mosses

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

246

Publisher

Springer

Published Date

ISBN 10

3662206579

ISBN 13

9783662206577

TAPSOFT'97: Theory and Practice of Software Development

7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

By: Michel Bidoit,Max Dauchet

Write a review Read reviews Take a Quiz Solve Book Puzzle

TAPSOFT'97: Theory and Practice of Software Development

7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

By: Michel Bidoit,Max Dauchet

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 devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

908

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540627812

ISBN 13

9783540627814

Nonparametrics

Statistical Methods Based on Ranks

By: Erich L. Lehmann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Nonparametrics

Statistical Methods Based on Ranks

By: Erich L. Lehmann

Rank tests are a class of statistical procedures that combine great simplicity with surprising power. This reprint of a classic reference book offers a thorough description of these tests and the estimating procedures derived from them, and gives an account of their properties. Although the field of rank tests has seen little change, important new methodologies have sprung up that also serve the purpose of freeing statistics from the unrealistic model assumptions that so frequently invalidate its applications. All the tests discussed here are now available in a variety of statistical software packages.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

464

Publisher

Springer

Published Date

ISBN 10

0387563792

ISBN 13

9780387563794

Book's by Michel Bidoit

CASL User Manual

CASL User Manual

Advances in Spatial Databases

Advances in Spatial Databases

Graph-based Knowledge Representation

Graph-based Knowledge Representation

CASL User Manual

CASL User Manual

TAPSOFT'97: Theory and Practice of Software Development

TAPSOFT'97: Theory and Practice of Software Development

Nonparametrics

Nonparametrics

Username

Password

Username

Password

Password again

Birthday

Email