Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2604.07353 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918435517104128 |
|---|---|
| author | Bowen, Jonathan P. Habrias, Henri |
| author_facet | Bowen, Jonathan P. Habrias, Henri |
| contents | Jean-Raymond Abrial is one of the central figures in the development of formal methods for software and systems engineering. Over a career spanning more than five decades, he has played a decisive role in the creation of the Z specification notation, the B-Method, and Event-B, and in demonstrating their applicability to large-scale industrial systems. This paper presents a scholarly biographical account of Abrial's life and work, tracing the evolution of his ideas from early work on real-time languages and databases, through foundational contributions to formal specification, refinement, and proof, to the development of industrial-strength tool support such as the Atelier~B and the Rodin platform. The paper situates Abrial's contributions within their historical, intellectual, and industrial contexts, and assesses their lasting impact on software engineering and formal reasoning about programs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_07353 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer Bowen, Jonathan P. Habrias, Henri General Literature Computers and Society Logic in Computer Science Software Engineering 01A70 (Primary) 01A60, 01A61, 68N30, 68Q60 (Secondary) K.2; D.2.1; D.2.4 Jean-Raymond Abrial is one of the central figures in the development of formal methods for software and systems engineering. Over a career spanning more than five decades, he has played a decisive role in the creation of the Z specification notation, the B-Method, and Event-B, and in demonstrating their applicability to large-scale industrial systems. This paper presents a scholarly biographical account of Abrial's life and work, tracing the evolution of his ideas from early work on real-time languages and databases, through foundational contributions to formal specification, refinement, and proof, to the development of industrial-strength tool support such as the Atelier~B and the Rodin platform. The paper situates Abrial's contributions within their historical, intellectual, and industrial contexts, and assesses their lasting impact on software engineering and formal reasoning about programs. |
| title | Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer |
| topic | General Literature Computers and Society Logic in Computer Science Software Engineering 01A70 (Primary) 01A60, 01A61, 68N30, 68Q60 (Secondary) K.2; D.2.1; D.2.4 |
| url | https://arxiv.org/abs/2604.07353 |