Web Directory

    Top: Computers: Programming: Languages: Specification:

 

B-Method

  Link Details for: B-Method
Link Title: B-Method Open in a new window
Link URL: http://archive.museophile.sbu.ac.uk/formal-methods/b.html
Link Details: Formal method for developing program code from a specification in the Abstract Machine Notation, with tool support, aimed at aiding the improved development of computer-based systems. Developed by Jean-Raymond Abrial, originator of Z notation, and others.
Category: Top : Computers : Programming : Languages : Specification
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
B-Method