Informations générales
ECTSECTS
2
Goal(s)
Connaître les techniques de spécification et de conception des systèmes temps réel
Content(s)
Introduction aux techniques de spécification et de conception des systèmes
Les outils de spécification des cahiers des charges
Les outils de conception des systèmes 'temps réel'
Prérequis :
Test
CC pour les CM/TDs et CC pour les BE
Calendar
S1
Additional Information
8 h CM + 4 h TD + 12 h BE
Bibliography
'Maîtriser SADT ', Michel Lissandre, éd. Armand Colin
'SADT, un langage pour communiquer ', I.G.L. Technology, éd. Eyrolles
' Génie logiciel, les méthodes ', Patrick Jaulent, éd Armand Colin
' Stratégies de spécifications des Systèmes temps réel : SART ' D.J. Hatley et J.A. Pirbhai, éd. Masson
'Analyse des systèmes : de l'approche fonctionnelle à l'approche objet ', Philippe Larvet, éd. InterEditions
'Temps Réel ', J.A. Biancolin, éd. Hermes
'Spécification et conception des systèmes. Une méthodologie ', IRESTE, éd Masson