ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'95  2

大蒔和仁 編

[目次]

  • 要求仕様データベースシステムの開発
  • メタ階層に基づくモデルベースソフトウェア開発基盤の提案
  • 構文木の相互比較による複数バージョン比較分析方法の提案
  • 能動的部品における機能交換変化メカニズム
  • 複数の類似ドメインにおけるドメインモデルの洗練と再利用
  • オブジェクト指向方法論のための動的モデルObTS
  • 実時間並行ソフトウェアの仕様記述とタイミング検証
  • 空間プロセス代数による近似解析
  • 形式的手法を用いた構造化ダイアグラムの一貫性検証
  • プロセス制御のための状態遷移図とロジック図の整合性検証〔ほか〕

「BOOKデータベース」より

この本の情報

書名 ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'95
著作者等 丸山 勝久
井上 克郎
伊藤 潔
佐伯 元司
古川 善吾
大蒔 和仁
大西 淳
小林 隆志
山本 晋一郎
岸 知二
廣田 豊彦
張 漢明
本位田 真一
権藤 克彦
沢田 篤史
深澤 良彰
荒木 啓二郎
野呂 昌満
野田 夏子
青山 幹雄
鰺坂 恒夫
杉山 安洋
満田 成紀
米沢 明憲
藤田 ハミド
武市 正人
書名ヨミ ソフトウェア コウガク ノ キソ
シリーズ名 レクチャーノート/ソフトウェア学 15
巻冊次 2
出版元 近代科学社
刊行年月 1996.1
ページ数 230p
大きさ 26cm
ISBN 4764902532
NCID BN14200557
※クリックでCiNii Booksを表示
全国書誌番号
96027256
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想