Mechanical geometry theorem proving
Mechanical geometry theorem proving
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Introduction to ISO 10303—the STEP standard for product data exchange
Journal of Computing and Information Science in Engineering
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Semantic transparency in user assistance systems
Proceedings of the 27th ACM international conference on Design of communication
Formalizing and operationalizing industrial standards
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Semantic Alliance: a framework for semantic allies
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of the development. They are, however, currently considerably less formal. We propose to draw on the mentioned similarities and transfer methods from software engineering to engineering design in order to enhance in particular the reliability and reusability of engineering processes. We lay out a vision of a document-oriented design process that integrates CAD/CAM documents with requirement specifications; as a first step towards supporting such a process, we present a tool that interfaces a CAD system with program verification workflows, thus allowing for completely formalised development strands within a semi-formal methodology.