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) Yle="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 - (7837 Reads) |
