BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Denmark
1 × Finland
1 × Germany
1 × Ireland
1 × Italy
1 × The Netherlands
1 × USA
1 × Vietnam
Collaborated with:
T.S.Hoang A.Fürst I.H.Sørensen H.Kuruma D.A.Basin M.K.O.Lee D.Neilson P.N.Scharbach J.Steensgaard-Madsen J.W.Hughes M.S.Powell H.Ehrig H.Kreowski L.S.Nielsen R.M.Gallimore D.Coleman J.A.Goguen G.T.Leavens D.S.Batory M.J.Butler A.Coglio K.Fisler E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:
event (4) program (3) method (3) develop (2) tool (2) discoveri (1) construct (1) sequenti (1) industri (1) topolog (1)

Person: Jean-Raymond Abrial

DBLP DBLP: Abrial:Jean=Raymond

Contributed to:

IFM 20132013
IFM 20092009
SEFM 20092009
GPCE 20062006
ICSE 20062006
FME 20032003
VDM Europe 19881988
PS 19811981
VDM Europe (2) 19911991

Wrote 10 papers:

IFM-2013-Abrial #proving #source code
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs (JRA), pp. 1–15.
Developing Topology Discovery in Event-B (TSH, HK, DAB, JRA), pp. 1–19.
SEFM-2009-HoangFA #tool support
Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.
GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
ICSE-2006-Abrial #formal method #industrial #problem
Formal methods in industry: achievements, problems, future (JRA), pp. 761–768.
FME-2003-Abrial #development #pointer
Event Based Sequential Program Development: Application to Constructing a Pointer Program (JRA), pp. 51–74.
The B Tool (JRA), pp. 86–87.
PS-1981-Steensgaard-MadsenHPEKNASGCG #generative
KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.
The B-Method (JRA, MKOL, DN, PNS, IHS), pp. 398–405.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.