Le cahier des charges ! contenu, forme et analyse (en vue de la formalisation) J.-R. Abrial, Juin 1998

 Nous avons un draft (avec très peu de corrections typographiques faites de la main de J.-R.)  de cet article que nous avait adressé Jean-Raymond Abrial. Les idées développées dans cet article qui n'a semble-t-il jamais été publié (merci à ceux qui en connaîtraient une publication de m'en informer) sont exposées dans les pages 12-14 de Modeling in Event-B, Cambridge, 2010

Si vous êtes intéressé, dîtes le moi 

 

We have a draft (with very few typographical corrections made by J.-R.) of this article, which Jean-Raymond Abrial sent us. The ideas developed in this article, which apparently has never been published (please let me know if anyone knows of a publication), are presented on pages 12-14 of Modeling in Event-B, Cambridge, 2010. 

 If you are interested, please let me know. 

 

P.S. 

Le cahier des charges de la 2 CV Citroën 

https://en.wikipedia.org/wiki/Citro%C3%ABn_2CV

" On appelle cahier des charges un volume destiné à définir une commande, qui est établi par l'acheteur et dans lequel tout est prévu, sauf la mauvaise foi du vendeur" A. Detoeuf in Propos de O.L. Barenton, Confiseur)

 "We call cahier des charges a volume intended to define an order, which is established by the buyer and in which everything is provided for, except the bad faith of the seller" A. Detoeuf in Propos de O.L. Barenton, Confiseur)

Document établi par le demandeur définissant les clauses techniques, les clauses de qualité et les clauses administratives applicables à la fourniture recherchée ; il sert de base à la proposition du fournisseur et pourra faire l'objet d'un contrat." AFNOR Z 61-1002

Document drawn up by the applicant defining the technical clauses, quality clauses and administrative clauses applicable to the supply sought; it serves as the basis for the supplier's proposal and may be the subject of a contract." AFNOR Z 61-1002 

En 1936, Citroën lance le projet TPV (Toute Petite Voiture), concept proposé par Michelin. La TPV est destinée au monde rural avant tout.
Elle doit être faite pour un "client qui ignore tout de l'automobile",
"une bicyclette à quatre places, étanche à la pluie et à la poussière et marchant à 60-65 km/h en ligne droite sur route plate.
Elle doit pouvoir être achetée par un ouvrier, donc ne pas coûter cher. Elle doit durer 50 000 kms sans qu'on ait à  déplacer aucune pièce"
une voiture susceptible d'être réparée et réglée par le client le plus ignorant, des éléments faciles à démonter ou très accessibles
afin de réduire les durées d'immobilisation.
"qualité impeccable", mais exempt de luxe tout en offrant un vrai confort "une bonne aération et un chauffage"
Tout doit être démontable sans outillage particulier (Après la publication du livre d'I. Illitch - la convivialité - , on dira "convivialité" pour qualifier cela)
Devra circuler sur les plus petits chemins de terre à ornières et dans les champs...
 
In 1936, Citroën launched the TPV (Toute Petite Voiture) project, a concept proposed by Michelin.  
The TPV was primarily intended for the rural world. It was to be designed for a "customer who knew nothing about automobiles," "a four-seater bicycle, waterproof against rain and dust, and capable of traveling at 60-65 km/h in a straight line on a flat road. It had to be affordable for a worker, and therefore inexpensive. It had to last 50,000 km without having to move any parts." A car that could be repaired and adjusted by even the most ignorant customer, with components that were easy to disassemble or easily accessible in order to reduce downtime. "Impeccable quality," but devoid of luxury, while offering true comfort, "good ventilation and heating." Everything must be disassemblable without special tools (After the publication of I. Illitch's book - "Conviviality" - we will use the term "conviviality" to describe this). It must be able to travel on the smallest rutted dirt roads and in fields...
 

 



Comments

Post a Comment

Popular posts from this blog

Ce que je dois à Jean-Raymond Abrial

Image
 Quand ai-je découvert Jean-Raymond Abrial ?  Peut-être bien que c'est quand j'ai fait acheter les actes de la conférence de Cargèse et que j'ai lu son article Data Semantics . Ou est-ce lors de la lecture des publications de la DER-IMA d'EDF (située à Clamart) ? Ce qui est sûr c'est que j'ai découvert Z dans le Meyer Baudoin, Méthodes de Programmation chez Eyrolles, puis dans le Delobel Adiba, Bases de données chez Dunod. Quand j'ai débuté en "informatique de gestion" (en I.U.T "Informatique") je trouvais que ce que je lisais était bien peu "scientifique". "Information" "donnée" "rubrique" etc.  Pour "donnée" j'ai appris les théorèmes de Jean-Louis Rigal qui était prof à l'Université Dauphine. Facile : Th1, "Une donnée n'est pas donnée" car c'est le résultat d'une abstraction, Th 2. "Une donnée n'est pas donnée" car une fois donnée, ce n'est...
Read more

Jean-Raymond Abrial (1938, 2025)

Image
  Jean-Raymond Abrial (1938, 2025) Jean-Raymond Abrial est décédé les 26 mai 2025 la vieille de la conférence qui a eu lieu dans le cadre des Journées Scientifiques de l'université de Nantes et qui traitait de ses travaux et de leur mise en oeuvre dans différentes domaines.J.-R Abrial est né en 1938 à Versailles. Après des études au Prytanée militaire de la Flèche, il fera l'Ecole Polytechnique. En 1960 il sera ingénieur du génie maritime. Il sera boursier du gouvernement français à Stanford University puis au Centre de Programmation de la Marine où il travaillera sur une version du langage LTR (Langage Temps Réel). C'est là que Gérard Le Lann, qui a fait partie de l'équipe ayant conçu Internet, l'a connu. J.-R Abrial est pour lui "l'un des plus grands informaticiens français ! Peu enclin à épouser les « modes » qui agitent plus ou moins régulièrement les communautés scientifiques. Liberté de penser, de créer, et liberté d'essaimer !".A Grenoble, d...
Read more

On B, Jean-Raymond Abrial

 Cet article date du temps où Jean-Raymond Abrial habitait rue des plantes à Paris. Digilog était deveni Steria, mais pas encore Clearsy. Donc d'avant 2001. On B Jean-Raymond Abrial Consultant, 26, rue des Plantes, 75014, Paris. abrial@steria.fr In  the B-Book [Abr96], an introduction entitled “What is B ?” presents it in a few pages. There is no point in reproducing this introduction here. There is, however, clearly a need to have in this book a sort of informal presentation of B complementing that of the B-Book for those readers who are not familiar with this approach. This is the purpose of this short text, where the emphasis will be put on the question of the development process with B. At the end of the text, I will also cover some more general problems concerning B (tool, education, research, future). B is o “Debugger”. The aim of B is very practical. Its ambition is to provide to industr...
Read more