パネル討論会 : CASE環境の夢物語 : 革新的将来像 : 「CASE環境」シンポジウム
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1990-08-15
著者
-
玉井 哲雄
東京大学大学院情報学環
-
落水 浩一郎
静岡大学工学部情報工学科
-
落水 浩一郎
静岡大学
-
阿草 清滋
京大(現名大)
-
玉井 哲雄
三菱総研(現筑波大)
-
中田 修二
Σ本部(現日電)
-
花田 収悦
NTT
-
花田 収悦
日本電信電話公社横須賀電気通信研究所処理プログラム研究室
-
花田 収悦
日本電信電話公社横須賀電気通信研究所
関連論文
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- アスペクト指向技術とSNMPによるコンポーネント稼動状態測定フレームワーク
- アスペクト概念を持つステートダイアグラムの提案(アスペクト指向)
- アスペクト指向プログラミングへのモデル検査手法の適用(オブジェクト指向技術)
- モデル検査によるアスペクト指向プログラミングの検証
- 振る舞い仕様の実行時モニタリング
- ウインターワークショップ・イン・金沢報告 : 総括
- ソフトウェア科学会第5回大会
- EJBコンポーネントアキテクチャのSPINによる振舞い解析(ソフトウェア工学の基礎)
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- プログラムにおける計算的誤りの一検出方法
- 保守手順に適合する文書情報の編成法
- ペトリネットによる並行ソフトウェアシステムの設計時動作解析
- ソフトウェア保守における開発時文書構成の問題点
- 版管理機能を有する整構造プログラミング支援エディタDIFF
- 版管理機能を有する整構造プログラミング支援エディタDIFFの評価
- プログラム階層構造の生成, 処理, 文書化能力を有するテキスト・エディタ
- 構造化プログラミング用語LSP(PL/I)
- 亜順序文法とその構文解析法
- 協調作業におけるエージエシト間の相互作用のモデル化
- パネル討論会 : CASE環境の夢物語 : 革新的将来像 : 「CASE環境」シンポジウム
- パネル討論会 : 明日のソフトウェア工学 (<特集>ソフトウェア工学の現状と動向)
- ソフトウェア進化プロセスの統計モデル
- 要求分析のためのメタモデルの提案
- 要求分析のためのメタモデルの提案
- ユースケース定義のためのメタモデルの構築
- オブジェクト進化の定量的観測値からの分布モデルの推定
- 多重視点によるオブジェクトの組織化過程
- オブジェクトの進化プロセスにおける統計的観測
- オブジェクトの進化モデル構築に向けて
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- コンパクト・チャートを用いたプログラム設計法
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- バリエーション並行開発のための版管理ツールと統合開発環境
- LispへのXML文書構造変換言語の埋め込みとそれのシャッフル表現への拡張
- 拡張型言語システムPROTO-Eの設計と評価
- 開発管理技術 (<特集>ソフトウェア工学の現状と動向)
- 6.7 ソフトウェア工学研究会 (分散処理技術)
- ソフトウエア工学
- パネル討論会 : ソフトウェアメトリクスの現状と課題 : 昭和58年前期第26回全国大会報告
- 72-22 動的な時間割当のある優先待行列について
- 72-21 TSS の数学モデルについての考察
- 72-8 磁気ドラムの待行列モデル
- 71-44 メモリの動的割付における最適方法についての考察
- 71-43 数学モデルを用いたハード,ファーム,ソフト相互間のトレード・オフの評価
- 71-37 マルチプログラミング・コンピュータのコスト算出式について
- 71-36 テスト・ケースの自動発生プログラム
- 71-12 システム・シミュレーションへの入門
- 70-69 マルチプロセッサ・システムにおける実時間タスクの割込みのあるスケジューリング方法
- 70-68 ページング方式におけるプログラムの動作解析の一方法
- 70-67 セグメント・サイズの測定
- 70-54 コンピューティングシステムにおける単一サーバの待合せの扱いについて
- 70-55 プロセッサの時分割わりあての一方法
- 70-53 Multiple Computer Systemにおける最適のファイル・アロケーション
- 70-52 Modular Computer Sharing(MCS)システムの一構成法
- ソフトウェア工学とさまざまな領域の行き来
- 1. ソフトウェア工学の40年(ソフトウェア工学温故知新)
- 3 問題フレームについて(要求工学)
- ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案(学生セッション I_要求獲得・分析)
- 新しいソフトウェアの実現 : 科研「情報学」プロジェクトA01柱を振り返って(「情報学を創る」-科研プロジェクトがめざしたもの)
- プログラム解析を提供するAPIの実現とその適用
- セキュリティポリシー変更に関するデザイン解析
- Frederick P. Brooks, jr. : The Mythical Man-Month : Essays on Software Engineering, Addison-Wesley(1975)(20世紀の名著各論)
- ロール概念に基づく発展型移動エージェント
- 経済ジャーナリストと計算機科学者の対話
- Enterprise JavaBeans^TMサーバ仕様の形式化と検証
- 分枝限定法 : 整数/組合せ計画法の現状 その1
- ソフトウェア生産性の評価と管理 (ソフトウェア製品生産管理)
- プログラム構造の複雑さ尺度の評価と導出法の提案
- プログラム構造と信頼性に関する分析
- システム理解のための分散システムアーキテクチャの抽出
- 江戸日本橋町人地の幕藩制的構造 : 江戸町人地の研究 (2)
- 江戸日本橋町人地における幕藩制的構造の確立 : 江戸町人地の研究 (1)
- 江戸町人地の住宅 (主集 日本住宅史の現状)
- ソフトウェア品質の作り込みへのアプローチ
- 応用コンピュータ概論, C.H.デーヴィドソン, E.C.ケニーグ共著/末包良太訳 (紀伊国屋書店, 1971年5月, 640ページ, 2800円)
- 輸配送計画システムのドメインモデル構築とその要求分析への応用
- IDEFを用いたスケジューリングシステム開発プロセスのモデル化
- "正しい"ソフトウェアの開発を
- ソフトウェア開発における協調支援環境Vela : (4)事例ベースの構成法
- 6. PL/I (プログラミング言語の最近の動向)
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- 変更支援のための成果物アクセス履歴マイニング
- Enterprise JavaBeans~TMサーバ仕様の形式化と検証
- 芸術哲学者と計算機科学者の対話
- ソフトウェア開発における協調支援環境Vela : (3)ソフトウェアプロセスの分析と形式化
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- ソフトウェア開発における協調支援環境Vela : (5)ソフトウェア・プロセスの実行機構
- IT好き放題:面白さは突然に
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- ソフトウェア開発における協調支援環境Vela : (6)TMSの利用実験と評価