Agusti CANALS

SCRUM est une méthode Agile. Découvrez ici quand et comment l'utiliser afin d'obtenir un résultat performant.  

Découvrez les méthodes de modélisation SysML et UML à travers un cas d'étude. Une application pratique de cette modélisation très utilisée. 

Retrouvez ici un exemple concret d'application des notations UML et SysML. Ces notations sont une aide pour la modélisation des systèmes.

UML est un outil puissant pour la modélisation des logiciels. Familiarisez-vous avec tous les diagrammes qui constituent la base de cette notation.

SysML est issu d'UML et dédié à la conception de systèmes. Les principes généraux et les outils sont présentés en détail.

Comment vérifier et prouver qu’un programme fonctionne correctement ? Les propriétés formelles des langages de programmation peuvent être appliquées dans des modèles de modélisation à des fins de preuve. Ces techniques permettent de garantir que les exigences des applications ont été prises en compte.

Découvrez comment est utilisé le langage de modélisation graphique UML, la référence en génie logiciel, dans la mise en œuvre d’une méthode de modélisation de la sémantique des langages de programmation. Différents diagrammes y représentent les exigences des applications à développer.