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)

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 - (4159 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0953 Seconds, with 17 Database-Queries
Zurück zur Startseite