牧寺 彩 MAKIDERA Aya

ID:9000004927563

大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University (2006年 CiNii収録論文より)

Search authors sharing the same name

Articles:　 1-5 of 5

  • A Method to Develop Distributed Real-Time Applications Based on UML/OCL  [in Japanese]

    NAGAI Eigo , MAKIDERA Aya , OKANO Kozo , TANIGUCHI Kenichi

    本論文では，UML/OCLを用いた分散環境実時間アプリケーション開発を支援する手法を提案する．提案手法により，UML/OCLを用いた開発アプリケーションの設計記述に対する，時間オートマトンを用いたtimeliness QoSの効率良い整合性検証，時間制御コード自動生成が可能となる．設計，検証作業は2段階に分けられ，これにより検証の効率化が図られる．本論文では，提案手法に基づいた検証系及び導出系の実 …

    The IEICE transactions on information and systems 89(4), 683-692, 2006-04-01

    IR  References (15) Cited by (4)

  • A Method to Develop Distributed Real-time Applications based on UML/OCL  [in Japanese]

    MAKIDERA Aya , NAGAI Eigo , OKANO Kozo , TANIGUCHI Kenichi

    本稿では, UML/OCLを用いた分散環境実時間アプリケーション開発を支援する手法を提案する. 提案手法により, UML/OCLを用いた開発アプリケーションの設計から時間オートマトンを用いたUML/OCLに対するTimeliness QoSの効率良い整合性検証, 時間制御コード自動生成が可能となる. 設計, 検証作業は二段階に分けられ, これにより検証の効率化がはかられる. 本稿では, 提案手法に …

    Technical report of IEICE. SS 104(723), 1-6, 2005-03-08

    IR  References (12)

  • D-3-6 A Translater from UML/OCL to Timed Automata-based Specification of Real-time Application in Distributed Environments  [in Japanese]

    NAGAI Eigo , MAKIDERA Aya , OKANO Kozo , TANIGUCHI Kenichi

    Proceedings of the IEICE General Conference 2005年_情報・システム(1), 26, 2005-03-07

  • A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments  [in Japanese]

    MAKIDERA Aya , OKANO Kozo , TANIGUCHI Ken-ichi

    著者らの研究グループでは,分散実時間アプリケーションにおけるTimeliness QoS一貫性を検証する手法,さらに,その保証されたTimeliness QoSを満たす時間オートマトンから時間制約を満たしたプログラムコードを自動生成する手法を提案している.本稿では,提案手法に基づいた検証系および導出系の実装,さらに例題に対する適用結果について述べる.簡単なビデオ会議システムに適用した結果,それぞれ …

    Technical report of IEICE. SS 104(243), 19-24, 2004-07-27

    IR  References (10) Cited by (2)

  • D-3-8 Automatic Java Code Generation from Timed Automata-based Specification of Real-time Application in Distributed Environments  [in Japanese]

    MAKIDERA Aya , OKANO Kozo , TANIGUCHI Kenichi

    Proceedings of the IEICE General Conference 2004年_情報・システム(1), 27, 2004-03-08

Page Top