>> Google Books
所蔵情報QRコード

プログラム仕様記述論 / 荒木啓二郎, 張漢明共著

資料種別:
図書
出版情報:
東京 : オーム社, 2002.11
形態:
xvi, 191p ; 21cm
シリーズ名:
IT text / 情報処理学会編 <BA48969780>
著者名:
ISBN:
9784274132636 [4274132633]
書誌ID:
BA60052990
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 データ中心のプログラム仕様記述法

橋本, 正明(1946-)

井上書院
7 図書 構造化分析とシステム仕様 : システム設計者とユーザーのための系統的開発手法

DeMarco, Tom, 高梨, 智弘(1945-), 黒田, 純一郎(1942-)

日経マグロウヒル社
2 図書 ソフトウェア開発のモデル化技法

Fitzgerald, John, 1965-, Larsen, P. G. (Peter Gorm), 1964-, 荒木, 啓二郎, 張, 漢明, 荻野, 隆彦, 佐原, 伸, 染谷, 誠

岩波書店
8 図書 モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証

二木, 厚吉(1948-)

サイエンス社
3 学位論文 形式的仕様記述の変換によるプロトタイププログラムの生成に関する研究

市川, 至

東京工業大学
9 図書 Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

ICTAC, Liu, Zhiming, 荒木, 啓二郎

Springer
4 図書 プログラム言語とその変換の形式的仕様記述に対するテストおよび誤り検出の研究

佐々政孝

東京工業大学
10 図書 システムプログラム

川合, 慧(1944-)

近代科学社
5 図書 UML仕様書

Object Management Group, OMG Japan SIG翻訳委員会

アスキー
11 図書 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

International Symposium of Formal Methods Europe, 荒木, 啓二郎, Gnesi, Stefania, 1954-, Mandrioli, Dino

Springer
6 図書 ソフトウェア仕様記述の先進技法-Z言語

Potter, Ben, Sinclair, Jane, Till, David, 田中, 武二

トッパン
12 図書 ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE (1: '94 - 26: 2019)

本位田, 真一 (1953-), 大蒔, 和仁, 佐伯, 元司, 権藤, 克彦, 深澤, 良彰, 青山, 幹雄 (1954-), …

近代科学社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12