Se familiariser avec les problèmes contemporains du génie logiciel; connaître et comprendre les concepts et techniques propres au génie logiciel; approfondir un langage de spécification et une méthode de conception; s'initier à des outils logiciels en réalisant un projet de conception de systèmes.
Contenu
Environnement de développement. Méthodes de modélisation et de spécification de systèmes. Validation et vérification de spécifications. Outils logiciels. Programmation automatique et outils logiciels à base de connaissances. Méthodes de conception. Comparaison de méthodes. Prototypage. Réutilisation du logiciel.
Ce site Web utilise des fichiers témoins (cookies) essentiels à son bon fonctionnement.
Vous pouvez paramétrer l'utilisation de témoins facultatifs nous permettant d'optimiser votre expérience à travers le site. Voir la Politique de confidentialité
Paramètres des témoins
Pour obtenir plus d’information sur la nature et l’utilisation des témoins, voir la Politique de confidentialité.
Témoins essentiels
Ces témoins sont nécessaires au bon fonctionnement du site Web. Ils permettent de maintenir
l’accès à certaines sections sécurisées et de conserver des critères de recherche, par exemple.
Ces témoins ne peuvent être désactivés.
Témoins analytiques
Ces témoins nous aident à comprendre votre utilisation de notre site Web et nous permettent d'améliorer l’expérience qu'il propose.
Témoins publicitaires
Ces témoins sont utilisés pour vous proposer des publicités pertinentes en fonction de votre navigation sur notre site. Ces publicités peuvent être émises par l'Université de Sherbrooke ou d'autres entités.
