Dataset - CKAN

Utilisation de B pour la vérification de spécifications UML et le développeme...

The coupling of object-oriented approaches with the B method makes improvement the activities of software specification and development. The B method provides...
- HTML

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