H ? « »

Language peer sets for B:
United Kingdom
United Kingdom/1996
Designed 1996
1990s languages
Fifth generation
Post-Cold War
Specialised Languages
Specialised Languages/1996
Specialised Languages/uk


Specification languag 

alternate simple view
Country: United Kingdom
Designed 1996
Published: 1996
Sammet category: Specialised Languages

Jean-Raymond Abrial Oxford 1996.

Specification language similar to Z, but also supports development of C code from specifications.
B Core UK, Magdalen Centre, Oxford Science Park, Oxford OX4 4GA.

Related languages
Z B   Extension of

  • Lano, K. (1996) Lano, K. and H. Haughton (1996). Specification in B : an introduction using the B toolkit. London Singapore ; River Edge, NJ, Imperial College Press ; Distributed by World Scientific Pub.
  • Lano, K. (1996) Lano, K. The B language and method : a guide to practical formal development. London ; 1996 New York, Springer.
  • Wordsworth, J. B.; Harlow, B (1996) Wordsworth, J. B.; Harlow, B "Software engineering" Reading, Mass., Addison-Wesley, 1996
  • Sekerinski, E. (1999) Sekerinski, E. and K. Sere (1999). Program development by refinement : case studies using the B method. London ;, New York : Springer.
  • Bowen, J. (2000) Bowen, J. P. (2000). ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings. Berlin ; New York, Springer.
  • (2002) Library of Congress Subject Headings B155
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder