Found 5 document(s)
Page 1 of 1
-
Les filles qui. . ." sont des étudiantes qui enseignent Scratch et les robots mbot en primaire. 6 leçons de robotique soutiennent les acquisitions en sciences : mouvements et forces, couleurs et lumière, sons et musique,...
-
Verification process including model checking is a technique used to verify that a certain system's design satisfies its requirements. It relies on a large collection of heterogeneous artifacts and diagnosing faults is g...
-
À l'université de Brest, les étudiants en Master IUP d'Ingénierie Informatique passent les deux tiers de leur dernière année d'étude en immersion dans une entreprise virtuelle. L'idée est de leur faire vivre le dérouleme...
-
Software activities belong to different processes. Tailoring software processes aims to relate the operational software processes of an organization to the effective project. With the information technology industry movi...
-
The present paper presents the different modelisation levels. The approach is discussed following the IRDS framework. The cornerstone of the IRDS framework is the concept of four data levels and the associated three "lev...