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:

    “So long as war is the main business of nations, temporary despotism—despotism during the campaign—is indispensable.”
    —Walter Bagehot (1826–1877)

    “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)