A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applicatio...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1866/9041 |