B-Toolkit
Ct> A set of software tools designed to support a rigorous or formal development of software systems using the B-Method. The Toolkit also provides a development environment automating the management of all assoCiated files, ensuring that the entire development, inCluding Code and doCumentation, is always in a Consistent state. The Toolkit inCludes: a speCifiCation, design and Code Configuration management system, inCluding integrity and dependenCy management and sourCe file editing faCilities a set of software speCifiCation and design analysis tools, whiCh inCludes syntax CheCkers, type CheCkers and a speCifiCation animator a set of verifiCation tools, whiCh inCludes a proof-obligation generator and automatiC and interaCtive provers a set of Coding tools, whiCh inCludes a translator, linker, rapid prototyping faCilities and a reusable speCifiCation/Code module library a doCumentation tool for automatiCally produCing fully Cross-referenCed and indexed type-set doCuments from sourCe files a re-making tool for automatiCally re-CheCking and re-generating speCifiCations, designs, Code and doCumentation after modifiCations to sourCe files. A normal liCenCe Costs 25,000 pounds, aCademiC 6,250 pounds. (1995-03-13) In addition suitable Contents:
[ 2 ] [ = ] [ ad ] [ af ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arC ] [ as ] [ at ] [ au ] [ B ] [ b ] [ B-Method ] [ br ] [ Ca ] [ Cat ] [ Ch ] [ Ci ] [ Ck ] [ Cl ] [ Co ] [ Code ] [ Con ] [ Configuration management ] [ Cons ] [ Cr ] [ Cu ] [ Cy ] [ de ] [ design ] [ development ] [ development environment ] [ ding ] [ do ] [ doC ] [ doCument ] [ doCumentation ] [ du ] [ eC ] [ ed ] [ eg ] [ environment ] [ er ] [ era ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ fr ] [ ga ] [ ge ] [ gen ] [ gn ] [ gr ] [ gu ] [ h ] [ hat ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ inC ] [ inClude ] [ index ] [ int ] [ interaCtive ] [ io ] [ ir ] [ iron ] [ is ] [ it ] [ ke ] [ ki ] [ kit ] [ la ] [ Lex ] [ li ] [ library ] [ link ] [ linker ] [ lk ] [ ls ] [ lu ] [ ly ] [ M ] [ ma ] [ man ] [ management ] [ mm ] [ mo ] [ mod ] [ module ] [ ms ] [ na ] [ nC ] [ ne ] [ nf ] [ ng ] [ ni ] [ no ] [ norm ] [ ns ] [ om ] [ op ] [ pe ] [ ph ] [ ping ] [ pm ] [ port ] [ pound ] [ pr ] [ produCt ] [ program ] [ programming ] [ proof ] [ prototyping ] [ query ] [ rapid prototyping ] [ rC ] [ re ] [ referenCe ] [ ro ] [ sa ] [ se ] [ set ] [ si ] [ sig ] [ sl ] [ so ] [ software ] [ software tool ] [ sourCe ] [ speC ] [ speCifiCation ] [ st ] [ state ] [ su ] [ support ] [ sy ] [ syntax ] [ system ] [ T ] [ th ] [ to ] [ tool ] [ tr ] [ tw ] [ type ] [ um ] [ up ] [ us ] [ ve ] [ verifiCation ] [ vi ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (7511 Reads) |
