841 articles – 1540 Notices  [english version]
.:. Consultation > Par équipe de recherche > COLOSS .:.
37 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4
Access Graphs: Another View on Static Access Control for a Better Understanding and Use
Ardourel G., Huchard M.
JOT 1, 5 (2002) 95--116 [hal-00444071 - version 1]
Representing Static Access Control in Object Oriented Software Engineering
Ardourel G., Huchard M.
Workshop of Visualization of Relationnal Data WVRD 2002 ftp://ftpdim.uqac.ca/pub/ychirico/wvdr2002/ardourel.pdf (2002) [hal-00444070 - version 1]
AGATE, Access Graph bAsed Tools for handling Encapsulation
Ardourel G., Huchard M.
Dans Proceedings of the 16th IEEE International Conference Automated Software Engineering (ASE) - Automated Software Engineering 2001 (ASE 2001), États-Unis (2001) [hal-00451468 - version 1]
A Classification and Comparison Framework for Software Architecture Description Languages
Medvidovic N., Taylor R. N.
IEEE Transactions on Software Engineering 26, 1 (2000) 70--93 [hal-00444077 - version 1]
Un point de vue sur les méthodes formelles à Objets
André P., Royer J.-C.
L'Objet 2, 4 (1996) 5-12 [hal-00444069 - version 1]
Formal Methods: State of the Art and Future Directions
Clarke E. M., Wing J. M.
ACM Computing Surveys 28, 4 (1995) 626--643 [hal-00444076 - version 1]
Une expérimentation de développement formel à objets
André P., Barbier F., Royer J.-C.
Techniques et Sciences Informatiques 14, 8 (1995) 973-1005 [hal-00444074 - version 1]