Concepedia

B-method

The B-Method is a formal specification and design methodology within the family of algebraic specification languages that employs set theory and predicate logic to rigorously define and systematically refine abstract machine models toward provably correct program implementations.

53

Publications

2.7K

Citations

158

Authors

79

Institutions

Publications per year

2017–2026

6

Parents

Publications

53

ProB: an automated analysis toolset for the B method

Michaël Leuschel, Michael Butler · International Journal on Software Tools for Technology Transfer · 2008 · 383 citations

, , +5

Accounting for the Black–White Wealth Gap

Robert Barsky, John Bound, Kerwin Charles et al. · Journal of the American Statistical Association · 2002 · 375 citations

, , +16

UML-B

Colin Snook, Michael Butler · ACM Transactions on Software Engineering and Methodology · 2006 · 290 citations

, , +9

Selective Introduction of Acid Sites in Different Confined Positions in ZSM-5 and Its Catalytic Implications

Chengeng Li, Alejandro Vidal‐Moya, Pablo J. Miguel et al. · ACS Catalysis · 2018 · 218 citations · Full text

, , +17

Validity and Reliability of Benesi-Hildebrand Method

Rong‐Fu Wang, Zhi Yu · Acta Physico-Chimica Sinica · 2007 · 120 citations

, , +10

1–5 of 53

Authors

158

  1. MB
    Michael Butler

    University of Southampton, United Kingdom

    4 publications · 728 citations

    4

    h-index

  2. ML
    Michaël Leuschel

    Heinrich Heine University Düsseldorf, Germany

    3 publications · 460 citations

    3

    h-index

  3. AR
    A Requet

    Laboratoire Génie et Matériaux Textiles, France

    2 publications · 42 citations

    2

    h-index

  4. ET
    Elena Troubitsynå

    Åbo Akademi University, Finland

    2 publications · 37 citations

    2

    h-index

  5. GM
    Georges Mariano

    AT&T (United States), United States

    2 publications · 21 citations

    2

    h-index

1–5 of 158

Institutions

79

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    3 h-index

    3 publications

    97 citations

  2. University of Southampton

    Southampton, United Kingdom

    3 h-index

    5 publications

    1.4K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    8 publications

    132 citations

  4. Åbo Akademi University

    Turku, Finland

    3 h-index

    5 publications

    88 citations

  5. Conservatoire National des Arts et Métiers

    Paris, France

    2 h-index

    4 publications

    85 citations

  6. Laboratoire Génie et Matériaux Textiles

    Roubaix, France

    2 h-index

    5 publications

    116 citations

  7. UNSW Sydney

    Sydney, Australia

    2 h-index

    5 publications

    82 citations

  8. Centre d'études et de recherche en informatique et communications

    Paris, France

    2 h-index

    4 publications

    96 citations

1–8 of 79

Venues

  1. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 3 publications · 42 citations

    3

    h-index

  2. Electronic workshops in computing

    2 publications · 42 citations

    2

    h-index

  3. ePrints Soton (University of Southampton)

    Repository · 2 publications · 55 citations

    2

    h-index

  4. 1

    h-index

  5. The Journal of Physical Chemistry B

    1 publications · 55 citations

    1

    h-index

1–5