Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,519,057,721 visitors served.
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

B-Method
(redirected from Clearsy)

    Also found in: Wikipedia 0.10 sec.
(programming, tool)B-Method - A system for rigorous or formal development of software using the notion of Abstract Machines to specify and design software systems. The B-Method is supported by the B-Toolkit.

Abstract Machines are specified using the Abstract Machine Notation (AMN) which is in turn based on the mathematical theory of Generalised Substitutions.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.