Une approche fonctionnelle pour la conception et l'exploration architecturale de systèmes numériques

Ce manuscrit présente une méthode de conception au niveau système reposant sur la programmation fonctionnelle typée et visant à atténuer certains des problèmes complexifiant le développement des systèmes numériques modernes, tels que leurs tailles importantes ou la grande variété des blocs les const...

Full description

Bibliographic Details
Main Author: Toczek, Tomasz
Other Authors: Grenoble
Language:fr
Published: 2011
Subjects:
Online Access:http://www.theses.fr/2011GRENT036/document