Table des matières

• Table des matières
• Présentation
• Organisation des études dans la filière
• Contacts
• Présentation des modules
  • EFF : Effectivité et efficacité
  • A2R : analyse, synthèse et supervision des systèmes réactifs et répartis
  • SAP : Sémantique et analyse de programmes
  • COT : Composants et test
  • PLOG : $\lambda$Prolog
  • MDV: Méthodes Déductives pour la Vérification
  • TCPR : Programmation avancée
  • MLTO : Méthode, langage et technologie objets
• Cours-conférences
  • Sécurité et méthodes formelles
  • Modèles de la sécurité informatique
• Equipes de recherche de l'IRISA connectées à la filière ``Méthodes formelles pour le logiciel''
• Sujets de stages