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
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
|