Une proposition de formalisme orienté composant : Application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants

Éditeur: Editions Universitaires Européennes
2012480 pagesISBN 9783838180533
Format: BrochéLangue : Français
De plus en plus, les logiciels sont considérés comme des assemblages de composants, chaque composant étant lui-même considéré comme un logiciel indépendant. Ce type d'approche permet de simplifier les étapes de conception, de développement et de maintenance des logiciels tout en garantissant de manière plus aisée leur qualité, leur fiabilité et leur sûreté...
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)