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 ↑

B(ID:1846/b::004)

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.

Places
Related languages
Z → B   Extension of
References:
  • 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
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder