Le candidat doit analyser le texte proposé afin d'en faire l'explication, et d'en dégager l'intérêt philosophique. Le texte constitue une prise de position par rapport à une question qu'il faudra ...

La méthode B est une méthode formelle de développement logiciel qui permet de modéliser de façon abstraite dans le langage de B le comportement d'un programme, puis par raffinements successifs, ...