OnlineWoerterBuecher.de
Internes

Lexikon

B-Method


A SyStem for rigorouS or formal development of Software uSing the notion of {AbStract Machine}S 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. (1995-03-13)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ AbStract Machine Notation ] [ al ] [ AM ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ B ] [ b ] [ ba ] [ baSe ] [ bS ] [ B-Toolkit ] [ by ] [ ca ] [ ch ] [ ci ] [ de ] [ deSign ] [ development ] [ du ] [ ec ] [ ed ] [ er ] [ era ] [ eS ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ gn ] [ gr ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ iS ] [ it ] [ ki ] [ kit ] [ Lex ] [ li ] [ lk ] [ M ] [ ma ] [ Mac ] [ Mach ] [ mm ] [ mo ] [ mod ] [ module ] [ mS ] [ N ] [ na ] [ ne ] [ ng ] [ no ] [ op ] [ pe ] [ ph ] [ pm ] [ port ] [ pr ] [ program ] [ programming ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Se ] [ Si ] [ Sig ] [ So ] [ Software ] [ Spec ] [ St ] [ Su ] [ Support ] [ Sy ] [ SyStem ] [ T ] [ th ] [ theory ] [ to ] [ tool ] [ tr ] [ tw ] [ up ] [ uS ] [ ve ]






[ Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (4192 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0902 Seconds, with 16 Database-Queries
Zurück zur Startseite