特集「新しいソフトウェアの実現」の編集にあたって(サイバー増大号)
スポンサーリンク
概要
- 論文の詳細を見る
本特集は文部科学省科学研究費補助金特定領域研究「ITの深化の基盤を拓く情報学研究」(略称:「情報学」,研究代表:安西祐一郎)の6本の柱の一つ「A01新しいソフトウェアの実現」(柱長:玉井哲雄)から生まれた研究成果を広く公表するために,研究論文および解説論文(チュートリアル・解説)を集めて編集したものである.研究論文は公募に対して投稿された原稿を,また解説論文は依頼によって寄稿された原稿を,いずれも学会の論文査読規定にしたがって査読し,採録に至ったものである.論文公募にあたっては,プロジェクトに直接参加している研究者だけでなく,同様の問題意識を持っ研究者からの論文も広く受け付けた.
- 一般社団法人日本ソフトウェア科学会の論文
- 2006-04-26
著者
関連論文
- アスペクト指向技術とSNMPによるコンポーネント稼動状態測定フレームワーク
- アスペクト概念を持つステートダイアグラムの提案(アスペクト指向)
- アスペクト指向プログラミングへのモデル検査手法の適用(オブジェクト指向技術)
- モデル検査によるアスペクト指向プログラミングの検証
- EJBコンポーネントアキテクチャのSPINによる振舞い解析(ソフトウェア工学の基礎)
- ソフトウェア進化プロセスの統計モデル
- LispへのXML文書構造変換言語の埋め込みとそれのシャッフル表現への拡張
- Lispを基にした新しいXMLプログラミングツール実現手法 (2002年情報学シンポジウム 講演論文集--情報社会のセマンティクスXMLとSemantic Web,電子政府への展望,ロボットとの共生) -- (セッション2:XML)
- ソフトウェア工学とさまざまな領域の行き来
- 1. ソフトウェア工学の40年(ソフトウェア工学温故知新)
- 3 問題フレームについて(要求工学)
- ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案(学生セッション I_要求獲得・分析)
- 新しいソフトウェアの実現 : 科研「情報学」プロジェクトA01柱を振り返って(「情報学を創る」-科研プロジェクトがめざしたもの)
- グラフ手法によるJavaプログラムの構造と構造変化の分析
- プログラム解析を提供するAPIの実現とその適用
- セキュリティポリシー変更に関するデザイン解析
- Frederick P. Brooks, jr. : The Mythical Man-Month : Essays on Software Engineering, Addison-Wesley(1975)(20世紀の名著各論)
- ロール概念に基づく発展型移動エージェント
- 経済ジャーナリストと計算機科学者の対話
- Enterprise JavaBeans^TMサーバ仕様の形式化と検証
- システム理解のための分散システムアーキテクチャの抽出
- 特集「新しいソフトウェアの実現」の編集にあたって(サイバー増大号)