EM-OCL : une extension mathématique d'OCL

• Introduction Générale
  
• Chapitre 1
  
• Introduction
  
• Conclusion
  
• Introduction
  
• Conclusion
  
• Introduction
  
• Conclusion
  
• Conclusion générale
  
• Annexe A
  
• Annexe mathématique
  
  • A.2 Ensemble
    
  • A.4 Relations
    
  • A.4.2 Itérations.
    
  • A.5 Fonctions
    
• Annexe B
  
• Annexe de la bibliothèque EM
  
  • B.2 SetRef
    
  • B.4 BinaryRelation
    
• Bibliographie