B-Toolkit
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) Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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 - (7491 Reads) |
