Jean-Raymond Abrial

Known as: Abrial, Abrial, Jean-Raymond 
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. J.-R. Abrial is the father of the Z… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Margarethe Hofmann-Amtenbrink, Brigitte von Rechenberg and Heinrich Hofmann MatSearch Pully, Chemin Jean Pavillard,14, CH-1009… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of… (More)
Is this relevant?
2007
2007
In this paper we consider an approach to developing complex database schemas. Apart from the theoretical model of the approach… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
This study demonstrates the impact of systematic risk on the prices of individual equity options. The option prices are… (More)
  • table 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Review
2006
Review
2006
The Semantic Web for the Life Sciences (SWLS), when realized, will dramatically improve our ability to conduct bioinformatics… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We believe that the future consists of nomadic people depending upon mobile appliances using World Wide Web protocols to… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This study reports the effects of rebate rules on voluntary contributions to a threshold public good. Rebate rules specify how… (More)
  • figure 1
  • figure 4
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We describe a set of design principles for building ÒFungus EatersÓ. ÒFungus EatersÓ are complete autonomous systems. The goal is… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1995
Highly Cited
1995
'Transfers of meaning' are linguistic mechanisms that make it possible to use the same expression to refer to disjoint sorts of… (More)
Is this relevant?