ウエダ ヨシカズ上田 賀一教授Yoshikazu UEDA
■研究者基本情報
経歴
■研究活動情報
論文
- Safety verification method for priority-based real-time software
Fumio Narisawa; Yoshikazu Ueda, IOS Press
Frontiers in Artificial Intelligence and Applications, 2017年, ［査読有り］ - 組込みシステム検査のための協調解析
古川 覚; 上田 賀一; 中島 震, 責任著者
日本ソフトウェア科学会コンピュータソフトウェア, 2014年08月, ［査読有り］ - Realistic Validation of Specification for Modeling Language using Alloy
Kei Kogai; Yoshikazu Ueda, ラスト(シニア)オーサー
Asia-Pacific Conference on Computer Aided System Engineering (APCASE) 2014, 2014年02月, ［査読有り］ - 離散構造化モデル記述言語系OOJの構築と効果的な利用法,---分析からプログラムまでの一貫開発とV&V評価実現の検討---
畠山 正行; 池田 陽祐; 三塚 恵嗣; 大木 幹生; 加藤木 和夫; 上田 賀一, 本論文では分析・設計・実装・プログラムの4つの段階を順次追って一貫したプログラム開発ができる記述言語系OOJの開発を報告する．OOJの適用分野は科学技術計算分野であり，この分野に適した離散・構造化モデルを開発した．そして4つの段階間の記述が必ず「同等内容の別表現」となる特性，すなわち一貫相似性，を実現する設計とした．この特性の実現により分析記述は忠実にプログラムに反映され，開発過程の正しさや成果の妥当性が確保される．この特性は別視点から見ればV&Vの実現でもあり，プログラムの信頼性向上に貢献するゆえにプログラム開発にも有効かつ有用な構築指針になる．OOJがこの特性を実現していることは論証された．想定ユーザ評価は大学院生と学部3年生の記述レポートを分析して得た．院生全員と3年生の想定ユーザはOOJを十分に理解し容易に使いこなし，OOJの理解と記述が容易であることが結論できた．以上からOOJは一貫した開発過程の実現によるプログラム開発の容易化，信頼性の向上やV&Vの評価の実現，および理解と実記述の容易性という3つの特長のゆえに，想定ユーザには有用かつ簡潔に使える言語系であると結論できた．In the present paper, we will report a descriptive language system OOJ that can be applied from the analysis stage up to the program stage throughout the design and the implementation stage. OOJ is designed based on the discreted and structured model and applied in the fields of science and engineering calculations. In OOJ, the corresponding descriptions among four stages are integrally similar. That is, the descriptions in these four stages have some different phrases but the equivalent contents. These characteristics realize the concept of the V&V, and contribute to the upgrade of the reliability of the program. The assumed user estimations have been performed by the report of the graduate school students and the third grade undergraduate students. As the results, all third grade students and the graduate school students have gotten the sufficient recognition for OOJ and well-qualified Java program. We got the conclusion with high feasibility that OOJ contributes to the upgrade of the program reliability, to the evaluation of the V&V concept, and finally to the easiness and usability for the assumed users.
情報処理学会論文誌:数理モデル化と応用, 2013年12月, ［査読有り］ - UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価
池田 陽祐; 大木 幹生; 三塚 恵嗣; 上田 賀一; 加藤木 和夫; 畠山 正行, 記述言語 OONJ は大学院生向けの科学技術計算やシミュレーション分野での教育目的の利用のために開発されてきた．一方で OONJ 自体が記述言語として適切に設計されているかについてソフトウェア工学的な観点からの評価が必要になった．そこで本論文では代表的なモデリング言語である UML との比較と評価を行った．比較には UML のクラス図，アクティビティ図を用いた．また，構成要素の概念的比較を行った．その結果 OONJ が静的・動的の両側面について十分な対応関係と記述内容を持つことが明らかになった．また OONJ は想定ユーザと記述想定分野を絞ったゆえに，汎用言語である UML に対してはサブセットであることが分かった．結論として， OONJ の想定ユーザと想定分野に対しては， UML のダイアグラムと同等の記述力と記述特性を持つことが分かった．The descriptive language OONJ has been developed for the education purposes of the graduate students in the domain of science or engineering and in the domain of simulations. The estimation has been needed from the stand point of the software engineering whether OONJ has properly been designed as the descriptive language. To attain the aim, we have compared with the representative modeling language UML. The class diagram, and the activity diagram has been used for comparisons. As the results, it has been made sure that OONJ has the sufficient correspondent relations and the descriptive contents from both the static and dynamic aspects. Since the users and the fields to apply OONJ have been restricted, it has become clear that OONJ is the subset of UML. It has been concluded that OONJ has realized the equivalent descriptive power to UML for the target users and the target fields., 情報処理学会
情報処理学会論文誌:数理モデル化と応用, 2012年09月, ［査読有り］ - 情報制御システム記述言語による列車運行制御モデルの記述と検証
小飼 敬; 小山 恭平; 上田 賀一; 高橋 勇喜; 武澤隆之; 中野 利彦, 責任著者
日本ソフトウェア科学会コンピュータソフトウェア, 2012年08月, ［査読有り］ - Co-Analysis of SysML and Simulink Models for Cyber-Physical Systems Design
Shin Nakajima; Satoru Furukawa; Yoshikazu Ueda
IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012), 2012年08月, ［査読有り］ - Alloyを利用した情報制御システム記述言語の仕様検証の実用化
小飼敬; 上田賀一; 大久保訓; 高橋勇喜; 中野利彦, 責任著者
日本ソフトウェア科学会コンピュータソフトウェア, 2010年11月, ［査読有り］ - UML設計を対象とした品質評価モデルの検討
佐藤 美穂; 田村 真吾; 上田 賀一, 責任著者
情報処理学会論文誌, 2008年07月, ［査読有り］ - オブジェクト指向プログラム設計記述言語OOPDとその記述環境
加藤木 和夫; 畠山 正行; 上田 賀一
情報処理学会論文誌, 2002年05月 - 並行システムのオブジェクト指向設計に適したプログラミング言語の開発
平井 譲; 上田 賀一, 責任著者
情報処理学会論文誌, 2000年 - メタ階層アーキテクチャにおけるモデル生成・解釈機構の開発
庄司龍一; 上田賀一, 責任著者
日本ソフトウェア科学会 ソフトウェア工学の基礎, 1999年, ［査読有り］ - 並列オブジェクト指向シミュレーションのための記述言語とプログラム設計
平井譲; 小飼敬; 上田賀一, 責任著者
日本ソフトウェア科学会 ソフトウェア工学の基礎, 1998年, ［査読有り］ - 自然言語記述による要求仕様導出支援システムの提案
滝沢 陽三; 上田 賀一, 責任著者
情報処理学会論文誌, 1997年 - オブジェクト指向概念に基づく要求仕様の導出支援システム
滝沢 陽三; 上田 賀一, 責任著者
日本ソフトウェア科学会 ソフトウェア工学の基礎, 1994年, ［査読有り］ - クラスバージョンと関係に基づく記述モデル
志村 秀人; 上田賀一, 責任著者
日本ソフトウェア科学会 ソフトウェア工学の基礎, 1994年 - Estimation for Spread Forms of Spindle Waves in Multichannel EEG
Yoshikazu Ueda; Naohiro Ishii
Systems and Computers in Japan, 1990年, ［査読有り］
MISC
- UMLとの比較評価に基づくオブジェクト指向分析設計記述言語OONJの記述技法の特徴
池田 陽祐; 三塚 恵嗣; 上田 賀一; 畠山 正行
情報処理学会論文誌数理モデル化と応用（TOM）, 2013年03月12日 - 離散構造化モデル記述言語系OOJの構築と効果的な利用法―分析からプログラムまでの一貫開発とV&V評価実現の検討―
畠山 正行; 池田 陽祐; 三塚 恵嗣; 大木 幹生; 加藤木 和夫; 上田 賀一
研究報告数理モデル化と問題解決（MPS）, 2013年02月20日 - プログラム開発教育用記述言語OOJの設計と応用―シンプルなモデルに基づく分析からプログラムまでの一貫開発―
畠山 正行; 池田 陽祐; 大木 幹生; 三塚 恵嗣; 上田 賀一; 加藤木 和夫
研究報告数理モデル化と問題解決（MPS）, 2012年09月12日 - UMLとの比較評価に基づくオブジェクト指向分析設計記述言語OONJの記述技法の特徴
池田 陽祐; 三塚 恵嗣; 上田 賀一; 畠山 正行
研究報告数理モデル化と問題解決（MPS）, 2012年05月10日 - Detecting Defects in Object Oriented Designs Using Design Metrics
C.Munkhnasan; Y.Ueda
Joint Conference on Knowledge Based Software Engineering 2006, 2006年
ラスト(シニア)オーサー - オブジェクト指向開発法によるグループウェア開発基盤モデルの提案
上田 賀一; 山田 由紀
茨城大学工学部研究集報, 1995年
筆頭著者 - 睡眠脳波中の紡錘波の挙動と心拍のゆらぎの抽出
上田 賀一; 石井 直宏
日本ME学会雑誌BME, 1993年
筆頭著者
講演・口頭発表等
- ハードウェア上の組込みアプリケーションの性能推定
畑中勇人; 上田賀一
電子情報通信学会，技術報告(知能ソフトウェア工学研究会), 2025年03月22日
20250321, 20250322 - ドローンモデルを事例とした協調解析による不具合検出手法
阿部慎太郎; 上田賀一
電子情報通信学会，技術報告(知能ソフトウェア工学研究会), 2025年03月22日
20250321, 20250322 - 抽象構文木のグラフ表現とGCNによるソフトウェアの不具合予測の検討
粕谷 鉄朗,上田 賀一
情報処理学会, 研究報告(プログラミング), 2024年03月21日
20240321, 20240322 - SimulinkとSMTソルバの連携による協調解析支援ツールの開発
Engielista Anak Norman,上田 賀一
電子情報通信学会，技術報告(知能ソフトウェア工学研究会), 2023年03月17日 - OSSプロジェクトの早期成否判別に関する活動情報の調査
菊池 悠雅,上田 賀一
電子情報通信学会，技術報告(知能ソフトウェア工学研究会), 2023年03月17日 - POIとGEOを組み合わせた人間活動の類似性予測法の検討
曹 慶荥,上田 賀一
電子情報通信学会，技術報告(ライフインテリジェンスとオフィス情報システム研究会), 2021年03月04日 - 検証性質を充足する解空間の可視化による協調解析支援ツールの開発
兎澤 佑; 上田 賀一
情報処理学会, 研究報告(ソフトウェア工学), 2015年03月 - SysMLモデルの制約妥当性検証に関する考察
加藤 秀明; 上田 賀一; 中島 震
情報処理学会, 組込みシステムシンポジウム2010, 2010年10月28日 - Simulink に基づくテストファーストUML設計手法の提案
原 彬寛; 吉田 聡; 上田 賀一; 中島 震
情報処理学会, 組込みシステムシンポジウム2008, 2008年10月31日 - UMLによる組込みソフトウェア設計のレビュー支援ツールの開発
鈴木 健司; 上田 賀一
情報処理学会, 組込みシステムシンポジウム2007, 2007年10月19日 - Detecting Defects in Object Oriented Designs Using Design Metrics
Munkhnasan Choinzon; Yoshikazu Ueda
Joint Conference On Knowledge-Based Software Engineering 2006 (JCKBSE'06), 2006年08月28日
