JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy(Information Science) >
Jun.1997 - Mar.1998 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/863

Title: 抽象解釈に基づくソフトウェアの段階的構成法とその評価
Authors: 吉岡, 信和
Authors(alternative): よしおか, のぶかず
Keywords: 抽象解釈,段階的詳細化, 形式的手法, インクリメンタルプログラミング,プロトタイピング
Abstract Interpretation, Stepwise Refinement, Form
Issue Date: Mar-1998
Description: 
Supervisor:片山 卓也
情報科学研究科
博士
Title(English): Incremental Software Development Method based onAbstract Interpretaion
Authors(English): Yoshioka, Nobukazu
Language: jpn
URI: http://hdl.handle.net/10119/863
Appears in Collections:D-IS. 平成09年度 (Jun.1997 - Mar.1998)

Files in This Item:

File Description SizeFormat
358abstract.pdf42KbAdobe PDFView/Open
358jabstract.pdf11KbAdobe PDFView/Open
358paper.pdf915KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology