ソフトウェア科学会第2回大会
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 1986-01-14
著者
-
所 真理雄
慶大
-
新田 克己
電総研
-
筧 捷彦
早大
-
小川 貴英
電総研
-
有澤 博
早大
-
所 真理雄
東工大
-
国藤 進
ICOT
-
阿草 清滋
京大
-
辻井 潤一
京大
-
戸村 哲
電総研
-
小川 裕
NTT
-
宮地 利雄
東工大
-
相田 仁
東大
-
佐々 政孝
筑波大
-
筧 捷彦
立大
-
中所 武司
日立
-
米澤 明憲
東工大
-
相田 仁
東京大学
-
辻井 潤一
京都大学工学部電気工学第2教室
-
米澤 明憲
東工大・理
-
中所 武司
Department Of Computer Science School Of Science And Technology Meiji University
-
中所 武司
明治大学
関連論文
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- ソフトウェア科学会第3回大会
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- 「WCC98に参加して/IFIP TC : この1年」
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- ソフトウェア科学会第5回大会
- ソフトウェア科学会第2回大会
- パネル討論会 : Adaとどうつきあうか : 昭和56年後期第23回全国大会報告
- インターネットを用いた複数経路データ伝送方式の性能評価
- 無線LANにおけるシャドーイングを考慮した分散型アクセス制御方式
- 再ルーティング型多段接続網による大容量パケットスイッチにおけるLSIへの実装に適した回路構成方式の検討
- B-6-68 大容量再ルーティング型多段接続パケットスイッチのための高能率クロスバスイッチ方式の検討
- B-10-117 符号化パイロットトーン光ラベルによる WDM リングネットワークの提案
- B-7-216 複数経路コネクション指向プロトコルM/TCPの提案
- B-5-274 P-MP無線システムにおけるグループポーリングを用いたアクセス制御方式
- 可変速度TDM交換方式を用いた最低帯域保証機能をもつ動画像トラヒック制御方式
- 多段接続網を用いた大容量IPデータグラムスイッチング方式
- B-7-12 データトラヒックモデリングにおけるモデル選択に関する考察
- B-6-42 共有バッファ型単位スイッチを導入したRing Shuffleスイッチの性能評価
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- 我が国政府におけるネットワークセキュリティ確立への取り組み(ネットワークセキュリティ)
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- パネル討論会 : エキスパート・システムの課題 (エキスパート・システム)
- 「アクレディテーション」
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 分散処理の現状と将来(分散処理)
- パネル討論 : 自然言語の知能的処理
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
- Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- バリエーション並行開発のための版管理ツールと統合開発環境
- ソフトウェア科学会第1回大会
- 情報処理専門教育カリキュラムとアクレディテーション
- 「SEC journal」創刊記念論文 優秀賞受賞論文 大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析 (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- 5.Ada-9X : 大規模ソフトウェア向きの手続き型言語 (<特集>プログラミング言語最新情報-II)
- Muleを捨てて, Emacsを使おう : Emacsの自然言語処理機能(使いやすくなった自然言語処理のフリーソフト : 知っておきたいツールの中身)
- パネル討論会 : 要求技術の目指すべき方向
- マイコン用高級言語
- パネル討論会 : 人工知能研究の目指すもの : 昭和61年後期第33回全国大会報告
- パネル討論会 : 情報処理・これからの25年 : 昭和60年度後期第31回全国大会報告
- パネル討論会 : 自然言語処理の現状と課題 : 第57年後期第25回全国大会報告
- ハザ-ドレスNAND回路の合成
- ACM国際大学対抗プログラミングコンテスト世界大会報告
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- Javaプログラム理解支援のための不変性解析
- Java プログラム理解支援のための不変性解析
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- パネル討論会 : オブジェクト指向の展望 : 昭和63年度後期第37回 全国大会報告
- エキスパ-トシステムの社会科学への応用--法律エキスパ-トシステムを中心に
- 8 大学における情報教育J07(変わりつつある情報教育)
- IFIP近況報告 : 情報処理国際連合(委員会から)
- 情報および情報関連分野の分野別要件
- TC2(Software : Theory and Practice) : ソフトウエアの理論と実際
- 最近の Ada の動向 (Adaの応用と評価)
- Adaの待ち合わせの標準形について(同期の数理)
- イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
- 言語規格にみる言語定義の仕方とその読み方
- 数理論理学
- 13. ADA (プログラミング言語の最近の動向)
- Adaと支援環境 (プログラミング言語 : PascalとAda)
- Ada : 米国国防総省新言語
- ストラクチャード・プログラミング用言語
- 論争支援マルチモーダル実験システム MrBengo
- クラスタ例からの学習
- 論争支援のマルチモーダル実験システム
- クラスタリングに対する例からの学習
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- マイクロプログラムの広域最適化に関する考察
- 拡張文法に基づくユ-ザインタフェ-ス記述法 (ヒュ-マンインタフェ-ス特集) -- (インタビュ-形式でユ-ザ-と対話するデ-タベ-ス論理設計支援システム)
- 産学連携と情報処理学会(これからの情報処理学会 第6回)
- "正しい"ソフトウェアの開発を
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- 新世代オペレ-ティングシステム:Apertos--開放分散・マルチメディア時代に向けて
- 同報送信に対するAck機能を備えたCSMA/CD通信方式GAck Ethernetの提案
- CSMA-CD方式における各種衝突制御方式とアクノレッジ方式の性能解析
- ロ-カルコンピュ-タネットワ-ク-2完-
- ロ-カルコンピュ-タネットワ-ク-1-
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- 変更支援のための成果物アクセス履歴マイニング
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- ご存知でしたか? (ぺた語義(第1回))
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- ぺた語義 JABEEを通じた大学教育の質的保証(後編)ソウル協定と情報分野の分野別要件
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- IT好き放題:面白さは突然に
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- 日本語プログラミング言語「プロデル」における動的型の解決方式の改良