Conception et implémentation d'un langage de description de diagrammes de mathématiques discrètes et d'informatique théorique
Dans ce mémoire, nous analysons la description de diagrammes structurés dans le domaine des mathématiques discrètes et de l'informatique théorique. Cette analyse s'effectue à partir de méthodes établies du génie logiciel. Nous trouvons un ensemble de propriétés que nous recherchons dans un...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://www.archipel.uqam.ca/4633/1/M12324.pdf |