IDeSyDe

Welcome to IDeSyDe’s documentation page. Here you can find some quick links to help you navigate the documentation and also to situate you about the tool and its methods.

• IDeSyDe for the end-user: demonstrators
• IDeSyDe key concepts: design space identification and exploration
• IDeSyDe overview: software architecture and implementation aspects
• IDeSyDe formalities: mathematical proofs and other theoretical guarantees
• IDeSyDe for the experts: extensions