GRT710 - Spécification et conception de protocoles et services

Sommaire

Cycle: 1er cycle
Crédits: 3 crédits

Faculté ou centre: Faculté de génie

Cible(s) de formation

Spécifier formellement un protocole ou un service à partir de descriptions non formelles; concevoir un protocole ou un service à partir d'une description formelle.

Contenu

Langages de spécification, standardisation, environnements de création de services.

Préalable(s)

Avoir effectué 6.00 sessions préalables

Concomitante(s)

Activités pédagogiques de la session 7