情報・システム-知能ソフトウェア工学(開催日:2000/11/10)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2000/11/10
[資料番号]
目次

,  

[発表日]2000/11/10
[資料番号]
メール対応携帯電話を用いたプッシュサービス : 「バスどこ」サービスの開発

新谷 公朗,  井上 明,  渡辺 貞城,  金田 重郎,  

[発表日]2000/11/10
[資料番号]KBSE2000-43
プログラムの静的解析と動的解析の相互補完によるプログラム理解・開発支援プロセス

小野 展弘,  本間 昭次,  深谷 哲司,  

[発表日]2000/11/10
[資料番号]KBSE2000-44
多視点モデリングのためのCADシステム生成方式へのDB実装

阪中 幹恵,  橋本 正明,  廣田 豊彦,  片峯 恵一 /,  

[発表日]2000/11/10
[資料番号]KBSE2000-45
CADシステム生成のリファレンスモデルにおける手続き生成部の一実装

甲斐 俊文,  橋本 正明,  廣田 豊彦,  片峯 恵一 /,  

[発表日]2000/11/10
[資料番号]KBSE2000-46
Enterprise JavaBeans~TMサーバ仕様の形式化と検証

中島 震,  玉井 哲雄,  

[発表日]2000/11/10
[資料番号]KBSE2000-47
コンポーネントベース・フレームワーク技術を利用したアプリケーションの形式的仕様記述

吉田 和樹,  本位田 真一,  

[発表日]2000/11/10
[資料番号]KBSE2000-48
XMLベースのエージェント動作記述言語CCPL

牛木 一成,  中村 長寿,  二宮 智彦,  金友 大,  

[発表日]2000/11/10
[資料番号]KBSE2000-49
規約規則に基づくXML変換言語に関する一考察

横関 大子郎,  村山 隆彦,  山本 修一郎,  

[発表日]2000/11/10
[資料番号]KBSE2000-50
波及効果解析を用いたソフトウェア要求仕様の変更支援手法

杉本 英昭,  大西 淳,  

[発表日]2000/11/10
[資料番号]KBSE2000-51
流通分野の業務知識を記述するための語彙の体系化

斉藤 康彦,  

[発表日]2000/11/10
[資料番号]KBSE2000-52
新技術導入をトリガーとした面接型教育方法の変更促進

海谷 治彦,  関本 理佳,  海尻 賢二,  

[発表日]2000/11/10
[資料番号]KBSE2000-53
[OTHERS]

,  

[発表日]2000/11/10
[資料番号]