Une specification ici
et la spec du département info ici
Inscription à :
Publier les commentaires (Atom)
skip to main |
skip to sidebar
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)
Membres
Blogs amis
Mes autres blogs
Archives du blog
-
▼
2007
(147)
-
▼
novembre
(75)
- Au groupe 3
- Etonnant !
- Les mathématiques arabes : comprendre la constitut...
- An example with SEES and INCLUDES
- Composition with SEES and INCLUDES
- Machines with parameters (SETS and scalar) and INC...
- The factorial function
- The bool operator of B (transforming a predicate i...
- Refinement in B (an example)
- Le cinquième cours
- Devoir chez soi, le corrigé
- Ce que j'ai fait au 4ième cours, ce jour
- Programmeur
- Rappel. Vous disposez du cours en vidéo
- Pour le cours de demain...
- Qui est intéressé par
- Le livre conseillé
- Pour essayer l'INCLUDES
- Vu à la télé le ministre André Santini, ça me rapp...
- Retour sur les hommes et les femmes
- "Typographie, morale et diversité"
- Histoire de la notation lambda de Church
- Les relations familiales sur l'Atelier B
- Automates et nouvelle pédagogie
- "... et seize et seize, qu'est-ce qu'ils font ?
- Puisqu'il faut le répéter ...
- Le fisc égare les données de 25 millions de contri...
- Le rasoir d'Occam, son histoire
- Constats, contraintes, invariant
- Pour savoir la différence entre Cercles d'Euler et...
- Les profs, les bons profs, les chauves et les notes
- Les profs, les fumistes et les chauves
- Ce que j'ai fait lors du 3ième cours
- Le sujet du DS de Spec1
- Le travail à faire chez soi et à fournir en entran...
- Poly cours
- Le cours du 20 novembre
- Réflexions pédagogiques
- Harisa, Le phare du Cap Bon
- Vous pensez ? alors écrivez pour savoir ce que vou...
- Respécifiez la fonction solde de mon exemple hôtelier
- Lambda expression en B
- Pour vous entraîner à la logique
- Nouveauté B4Free avec générateur de code C
- "Le procureur dont on se méfiait"
- Fallait-il le dire
- Latex sur ma machine
- L'organisation des universités
- Rappel
- Pour ceux qui l'ignorent
- Ma spec n'est pas bien !
- Relations familiales
- Attention au discours !
- Il faut que je plante un reine-claude dorée
- Un bug à 10 millions d'euros
- Si vous voulez le CD
- La drosophile a pris la place de la droséra
- "Qui est enseigné doit enseigner"
- Certains ont ...
- Ce que vous avez à me fournir par écrit
- Ce que j'ai fait lors du deuxième cours
- Merci merci pour cette co(q)uille qui n'en finit p...
- btoolkit
- B4free
- Le premier manuel de référence d'Ada
- Un peu d'histoire ...
- Les pages d'un ancien collègue de l'IUT de Nantes
- A mes trois groupes de TD
- Si vous voulez rédiger des textes avec des notatio...
- Oh ! la belle faute, .. ou co (q)uille
- Le VAL à Roissy et la méthode B
- Monsieur, on voudrait un atelier B pour nous, chez...
- Le deuxième cours
- Servez-vous de l'Atelier B
- Le premier cours du 6 novembre 07
-
▼
novembre
(75)
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
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
Aucun commentaire:
Enregistrer un commentaire