Principle of Beneficent Difficulty, M. Jackson

 "Principle of Beneficent Difficulty

 Difficulties, explicitly characterized and diagnosed, are the medium in which a method captures its central insights into a problem. A method without limitations, whose development steps are never impossible to complete, whose stages diagnose and recognise no difficulty, must be very bad indeed. Just think about it. A method without limitations and difficulties is saying one of two things to you. Either it’s saying that all problems are easily solved. You know that’s not true. Or else it’s saying that some problems are difficult, but the method is not going to help you to recognise or overcome the difficult bits when you meet them. Take your choice. Either way it’s bad news. "

Michael Jackson. Software Requirements and Specifications: A Lexicon of Principles, Practices and Prejudices. Addison-Wesley and ACM Press, 1996

Introduction à la méthode B, J.R. Abrial, vidéogrammes

http://data.bnf.fr/documents-by-rdt/13489775/3170/page1

• Introduction à la méthode B 5

  Description matérielle : 1 cass. vidéo (13 min environ) : coul., SECAM ; 1/2 pouce VHS
  Description : Note : Cours en direct de l'IUFM Nantes, centre Schmitt
  Copyright : Abrial, Jean-Raymond, cop. 1994
  Édition : Nantes : Institut universitaire de technologie (Nantes) [éd.] ; Toulouse : Teknea [distrib.] , 1995 (DL)
  Producteur de vidéogrammes : Jean-Raymond Abrial
  Distributeur : Teknea
  Éditeur commercial : Institut universitaire de technologie. Nantes

  [catalogue]
  
• Introduction à la méthode B 4

  Description matérielle : 1 cass. vidéo (13 min environ) : coul., SECAM ; 1/2 pouce VHS
  Description : Note : Cours en direct de l'IUFM Nantes, centre Schmitt
  Copyright : Abrial, Jean-Raymond, cop. 1994
  Édition : Nantes : Institut universitaire de technologie (Nantes) [éd.] ; Toulouse : Teknea [distrib.] , 1995 (DL)
  Producteur de vidéogrammes : Jean-Raymond Abrial
  Distributeur : Teknea
  Éditeur commercial : Institut universitaire de technologie. Nantes

  [catalogue]
  
• Introduction à la méthode B 2

  Description matérielle : 1 cass. vidéo (13 min environ) : coul., SECAM ; 1/2 pouce VHS
  Description : Note : Cours en direct de l'IUFM Nantes, centre Schmitt
  Copyright : Abrial, Jean-Raymond, cop. 1994
  Édition : Nantes : Institut universitaire de technologie (Nantes) [éd.] ; Toulouse : Teknea [distrib.] , 1995 (DL)
  Producteur de vidéogrammes : Jean-Raymond Abrial
  Distributeur : Teknea
  Éditeur commercial : Institut universitaire de technologie. Nantes

  [catalogue]
  
• Introduction à la méthode B 1

  Description matérielle : 1 cass. vidéo (13 min) : coul., SECAM ; 1/2 pouce VHS
  Description : Note : Cours en direct de l'IUFM Nantes, centre Schmitt
  Copyright : Abrial, Jean-Raymond, cop. 1994
  Édition : Nantes : Institut universitaire de technologie (Nantes) [éd.] ; Toulouse : Teknea [distrib.] , 1995 (DL)
  Producteur de vidéogrammes : Jean-Raymond Abrial
  Distributeur : Teknea
  Éditeur commercial : Institut universitaire de technologie. Nantes

  [catalogue]
  
• Introduction à la méthode B 3

  Description matérielle : 1 cass. vidéo (13 min environ) : coul., SECAM ; 1/2 pouce VHS
  Description : Note : Cours en direct de l'IUFM Nantes, centre Schmitt
  Copyright : Abrial, Jean-Raymond, cop. 1994
  Édition : Nantes : Institut universitaire de technologie (Nantes) [éd.] ; Toulouse : Teknea [distrib.] , 1995 (DL)
  Producteur de vidéogrammes : Jean-Raymond Abrial
  Distributeur : Teknea
  Éditeur commercial : Institut universitaire de technologie. Nantes

  [catalogue]
  
• Introduction à la méthode B 6

  Description matérielle : 1 cass. vidéo (13 min environ) : coul., SECAM ; 1/2 pouce VHS
  Description : Note : Cours en direct de l'IUFM Nantes, centre Schmitt
  Copyright : Abrial, Jean-Raymond, cop. 1994
  Édition : Nantes : Institut universitaire de technologie (Nantes) [éd.] ; Toulouse : Teknea [distrib.] , 1995 (DL)
  Producteur de vidéogrammes : Jean-Raymond Abrial
  Distributeur : Teknea
  Éditeur commercial : Institut universitaire de technologie. Nantes

  [catalogue]
