"Specification or how to make Abstraction Real"
Jean-Raymond Abrial, 1984
TSI
0752-4072/84/03/201-19
AFCET-Bordas
Illustration with an example.
To read the paper
For people interested into the genesis of B
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
Mes blogs, web pages
Search This Blog
Followers, Abonnés fidèles
About Me
- 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
Blog Archive
-
▼
2008
(64)
-
▼
May
(28)
- From the airport Nantes Atlantique to Nantes
- For the authors
- Hotels in Nantes
- Some other conferences of the Journées Scientifiqu...
- With your cité pass, you can travel on the river L...
- Airport shuttle : Tan air, from the airport to Cit...
- Wifi
- Le Lieu Unique (L.U.)
- Payment by Bank Transfert
- "Spécifier ou comment matérialiser l'abstrait"
- For the participants: un souvenir musical
- Pictures of Nantes
- Anne de Bretagne, Anne of Britanny
- Bienvenue à Nantes
- Programme du spectacle (private)
- Programme
- New Registrations
- Free access to the public transportation network
- From the Railway Station (Gare TGV) to La Cité des...
- Pictures of Nantes
- New registrations
- From the Airport/Train Station to the Cité des Con...
- Public Transportations in Pays de la Loire
- Flights to and from Nantes
- Paiement par Bon de Commande Administratif (French...
- Last registered participants
- For you the Cité Pass
- With your registration to the conference
-
▼
May
(28)
No comments:
Post a Comment