翻訳と辞書 Words near each other ・ axiomatic semantics ・ axiomatic set theory ・ axle ・ ayacc ・ ayt ・ az ・ azerty ・ b-0 ・ b-line ・ b-method ・ b-toolkit ・ b-tree ・ b1 security ・ b1ff ・ b2 security ・ b2b ・ b3 security ・ b4 ・ ba ・ baan Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク b-toolkit ： FOLDOC 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-se スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.