Narrow your search

Library

UCLouvain (2)

UNamur (1)


Resource type

book (3)


Language

French (3)


Year
From To Submit

2014 (1)

2013 (1)

2001 (1)

Listing 1 - 3 of 3
Sort by
Spécification des logiciels : deux exemples de pratiques récentes : Z et UML
Authors: ---
ISBN: 9782729807740 2729807748 Year: 2001 Publisher: Paris: Ellipses,

Loading...
Export citation

Choose an application

Bookmark

Abstract

2 parties comprenant chacune : une introduction à la problématique générale du domaine, une illustration de cette problématique par un langage représentatif (Z pour les spécifications formelles et UML pour la modélisation à objets), une présentation des principes de spécifications applicables avec ses langages, un complément de notation destiné à approfondir la connaissance de Z ou UML.

Keywords

Génie logiciel


Book
Premiers pas en algorithmique : de l'énoncé à la solution : exercices analysés, corrigés et commentés
Authors: ---
ISBN: 9782340001251 2340001250 Year: 2014 Publisher: Paris: Ellipses,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Développement des logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés
Authors: ---
ISBN: 9782729883539 2729883533 Year: 2013 Publisher: Paris: Ellipses,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 3 of 3
Sort by


Copyright ©2024 SemperTool