Art

J-GLOBAL ID：201502262370461175   Reference number：15A0475996

Software Synthesis in Formal Method by Reusing Dependable Fine-grained Component

高信頼細粒度部品再利用による形式手法におけるソフトウェア合成

Author (3)： NAKAMURA TAKEHIRO (電通大 大学院電気通信学研究科) ,  ODA TAKESHI (電通大 大学院情報理工学研究科) ,  NISHINO TETSURO (電通大 大学院情報理工学研究科)
Material： 情報処理学会論文誌ジャーナル(Web)
Volume： 54  Issue： 8  Page： WEB ONLY 2012-2024  Publication year： Aug. 15, 2013 
JST Material Number： U0452A  ISSN： 1882-7764  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *software development ,  *formal method ,  formal specification ,  reliability (property) ,  Safety ,  performance evaluation ,  product development ,  quality control ,  particle size (ratio) ,  reuse ,  computer program ,  automatic programming ,  satisfiability problem ,  constraint satisfaction problem ,  soundness ,  requirement specification ,  software reuse ,  program synthesis ,  fine particle size
Semi thesaurus term： high reliability ,  satisfiability problem ,  constraint satisfaction problem

JST classification (2)： Computer system development  (JD02010R) ,  Theory of computation  (JB02000A)

Reference (14)：

• Manna, Z. and Waldinger, R.: Toward automatic program synthesis, Comm. ACM, Vol.14, No.3, pp.151-165 (1971).
• Greenfield, J., Short, K., Cook, S. and Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools, Wiley (2003).
• CEA: Papyrus UML, available from (http://www.papyrusuml.org/) (accessed 2010-12).
• Abrial, J.: The B-Book, Cambridge University Press (1996).
• 中村丈洋,織田健,西野哲朗:B Methodにおける高信頼ソフトウェア部品自動生成,情報処理学会論文誌,Vol.52,No.11,pp.2989-3007(2011).

Terms in the title (4)： 細粒度 ,  再利用 ,  形式手法 ,  ソフトウェア