B-Method - The Main Components

The Main Components

B notation depends on group theory and first order logic in order to specify different versions of software that covers the complete cycle of project development

Read more about this topic:  B-Method

Famous quotes containing the words main and/or components:

    Whoever considers morality the main objective of human existence, seems to me like a person who defines the purpose of a clock as not going wrong. The first objective for a clock, is, however, that it does run; not going wrong is an additional regulative function. If not a watch’s greatest accomplishment were not going wrong, unwound watches might be the best.
    Franz Grillparzer (1791–1872)

    Hence, a generative grammar must be a system of rules that can iterate to generate an indefinitely large number of structures. This system of rules can be analyzed into the three major components of a generative grammar: the syntactic, phonological, and semantic components.
    Noam Chomsky (b. 1928)