ソフトウェア工学の基礎ワークショップ(FOSE '96)の報告
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本ソフトウェア科学会の論文
- 1998-01-16
著者
-
鈴木 正人
北陸先端科学技術大学院大学
-
渡部 卓雄
北陸先端科学技術大学院大学
-
鰺坂 恒夫
和歌山大学
-
渡部 卓雄
東京工業大学大学院情報理工学研究科計算工学専攻
-
鈴木 正人
北陸先端科学技術大学院大
-
鯵坂 恒夫
和歌山大学情報工学科
関連論文
- LMC : ポイントカット・アドバイスモデルの計算
- 4K-3 アスペクト指向的振舞インターフェース記述言語Moxaによるスケーラブルな仕様記述(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて
- 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 安全に結合可能なmixinを提供するためのルール
- ウインターワークショップ・イン・金沢報告 : 総括
- サマーワークショップ・イン・立山 開催報告
- 移動計算機環境に適した柔軟なソフトウェアの構築法
- 制御系ソフトウェアのオブジェクト指向分析に基づく機能規模測定法(ソフトウェア工学)
- 機能量測定法を利用した不適切箇所の摘出による分析モデルの改善
- 要求仕様の機能量測定による概念要素構成の改善(要求工学(学生セッション))
- ロード時バイナリ変換によるセキュリティ強制方式
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- オブジェクトの自律化と競合解決に基づく組込みオブジェクト指向開発手法の提案
- オブジェクトの自律化と競合解決に基づく組込みオブジェクト指向開発手法の提案
- オブジェクトの自律化と競合解決に基づく組込みオブジェクト指向開発手法の提案
- XSLTを用いたモジュール性の高いWEBアプリケーションの開発手法とフレームワークの提案(Web(学生セッション))
- ユースケースにおけるシナリオ記述の構造化と操作モデルの導出
- ソースコード理解支援機能を持つ開発環境(開発支援(学生セッション))
- 特集「ソフトウェアシステム」の編集にあたって
- 特集「ソフトウェアシステム」の編集にあたって(ソフトウェアシステム)
- 特集「産学連携論文」の編集にあたって
- 自己反映計算の振舞的側面の形式化について
- メトリクスの測定によるリファクタリング支援の自動化(メトリクス(学生セッション))
- 動的コード生成を用いた適応的移動コード
- オブジェクトの自律化と競合解決に基づく組込みオブジェクト指向開発手法の提案
- オブジェクトの自律化と競合解決に基づく組込みオブジェクト指向開発手法の提案
- Java WEB アプリケーションにおける通信特性の解析と可視化
- アスペクト指向言語における操作の抽象化方式
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 抽象解釈に基づく仕様の段階的具体化法
- データドメインの詳細化に基づくプログラムの段階的構成法
- メタレベルの拡張に適したメタレベルの構成法
- 再利用可能な部品から構成された言語処理系
- メタレベル記述の再利用を考慮した自己反映的プログラミング言語
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障ソフトウェアのための安定記憶の構成方法 : 並列関数型言語CMLによる実装
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- ソフトウェアプロセス適応のための形式的モデル
- 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
- 2.代表的なプロセス記述言語の特徴 : 共通例題による比較 (ソフトウェアプロセス)
- 共通例題 ソフトウェアプロセスモデリングのための例題(付録) (ソフトウェアプロセス)
- 属性付き関数型計算モデルによるフォールトトレランスの実現
- 自己反映機構を用いた移動エージェント記述言語
- Brian Cantwell Smith:Reflection and Semantics in Lisp, Proc. 11th ACM Symposium on Principles of Programming Languages, pp.23-35 (1984).
- 対話領域の独立性を指向した日本語対話理解システム
- 汎用クラスライブラリの構成方式に関する研究
- プログラム変換を用いたポインタ操作プログラムの検証にむけて--Morrisの二分木走査アルゴリズムによるケーススタディ (ソフトウェアサイエンス)
- 自己反映的な言語における言語拡張同士の安全な結合について
- CORBAアプリケーション開発におけるリフレクションの有効性
- 自己反映的な言語のモジュール結合による実装と効率化
- 履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法
- オープンソースソフトウェア開発に適したリポジトリ分散の支援機構(開発支援(1)(学生セッション))
- 位置透過性をもつコンポーネント構成手法とフレームワーク
- リファクタリングとコンポーネント技術による既存ソフトウェアの拡張手法
- 特集「産学連携論文」の編集にあたって
- プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
- 特集「ソフトウェア工学の基礎」の編集にあたって(ソフトウェア工学の基礎)
- ICSE '96会議報告
- メタレベルアーキテクチャを用いた動的負荷分散の実現
- 3. モバイルコンピューティングを支えるソフトウェア技術 3-2 分散オブジェクト技術とモバイルエージェント (モバイルコンピューティング)
- 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
- 自己反映計算における再利用可能なメタレベルモジュールの設計
- 書き換え理論に基づく有機的プログラミング言語GAEAの意味
- 並行オブジェクトのためのハイブリッド分散ガベージコレクションの一方式
- 証明支援系Coqのプログラムに対する対話的修正機構の提案
- リフレクションを利用したCORBA APIの改善
- リフレクションを利用したCORBAアプリケーション実行環境の実現法
- LEAD : 動的適応可能なソフトウェアを構成する言語の設計と実装
- 移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ
- 移動計算機環境を支援するインターフェース記述言語
- 信頼性の高い移動エージェントシステムの構成方法
- Ambient Calculusを用いた移動エージェントの形式化
- CEK-抽象機械による移動オブジェクトの形式的定義
- ソフトウェア工学の基礎ワークショップ(FOSE '96)の報告
- CafeOBJによる分散システムの形式仕様作成法
- 部分継続にもとづく移動コード記述 : 定義と操作的意味
- 並行項書き換え計算による並行オブジェクト指向言語の実現
- 急性虫垂炎に対する治療戦略
- SV-1-1 胸腹部大動脈瘤に対するopen surgery(SV-1 特別ビデオセッション(1)心臓・血管-1,第112回日本外科学会定期学術集会)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- PS-146-8 当科での肝胆膵手術におけるSSIの減少を目指した術前immunonutntionの試み(PS-146 肝 基礎・その他,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-138-7 下部直腸癌に対する術後排便機能に着目した括約筋間切除術(PS-138 大腸 低侵襲,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-130-1 高度進行直腸癌に対する術前補助療法の比較検討(PS-130 大腸 集学的治療-1,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-015-8 治癒切除不能大腸癌に対するOPTIMOX1療法の治療成績(PS-015 大腸 化学療法-2,ポスターセッション,第112回日本外科学会定期学術集会)
- SF-119-6 ITを用いた乳癌手術 : いわゆるユビキタス環境への取り組み(SF-119 サージカルフォーラム(119)乳腺 画像診断,第112回日本外科学会定期学術集会)
- VSY-1-3 当科におけるMinimally invasive surgeryとしての腹腔鏡下膵切除の現況と問題点(VSY-1 ビデオシンポジウム(1)膵の縮小手術-その適応と問題点-,第112回日本外科学会定期学術集会)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- VD-018-1 基部置換を伴わない大動脈弁形成術のコンセプトと手技(VD-018 ビデオセッション(18)心血管,第112回日本外科学会定期学術集会)
- 実時間システム向け文脈指向言語ProcneJ