Dataset - CKAN

Formal Proof in Coq and Derivation of a Program in C++ to Compute Convex Hulls

International audience
- HTML
Designing and proving correct a convex hull algorithm with hypermaps in Coq

International audience
- HTML
Comparing Architectural Styles: Broker Specializes Mediator

Colloque avec actes et comité de lecture.
- HTML
A Method to Express Requirements and Transform them into a Formal Specification

Rapport interne.
- HTML
Analyzing and Comparing Architectural Styles

Colloque avec actes et comité de lecture.
- HTML
De l'élicitation des besoins à la spécification formelle

Article dans revue scientifique avec comité de lecture.
- HTML

You can also access this registry using the API (see API Docs).