J.R. Abrial
Spécifier ou comment maîtriser l'abstrait,
TSI, Vol 3, N° 3,
1984,
pp. 201-219
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
-
▼
2016
(16)
-
▼
March
(14)
- Principle of Beneficent Difficulty, M. Jackson
- Z
- B événementiel, l'île et le pont de J.R. Abrial
- Z twenty years on, What is its future? (1995)
- Formally Checking Large Data Sets in the Railways
- First B Conference, Program
- Event-B patterns and their tool support
- Spécifier ou comment maîtriser l'abstrait
- Introduction à la méthode B, J.R. Abrial, vidéogra...
- Code Generation for Event-B
- Software Specification Methods, An Overview Using ...
- Programming as a Mathematical Exercise
- ABZ 2016
- Conception d'algorithmes
-
▼
March
(14)
No comments:
Post a Comment