OnlineWoerterBuecher.de
Internes

Lexikon

B-Method


Ng, tool> 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)

N="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 - (4253 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0932 Seconds, with 17 Database-Queries
Zurück zur Startseite