scientific article; zbMATH DE number 2079672

MaRDI QIDQ4471719zbMATH OpenFDO

Authors Agnès Arnould, Pascale Le Gall, Yves Bertrand, F. Ledoux

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2267/22670176.htm

zbMATH Keywords

algebraic specificationsCASL languageformal specificationsgeometric modellingspecification methodology

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Computer science aspects of computer-aided design (68U07)

Recommendations

• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• scientific article; zbMATH DE number 2172806
• Algebraic specification and development in geometric modeling
• CASL: the Common Algebraic Specification Language.
• Architectural specifications in CASL

Cited in

(3)

• Geometric Modeling of Fractal Forms for CAD
• Algebraic specification and development in geometric modeling
• Preserving consistency in geometric modeling with graph transformations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471719)