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:

    What is done for science must also be done for art: accepting undesirable side effects for the sake of the main goal, and moreover diminishing their importance by making this main goal more magnificent. For one should reform forward, not backward: social illnesses, revolutions, are evolutions inhibited by a conserving stupidity.
    Robert Musil (1880–1942)

    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)