𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebras and formal specifications in geometric modelling

✍ Scribed by Jean-François Dufourd

Publisher
Springer
Year
1997
Tongue
English
Weight
776 KB
Volume
13
Category
Article
ISSN
0178-2789

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Use of executable formal specifications
Use of executable formal specifications in user validation
✍ Mehmet Bülent Özcan 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB 👁 2 views

Requirements validation through feedback with users is of paramount importance in producing a high quality requirements specification document. Use of an executable formal specification offers an effective combination of formalism and pragmatism. This allows not only the systematic development of a

Formalizing mathematics in higher-order
Formalizing mathematics in higher-order logic: A case study in geometric modelling
✍ François Puitg; Jean-François Dufourd 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 421 KB

An innovative attempt to develop formal techniques of speciÿcation, proof, and program extraction in geometric modelling is reported through the axiomatization of the mathematical model of the combinatorial maps in the calculus of inductive constructions (CIC), a variety of type theory well suited f

Geometrical Specification Model for Gear
Geometrical Specification Model for Gear - Expression, Metrology and Analysis
✍ J.Y. Dantan; J. Bruyere; C. Baudouin; L. Mathieu 📂 Article 📅 2007 🏛 International Academy for Production Engineering 🌐 English ⚖ 232 KB

To ensure the gear precision, industries need a coherent model to express, to analyse and to check geometrical specifications. Most gear tolerance representations are directly driven by the convenience of dimensional metrology and not by the convenience of the set of activities of the tolerancing pr