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:

    I knew that the wall was the main thing in Quebec, and had cost a great deal of money.... In fact, these are the only remarkable walls we have in North America, though we have a good deal of Virginia fence, it is true.
    Henry David Thoreau (1817–1862)

    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)