WEKO3
アイテム
精密ソフトウェア工学のすすめ
https://ipsj.ixsq.nii.ac.jp/records/21721
https://ipsj.ixsq.nii.ac.jp/records/21721e05943c3-49fa-4623-a44d-71099cc59f45
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1998 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1998-03-10 | |||||||
タイトル | ||||||||
タイトル | 精密ソフトウェア工学のすすめ | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
日立 | ||||||||
著者所属 | ||||||||
東大 | ||||||||
著者所属 | ||||||||
電総研 | ||||||||
著者所属 | ||||||||
日立 | ||||||||
著者名 |
大槻繁
× 大槻繁
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | ソフトウェアクリーンルーム手法を始めとする形式的アプローチ,計算の論理,正しい仕様・プログラム等を話題としてとりあげ,ソフトウェア工学の罪・罠・心・夢などについて語り合う.「精密ソフトウェア工学(recision Software Engineerin)」という新しいパラダイムは,このパネルの一つのメッセージとして位置付けられている. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10112981 | |||||||
書誌情報 |
情報処理学会研究報告ソフトウェア工学(SE) 巻 1998, 号 20(1997-SE-118), p. 187-194, 発行日 1998-03-10 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |