skip to main | skip to sidebar

Spec 1 (Spécifications 1) Software Specifications

Messages échangés entre l'enseignant et les étudiants du module, Spécifications 1 du département informatique de l'IUT de Nantes (Université de Nantes) Ce module s'appuie principalement sur la notation et la méthode de spécification formelle B. (The B formal method)

lundi 5 février 2007

consultation des copies de Spec1 (DS)

sur demande. Je suis présent à l'IUT toute la présente semaine.

Publié par Arédius44 à 18:55

Aucun commentaire:

Enregistrer un commentaire

Article plus récent Article plus ancien Accueil

Inscription à : Publier les commentaires (Atom)

Membres

Blogs amis

Nicolass et Oa
cuisine thaï et autres

Mes autres blogs

Mes pages sur l'enseignement des spécs
Mon blog principal
Complément photos à mon blog principal
Méthode B, modèle relationnel n-aire
Spécification : automates, communication
D'Assérac à Pénestin
Inde, informatique, société

Archives du blog

► 2010 (1)
- ► janvier (1)

► 2009 (1)
- ► février (1)

► 2008 (45)
- ► novembre (2)
- ► octobre (2)
- ► juin (1)
- ► avril (1)
- ► février (4)
- ► janvier (35)

▼ 2007 (147)
- ► décembre (45)
- ► novembre (75)
- ► octobre (8)
- ▼ février (2)
  - consultation des copies de Spec1 (DS)
  - Le détail de la notation du "DS"
- ► janvier (17)

Qui êtes-vous ?

Arédius44: J'ai vécu à St-Yrieix-la-Perche jusqu'en Terminale. Nantais depuis 1971. Ancien prof à l'université de Nantes, Arédien aux beaux jours.Cycliste urbain quotidien. Milite pour le retour des goujons dans les eaux limousines Mon blog principal : http://lefenetrou.blogspot.com

Afficher mon profil complet

Locations of visitors to this page

Livres appréciés

Claude Gagnière, Pour tout l'or des mots
Jean-Louis Gardies, Esquisse d'une grammaire pure
George G. Szpiro, La conjecture de Poincaré
Barbara Kingslover, Les yeux dans les arbres (The Poisonwood Bible)
Bernard Diu, Traité de physique à l'usage des profanes
Aristote, L'organon