B method (Computer science)
URI(s)
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
found: Work cat.: 98-18094: International B Conference, 1998(In a sense, B-method is nothing else but a generalized debugging technology)
found: WWW. Yahoo, Mar. 30, 1998(B-Method is a collection of mathematically based techniques for the specification, design and implementation of software components; also B method)
found: Abrial, J. The B-book, 1996:p. xii (The B method, being a 'model-oriented' method of software construction) p. xv (B is a method for specifying, designing and coding software systems)
LC Classification
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1998-03-30: new
1998-05-04: revised
Alternate Formats