パネル討論会 : 要求技術の目指すべき方向
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1986-12-15
著者
-
阿草 清滋
京大
-
松本 吉弘
武蔵工業大学
-
松本 吉弘
東芝
-
野木 兼六
日立
-
森澤 好臣
日本ユニバック
-
野木 兼六
(株)日立製作所システム開発研究所
-
野木 兼六
日立製作所基礎研究所
-
野木 兼六
神奈川工科大学情報学部情報工学科
-
森澤 好臣
北海道情報大学
関連論文
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- F-013 AIBOによる室内確認システムの検討(F分野:人工知能・ゲーム)
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- PCTE : ソフトウェアツールを移植可能にし, 共通に利用するための環境
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- ソフトウェア科学会第2回大会
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- ソフトウェア科学会第4回大会
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
- Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- バリエーション並行開発のための版管理ツールと統合開発環境
- ソフトウェア科学会第1回大会
- 野生動物撮影のシステム設計論的考察
- 情報処理専門教育カリキュラムとアクレディテーション
- 「SEC journal」創刊記念論文 優秀賞受賞論文 大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析 (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- パネル討論会 : 要求技術の目指すべき方向
- マイコン用高級言語
- ハザ-ドレスNAND回路の合成
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- Javaプログラム理解支援のための不変性解析
- Java プログラム理解支援のための不変性解析
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- 制御用マルチコンピュ-タの一方式における応答性改善について
- ソフトウェア工学教育の確立へ向けて(情報技術と教育)
- ソフトウェアエンジニアリング教育プログラム開設への誘い
- 情報システム構築のためのフレームワーク
- ソフトウェアエンジニアリングとソフトウェア工学(インタラクティブ・エッセイ)
- IT時代に対応する大学のソフトウェアエンジニアリング教育(インタラクティブ・エッセイ)
- オブジェクト指向型操作的仕様に関する一考察
- ソフトウェアに対する要求の形成 (<特集>ソフトウェア工学の現状と動向)
- データ構造指向の要求分析技法 (データ構造)
- リアルタイムシステムにおけるプロトタイピングの一手法
- 産業プロセスにおけるコンピュータの応用
- プロセス制御システムへのデータベース技術の応用 (データベース技術)
- ソフトウェアを高信頼化するための設計・製造技法 (高信頼化技術)
- 小特集「パターン認識技術の応用」の編集にあたって
- 実時間システムにおける要求と仕様化について(ソフトウェアツール 1 : 段計・記述)
- ソフトウェア工学に対するある期待
- プロセスコントロールに対するミニコンの適用について
- 段階的詳細化, データ抽象化を支援する言語SPLのコンパイル技法
- 型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案
- AGENT : 機能テストのためのテスト項目作成の一手法
- ソフトウェアテスト項目作成支援システム (ソフトウェア生産技術) -- (ソフトウェア生産技術と支援ツ-ル)
- 産学連携と情報処理学会(これからの情報処理学会 第6回)
- B-7-98 キャッシュするデータをファイル種別で選別するキャッシュ方式の提案(B-7. 情報ネットワーク,一般セッション)
- "正しい"ソフトウェアの開発を
- IC旅券等のIC身分証明書を利用した仮想会員証運用システムの提案(セッション5: グループウェアアプリケーション)
- IC旅券等のIC身分証明書を利用した仮想会員証運用システムの提案(セッション5: グループウェアアプリケーション)
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- C-022 H8マイクロコンピュータを用いたバッテリーアナライザの試作(C分野:アーキテクチャ・ハードウェア)
- A-016 変数宣言機能を付与したRuby処理系の作成(A分野:モデル・アルゴリズム・プログラミング)
- 変更支援のための成果物アクセス履歴マイニング
- 集合論プログラミング
- 最適化に基づくアルゴリズムの発見
- ソーティングアルゴリズムの新しい分類
- 構造帰納法に基づくアルゴリズムの発見
- 一般部分計算法 (プログラム合成/変換)
- 要求定義技術の最近の動向
- ソフトウェア開発支援システム(CASDシステム) (ソフトウェア生産技術) -- (ソフトウェア生産技術)
- ソフトウェア構造設計技法 (ソフトウェア生産技術) -- (ソフトウェア生産技術)
- 要求定義技術の動土向(ソフトウェアツール 1 : 段計・記述)
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- ソフトウェア・アーキテクチャ発展過程の一考察
- ソフトウェア・アーキテクチャ発展過程の一考察
- パ-ソナルコンピュ-タの技術動向
- システムに関する「要求技術」について
- ソフトウェア開発技術のすう勢 (ソフトウェア開発管理の現状と将来) -- (アメリカにおける現状と将来)
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- IT好き放題:面白さは突然に
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- 構文と意味の記述によるプログラムの作成 (プログラム設計技法)