A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Show other versions (1)

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...

Full description

Bibliographic Details
Main Author: Sabas, Arsène
Other Authors: Boyer, Michel
Language:en
Published: 2013
Subjects:
Software Engineering
Modular reasoning
Aspect Oriented Development
Formal Specification
Formal Verification
Aspect Interaction
Prevention Policy
Génie Logiciel
Développement Orienté Aspect
Spécification Formelle
Vérification Formelle
Interaction Aspect
Mécanisme de Prévention
Raisonnement Modulaire
Modularité
Modularity
Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984)
Online Access:http://hdl.handle.net/1866/9041

Internet

http://hdl.handle.net/1866/9041

Similar Items