ソフトウェア工学の基礎〈10〉日本ソフトウェア科学会FOSE 2003(レクチャーノート・ソフトウェア学〈29〉) [全集叢書]

ソフトウェア工学の基礎〈10〉日本ソフトウェア科学会FOSE 2003(レクチャーノート・ソフトウェア学〈29〉) の 商品概要

• 要旨（「BOOK」データベースより）

  本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（略称ＦＯＳＥ：Ｆｏｕｎｄａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１０回ワークショップの論文集である。

• 目次（「BOOK」データベースより）

  ソフトウェア開発における形式手法の挑戦：ＦＭ０３に見る動向と日本への示唆
  Ｓｅｍａｎｔｉｃ　Ｗｅｂに関する話題―誰のため何のためのＳｅｍａｎｔｉｃ　Ｗｅｂ？
  ＳＰＩＮを用いたオブジェクト指向分析モデルのデータフロー解析手法
  標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
  ソフトウェアの利用実演による操作学習支援手法
  ＵＭＬを用いたセキュアなアプリケーション開発のための支援手法
  組み込みソフトウェアの階層化されたアスペクト指向ソフトウェアアーキテクチャ群の構築
  組み込み用ソフトウェア開発へのモデルチェッキング技術の導入方法について―ケーススタディ：携帯情報端末コルクボードの開発
  時間制約検証のためのハードウェア制御フローグラフ抽象化手法の提案
  組込みソフトウエア開発マップの提案〔ほか〕

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  鰺坂 恒夫(アジサカ ツネオ)
  和歌山大学
  
  満田 成紀(ミツタ ナルキ)
  和歌山大学

ソフトウェア工学の基礎〈10〉日本ソフトウェア科学会FOSE 2003(レクチャーノート・ソフトウェア学〈29〉) の商品スペック