• Logique et preuve
  méthode B
  Description matérielle : 1 brochure (26-49-26 p.) - 3 cass. vidéo (59 min, 46 min, 18 min) : ill., couv. ill. en coul. ; 30 cm ; coul., SECAM ; 1/2 pouce VHS
  Description : Note : Cop. 1997
  Édition : Marseille : Abrial, Jean-Raymond , 1997 (cop.)
  [catalogue]

Jean-Raymond Abrial at ICTAC 2015

http://www.ictac2015.co/http://www.ictac2015.co/

One ot the invited speakers :

Jean-Raymond Abrial

Consultant (France)

Jean-Raymond Abrial is a French computer scientist, widely known as the co-inventor of various formal approaches to software specification: Z, B and Event-B.

He is the author of the "B-book" (Cambridge University Press, 1996), which presents the B-Method. More recently, he published the book "Modeling in Event-B: System and Software Engineering" (Cambridge University Press 2010). He was Guest Professor at ETH Zurich from 2004 to 2007, where he led the team developing the Rodin Platform tool for Event-B (funded by the European Project "Rodin"). After that, he was a researcher, also at ETH Zurich, working on the European Project "Deploy" until May 2009.

Jean-Raymond Abrial has been invited to give courses on formal methods in various Chinese Universities (Peking University in Beijing, East China Normal University in Shanghai). Before Zurich, he was a consultant for more than 20 years working in close contact with several industrial companies and universities around the world.

Conférence de J-R Abrial au Collège de France, avril 2015

 http://www.college-de-france.fr/site/gerard-berry/seminar-2015-04-01-17h30.htm

Spécification, construction et vérification de programmes : le parcours d'une pensée scientifique sur une trentaine d'années

Décès de Michel Sintzoff

http://www.ae-info.org/ae/User/Sintzoff_Michel

On m'apprend :

" C'est avec une très grande tristesse que j'ai appris ce lundi le décès de Michel Sintzoff.
Michel était une personnalité exceptionnelle de la recherche en Informatique. Sa curiosité scientifique l'avait amené à travailler dans de nombreux domaines de notre discipline (Langages, Intelligence Artificielle, Bases de Données, Génie Logiciel, Informatique Distribuée,...).

Il avait des amis partout dans le monde, et donc naturellement en France (à Paris, Toulouse, Nancy, Grenoble,...).Beaucoup se souviendront de son ouverture d'esprit, de la pertinence de ses remarques et de son rire inimitable. "

The Space and Motion of Communicating Agents

Robin Milner, Cambridge, 2009
http://www.cambridge.org/gb/knowledge/isbn/item2427683/?site_locale=en_GB

http://www.cl.cam.ac.uk/archive/rm135/
http://www.cl.cam.ac.uk/misc/obituaries/milner/

Cours et exercices corrigés d'algorithmique

Vérifier, tester et concevoir des programmes en les modélisant,
Jacques Julliand
Vuibert, 2010

Utilise la notation B.
http://www.vuibert.com/livre33767.html

Death of Robin Milner

"Robin Milner, FRS FRSE
Professor Emeritus of Computer Science
It is with great sadness that we note the death of Robin Milner.
Robin worked at the Computer Laboratory in Cambridge from 1995 onwards, serving as Head of the Laboratory 1996–1999. Before that, he worked at the University of Edinburgh 1973–1994, where he was founding Director of the Laboratory for Foundations of Computer Science (LFCS). He was awarded the Turing Award in 1991.
Robin played a leading role in the development of many areas of Computer Science, focussing especially on its mathematical foundations but always with a sharp eye on practice. His intellectual legacy includes:

• machine-assisted proof construction with the LCF approach, underpinning the HOL and Isabelle/HOL provers;
• the design and formal definition of programming languages, especially of Standard ML, including work on type safety, type inference and module systems;
• models of concurrent computation, particularly with the CCS and Pi-Calculus process calculi and their theories of compositional reasoning; and
• the bigraph model of mobile informatic processes with its applications to bioinformatics and pervasive computing.

These provide the basis and tools for a great deal of current research, by many people worldwide.
Always an inspirational teacher and colleague, and a warm-hearted man, he will be greatly missed."

Robin Milner visited Nantes on 2007 for a conference.

http://www.cl.cam.ac.uk/misc/obituaries/milner/

For the authors

For information :

To prepare your paper, go on the web pages:
www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/
You will find this :
Customised LaTeX files (entcsBdays.zip)


To reference your paper:

Proceedings publiés par APCB
published by APCB, juin 2008
C. Attiogbé, H. Habrias (Eds)
ISBN 2-9512461-2-9
EAN 9782951246126

Best Regards, Meilleures salutations