トップページ  >  教員個別情報  >  発表論文
青木 利晃 (AOKI, Toshiaki)教授
融合科学系, 情報科学系, セキュリティ・ネットワーク領域, 高信頼IoT社会基盤研究拠点

発表論文

95件
A framework for assume-guarantee regression verification of evolving software
Hoang Viet Tran, Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki
Science of Computer Programming, 193, -, 2020
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
IEICE Transactions, 103-A, 2, 451-461, 2020
Model checking of in-vehicle networking systems with CAN and FlexRay.
Xiaoyun Guo, Toshiaki Aoki, Hsin-Hung Lin
Journal of Systems and Software, 161, -, 2020
A scalable Monte-Carlo test-case generation tool for large and complex simulink models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019, 39-46, 2019
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies.
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
IEICE Transactions, 102-D, 7, 1280-1295, 2019
Reducing false positives of static analysis for SEI CERT C coding standard.
Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada
Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, CESSER-IP@ICSE 2019, Montreal, QC, Canada, May 27, 2019, 41-48, 2019
Conformance Testing of Schedulers for DSL-based Model Checking.
Nhat-Hoa Tran, Toshiaki Aoki
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, 208-225, 2019
Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.
Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo
26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019, 86-93, 2019
Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard.
Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada
26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019, 70-77, 2019
大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール
冨田 尭, 石井 大輔, 村上 徹, 竹内 成樹, 青木 利晃
組込みシステムシンポジウム2018論文集, 2018, 83-90, 2018
車載システム開発における形式手法実践の現状と課題
青木利晃
システム/制御/情報, 62, 4, 134‐140-140, 2018
確率統計に基づいた故障木とテストによる機械学習システムの系統的 評価手法
青木 利晃, 川上 大介, 千田 伸男, 冨田 尭
IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム 2018 (SES2018), -, 2018
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.
Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
IEICE Transactions, 101-D, 12, 3038-3058, 2018
Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change.
Zhengguo Yang, Toshiaki Aoki, Yasuo Tan
22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018, Madrid, Spain, October 15-17, 2018, 1-10, 2018
Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems.
Zhengguo Yang, Toshiaki Aoki, Yasuo Tan
23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018, 135-144, 2018
Qualitative and quantitative analysis with scheduling policies in model checking.
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, 1873-1880, 2018
Formalization and Verification of AUTOSAR OS Standard's Memory Protection.
Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki
2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018, 68-75, 2018
Combined model checking and testing create confidence-a case on commercial automotive operating system
Toshiaki Aoki, Makoto Satoh, Mitsuhiro Tani, Kenro Yatake, Tomoji Kishi
Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings, 109-132, 2017
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay.
Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba
24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, 140-149, 2017
Domain-Specific Language Facilitates Scheduling in Model Checking.
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, 417-426, 2017
Template-Based Monte-Carlo Test Generation for Simulink Models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers, 63-78, 2017
Assembly program verification for multiprocessors with relaxed memory model using SMT solver.
Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017, 1-8, 2017
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns
Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 596, 206-221, 2016
Verifying OSEK/VDX OS Design using Its Formal Specification
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 81-88, 2016
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D, 10, 1765-1776, 2015
A Framework for Verifying the Conformance of Design to Its Formal Specifications
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D, 6, 1137-1149, 2015
Checking the Conformance of a Promela Design to its Formal Specification in Event-B
Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 476, 110-126, 2015
A Spin-Based Approach for Checking OSEK/VDX Applications
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 476, 239-255, 2015
Experimental Fault Analysis Process implemented using Model Extraction and Model Checking
Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki
39TH ANNUAL IEEE COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC 2015), VOL 2, 95-104, 2015
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications
Haitao Zhang, Toshiaki Aoki, Yuki Chiba
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 1-10, 2015
A Practical Study of Debugging using Model Checking
Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki
2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 134-139, 2013
SMT-Based Bounded Model Checking for OSEK/VDX Applications.
Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin,Array, Yuki Chiba, Kenro Yatake
20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, 307-314, 2013
Preserving Correctness of Requirements Evolution through Refinement in Event-B.
Kriangkrai Traichaiyaporn, Toshiaki Aoki
20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, 315-322, 2013
Building A Body of Knowledge on Model Checking for Software Development
Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki
2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 784-789, 2013
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.
Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers, 36-53, 2013
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling.
Kriangkrai Traichaiyaporn, Toshiaki Aoki
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers, 246-261, 2013
Towards Formal Description of Standards for Automotive Operating Systems
Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 13-+, 2013
An approach for checking OSEK/VDX applications
Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin
2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 113-116, 2013
Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking.
Shinji Kikuchi, Toshiaki Aoki
Seventh IEEE International Symposium on Service-Oriented System Engineering, SOSE 2013, San Francisco, CA, USA, March 25-28, 2013, 37-48, 2013
モデル検査とテストによる車載オペレーティングシステムのシームレスな検証
青木 利晃, 佐藤 信, 谷 充弘, 矢竹 健朗
組込みシステムシンポジウム2012論文集, 2012, 178-187, 2012
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
Ngoc Hung Pham, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E95A, 9, 1451-1460, 2012
Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D, 7, 1882-1893, 2012
SMT-based enumeration of object graphs from UML class diagrams.
Kenro Yatake, Toshiaki Aoki
ACM SIGSOFT Software Engineering Notes, 37, 4, 1-8, 2012
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.
Kenro Yatake, Toshiaki Aoki
Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, 183-197, 2012
An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.
Pham Ngoc Hung, Viet, Ha Nguyen, Toshiaki Aoki, Takuya Katayama
2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27 - March 1, 2012, 1-6, 2012
A Variability Management Method for Software Configuration Files.
Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, 672-677, 2012
Faithfully formalizing OSEK/VDX operating system specification.
Dieu-Huong Vu, Toshiaki Aoki
Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012, 13-20, 2012
UMLに基づくRTOS設計検証のための環境自動生成法
矢竹健朗, 青木利晃
コンピュータソフトウェア, 29, 3, 3.121-3.142 (J-STAGE)-3_142, 2012
PBL形式による組込みシステム開発演習教育-開発プロセスの発見と品質特性の実現-
鈴木 正人, 矢竹 健朗, 青木 利晃, 落水 浩一郎
組込みシステムシンポジウム2011論文集, 2011, 7-1-7-10, 2011
Conformance Testing for OSEK/VDX Operating System Using Model Checking
Jiang Chen, Toshiaki Aoki
2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 274-281, 2011
Automated Adaptor Generation for Services Based on Pushdown Model Checking
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 130-139, 2011
Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking.
Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks,Array
IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, 722-723, 2011
A Minimized Assumption Generation Method for Component-Based Software Verification
Ngoc Hung Pham, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E93D, 8, 2172-2181, 2010
Non-regular Adaptation of Services Using Model Checking.
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010, 170-174, 2010
Modeling of Real-Time System Designs for Parametric Analysis
Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama
16TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2010), 81-91, 2010
Automatic Generation of Model Checking Scripts Based on Environment Modeling
Kenro Yatake, Toshiaki Aoki
MODEL CHECKING SOFTWARE, 6349, 58-75, 2010
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
Ngoc Hung Pham, Toshiaki Aoki, Takuya Katayama
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E92A, 11, 2772-2780, 2009
MCBOK2008:ソフトウェア開発のためのモデル検査知識体系
西原秀明, 青木利晃, 粂野文洋, 篠崎孝一, 田口研治, 早水公二
情報処理学会シンポジウム論文集, 2009, 10, 49-57, 2009
環境モデリングによるモデル検査スクリプトの自動生成
矢竹健朗, 西端浩和, 青木利晃
情報処理学会シンポジウム論文集, 2009, 10, 59-64, 2009
Evolution of a course on model checking for practical applications.
Yasuyuki Tahara, Array, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
SIGCSE Bulletin, 41, 2, 38-44, 2009
Model checking education for software engineers in Japan.
Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
SIGCSE Bulletin, 41, 2, 45-50, 2009
A Minimized Assumption Generation Method for Component-Based Software Verification
Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2009, 5684, 277-291, 2009
Detecting and Analyzing State Inconsistencies in Multi-task Software
Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi
PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 326-+, 2009
An Effective Framework for Assume-Guarantee Verification of Evolving Component-Based Software
Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
IWPSE-EVOL 09: ERCIM WORKSHOP ON SOFTWARE EVOLUTION (EVOL) AND INTERNATIONAL WORKSHOP ON PRINCIPLES OF SOFTWARE EVOLUTION (IWPSE), 109-118, 2009
モデル検査によるリアルタイムオペレーティングシステムの設計検証
青木利晃, 山崎真吾
情報処理学会シンポジウム論文集, 2008, 9, 159-166, 2008
Education Course of Practical Model Checking
Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
First International Workshop on Formal Methods Education and Training, Technical Report GRACE-TR-2008-03, 3, 33-48, 2008
Model checking multi-task software on real-time operating systems
Toshiaki Aoki
ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 551-555, 2008
マルチタスクソフトウェアにおけるタスク間状態不一致問題の検出と解析
青木利晃, 関口正, 平山雅之, 岸知二
情報処理学会シンポジウム論文集, 2007, 8, 102-110, 2007
周期イベントに基づいた並行タスクの振る舞いの検証法
青木利晃
情報処理学会シンポジウム論文集, 2007, 3, 7-8, 2007
Statechart-based verification of object-oriented design model
Toshiaki Aoki, Takuya Katayama
14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 278-+, 2007
SPLC 2007 Dectoral Symposium.
Jaejoon Lee, Isabel John, Toshiaki Aoki,John, D. McGregor
Software Product Lines, 11th International Conference, SPLC 2007, Kyoto, Japan, September 10-14, 2007, Proceedings. Second Volume (Workshops), 155-156, 2007
RTOSに基づいたソフトウェアのためのモデル検査ライブラリ
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 2005, 12, 56-63, 2005
Highly reliable embedded software development using advanced software technologies
T Katayama, T Nakajima, T Yuasa, T Kishi, S Nakajima, S Oikawa, M Yasugi, T Aoki, M Okazaki, S Umatani
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E88D, 6, 1105-1116, 2005
ディペンダブルソフトウェア 並行オブジェクトから並行処理列への変換法
岡崎光隆, 青木利晃, 片山卓也
コンピュータソフトウェア, 22, 2, 58-73, 2005
コラボレーションに基づくオブジェクト指向モデルの検証
矢竹 健朗, 青木 利晃, 片山 卓也, Kenro Yatake, Toshiaki Aoki, Takuya Katayama, さきがけ, Japan Advanst, Institute of Science, Technology, Japan Advanst, Institute of Science, Technology:PRESTO, Japan Advanst, Institute of Science, Technology
コンピュータソフトウェア, 22, 1, 58-76, 2005
システム検証の科学技術 コラボレーションに基づくオブジェクト指向モデルの検証
矢竹健朗, 青木利晃, 片山卓也
コンピュータソフトウェア, 22, 1, 58-76, 2005
Implementing application-specific Object-Oriented theories in HOL
K Yatake, T Aoki, T Katayama
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 3722, 501-516, 2005
Formalization and analysis of dataflow in object-oriented design models
T Aoki, T Katayama
ISORC 2005: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Proceedings, 95-105, 2005
センサーのモデル化とモデル検査技術の適用について
青木利晃, 岸知二, 片山卓也
情報処理学会シンポジウム論文集, 2004, 10, 118-125, 2004
オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
青木利晃, 片山卓也
コンピュータソフトウェア, 21, 4, 235-260, 2004
Foundations for evolutionary construction of state transition models
T Aoki, T Katayama
7TH INTERNATIONAL WORKSHOP ON PRINCIPLES OF SOFTWARE EVOLUTION, 143-146, 2004
Collaboration-based verification of Object-Oriented models in HOL.
Kenro Yatake, Toshiaki Aoki, Takuya Katayama
Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, 78-80, 2004
Project report: High-reliable object-oriented embedded software design
T Kishi, T Aoki, S Nakajima, N Noda, T Katayama
SECOND IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, 144-148, 2004
振舞い近似手法を用いたステートチャートに対する不変性の検証
立石孝彰, 青木利晃, 片山卓也
情報処理学会論文誌, 44, 6, 1448-1460, 2003
Extracting threads from concurrent objects for the design of embedded systems
M Okazaki, T Aoki, T Katayama
APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, 107-116, 2002
定理証明技術のオブジェクト指向分析への適用
青木利晃, 立石孝彰, 片山卓也
コンピュータソフトウェア, 18, 4, 416-445, 2001
An Axiomatic Formalization of UML Models.
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the ≪UML≫2001, October 1st, 2001 in Toronto, Canada, 13-28, 2001
オブジェクト指向組み込みシステム開発のためのSES‐Basedアプローチ
青木利晃, 内藤壮司, 片山卓也
コンピュータソフトウェア, 16, 2, 155-159, 1999
How to support verification of object-oriented analysis model using HOL
T Aoki, M Hanada, T Katayama
WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS, 525-532, 1999
オブジェクト指向方法論のための形式的モデル
青木利晃
日本ソフトウェア科学会学会誌, コンピュータソフトウェア, 16, 1, 12-32, 1999
Formal model approach for reliable Object-Oriented information system design
T Aoki, T Katayama
WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS, 228-235, 1998
Unification and consistency verification of object-oriented analysis models
T Aoki, T Katayama
1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 296-303, 1998