| 講演抄録／キーワード |
| 講演名 |
2006-04-20 14:30
ソフトウェア意味モデルの要素構成に関する考察
○鯵坂恒夫（和歌山大） |
| 抄録 |
（和） |
抽象度の異なるソフトウェアプロダクトの垂直的解析に必要な共通的意味モデル
について，その適切な要素の選択と構成を議論する．これまでの試みをIEEEの意味移転言語および著者自身の過去のモデルに振り返り，ソフトウェアを形成する概念要素として常識的に扱われていたイベント，ファンクションや機能反復に対して批判的かつ精密な考察を加えることによって，ソフトウェア意味モデルの新たな要素構成を提案する．ソフトウェアの動作記述の基点となるデータについ
て，レベル・エッジ・パルスの3形態を認識することが議論のひとつの中心である． |
| （英） |
Vertical trace across the software products of different abstraction levels is one of the ultimate goals of software engineering. This paper seeks a proper selection of conceptual elements of the software semantic model to describe artifacts in any perspective and representation. A new model is proposed by reconsidering the most ordinary concepts such as events, functions, and repetitions. One of the highlighted topics is to recognize levels, edges, and pulses as different forms of data that
rules the behavior of software. |
| キーワード |
（和） |
ソフトウェア解析 / 垂直トレース / 意味モデル / 条件判定 / 反復制御 / 意味移転言語 / / |
| （英） |
Software analysis / Vertical trace / Semantic model / Conditions / Repetitions / Semantic Transfer Language / / |
| 文献情報 |
信学技報, vol. 106, no. 15, SS2006-3, pp. 13-18, 2006年4月. |
| 資料番号 |
SS2006-3 |
| 発行日 |
2006-04-13 (SS) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|