Art

J-GLOBAL ID：201102274617173843   Reference number：11A1907063

Denepndable Software Component Generation with B Method

B Methodにおける高信頼ソフトウェア部品自動生成

Author (3)： NAKAMURA TAKEHIRO (電通大 大学院電気通信学研究科) ,  ODA TAKESHI (電通大) ,  NISHINO TETSURO (電通大)
Material： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
Volume： 52  Issue： 11  Page： 2989-3007  Publication year： Nov. 15, 2011 
JST Material Number： Z0778B  ISSN： 1882-7837  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *software component ,  reuse ,  *formal specification ,  consistency(computer) ,  formal method ,  reliability(property) ,  production ,  repository ,  requirement specification ,  *code generation ,  automation
Semi thesaurus term： B Method ,  *software component ,  自動コード生成 ,  automatic generation ,  consistency

JST classification (3)： Computer system development  (JD02010R) ,  Theory of computation  (JB02000A) ,  Language processors  (JD03040F)

Reference (21)：

• 1) Abrial, J.: The B-Book, Cambridge University Press (1996).
• 2) ARTech: GeneXus, available from <http://www.genexus.com/> (accessed 2010-12).
• 3) Boehm, B.: Software Engineering, IEEE Trans. Comput., Vol.25, No.12, pp.1226-1241 (1976).
• 4) CEA: Papyrus UML, available from <http://www.papyrusuml.org/> (accessed 2010-12).
• 5) CLEARSY: Atelier B, available from <http://www.atelierb.eu> (accessed 2010-07).

Terms in the title (2)： ソフトウェア部品 ,  自動生成