|
発表年月
|
タイトル／共同研究者
|
掲載誌
|
巻・号・頁
|
学術機関等
|
| 2024/03 |
Towards a DevOps Modeling based on Context-Oriented Programming
Harumi Watanabe, Nobuhiko Ogura, Kenji Hisazumi
|
The International Conference on the Art, Science, and Engineering of Programming (Programming 2024) |
|
|
| 2024/02 |
Context-Oriented Programming in Traffic Flow Simulation: Advancing Smart Mobility System Development
Kenji Hisazumi, Hiromasa Inoki
|
International Conference on Software and Computer Applications (ICSCA 2024) |
|
|
| 2024/01 |
APRIS Robot Challenge: Collaborative Online Interdisciplinary and International Learning for IoT/Robotics Systems.
Kenji Hisazumi, Takeshi Ohkawa, Masafumi Miwa, Mikiko Sato, Takashi Nagai, Nobuhiro Ohe, Kittikhun Thongpull, Nattha Jindapetch,
Harumi Watanabe
|
EDUCON |
1から
8ページまで
|
|
| 2023/11 |
Automated Review Tool for Educational Models Utilizing Generative AI
Daisuke Saito, Taiyou Minagawa, Kenji Hisazumi
|
Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023) |
|
|
| 2023/02 |
xtUML-COP: xtUML Modeling Tool for Context-Oriented Programming
Shintaro Takenaka, Kenji Hisazumi
|
Proceedings of the 17h South East Asian Technical University Consortium |
|
|
| 2022/11 |
xtUML-COP: xtUML modeling tool with COP extensions
Shintaro Takenaka, Kenji Hisazumi
|
Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2022)} |
|
|
| 2022/02 |
Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model
Masamichi Kakeshtia, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
|
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development |
234から
241ページまで
|
|
| 2022/01 |
1A10 サイバーフィジカル連携でのプロトタイプ開発によるIoT教育法の検討
大江 信宏, 久住 憲嗣, 大川 猛, 佐藤 未来子, 三輪 昌史, 渡辺 晴美
|
工学教育研究講演会講演論文集 |
2022巻
18から
19ページまで
|
公益社団法人 日本工学教育協会 |
| 2021/11 |
Improving the Accuracy of Estimating the Probability of Test Case Generation for Simulink Models Using Machine Learning
Tiancheng Jin, Takuya Ogata, Yuge Liu, Kenji Hisazumi
|
Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2021) |
|
|
| 2021/11 |
A Reverse Modeling Method of MATLAB/Simulink Model for The Functional Resonance Analysis Method
Masamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
|
Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2021) |
|
|
| 2021/10 |
Context-oriented Design Method for UML State Machine Diagram
Shintaro Takenaka, Kenji Hisazumi
|
Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2021) |
|
|
| 2021/01 |
Layer Modeling and Its Code Generation based on Context-oriented Programming.
Chinatsu Yamamoto, Ikuta Tanigawa, Kenji Hisazumi, Mikiko Sato, Takeshi Ohkawa, Nobuhiko Ogura, Harumi Watanabe
|
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development(MODELSWARD) |
330から
336ページまで
|
SCITEPRESS |
| 2020/11 |
An Inter-Organizational Software Architecture for Smart Mobility
Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda
|
ACM International Conference Proceeding Series |
41から
46ページまで
|
|
| 2020/11 |
IoT Devices Sharing System Using Smart Contract
Wentao Tang, Kenji Hisazumi
|
Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020) |
|
|
| 2020/10 |
A method for determining whether a Simulink model is ready for test generation
Takuya Ogata, Yuge Liu, Kenji Hisazumi
|
Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020) |
|
|
| 2020/07 |
PLAM: Preemptive Layer Activation Architecture based on Multithreading in Context-Oriented Programming
Zihan Liu, Ikuta Tanigawa, Harumi Watanabe, Kenji Hisazumi
|
Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, COP 2020 |
|
|
| 2020/03 |
A Predictive Model for Height Tracking in an Adult Male Population in Bangladesh to Reduce Input Errors.
Mehdi Hasan, Fumihiko Yokota, Rafiqul Islam, Kenji Hisazumi, Akira Fukuda, Ashir Ahmed
|
International journal of environmental research and public health |
17巻
5号
|
|
| 2020/01 |
A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre
Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda
|
Proceedings of the 3rd International Conference on Information Science and System |
166から
170ページまで
|
|
| 2020/01 |
Travel Behavior of SME Employees in Their Work Commute in Emerging Cities: A Case Study in Dhaka City, Bangladesh
Nuren Abedin, MdMahmudur Rahman, MuhammadI. Hossain, Kenji Hisazumi, Ashir Ahmed
|
Sustainability |
12巻
24号
1から
16ページまで
|
|
| 2019/09 |
Object-Oriented Context Description for Movie Based Context-Aware Language Learning
Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
|
International Journal of Advanced Computer Science and Applications (IJACSA) |
|
|
| 2019/08 |
Affordable Rideshare Service for Female Urban Corporates in Developing Countries: A Case Study in Dhaka, Bangladesh.
Nuren Abedin, Kenji Hisazumi, Ashir Ahmed
|
HCI International 2019 - Late Breaking Posters - 21st HCI International Conference |
283から
289ページまで
|
Springer |
| 2019/08 |
RTCOP:組込みソフトウェア開発への適用を考慮したC++ベースのコンテキスト指向プログラミングフレームワーク
谷川郁太, 久住憲嗣, 小倉信彦, 菅谷みどり, 渡辺晴美, 福田晃
|
情報処理学会論文誌 組込みシステム工学特集号 |
|
|
| 2019/07 |
Development of the Food Culture Database System using Kataribe Cloud to Support Open Science
Go Hirakawa, Daisuke Ikeda, Kenji Hisazumi, Akira Fukuda
|
Proceedings - 2019 8th International Congress on Advanced Applied Informatics, IIAI-AAI 2019 |
391から
394ページまで
|
Institute of Electrical and Electronics Engineers Inc. |
| 2019/07 |
Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering
Kenji Hisazumi, Yuedong Xiao, Akira Fukuda
|
Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019 |
322から
329ページまで
|
Institute of Electrical and Electronics Engineers Inc. |
| 2019/01 |
DFEAM: Dynamic feature-oriented energy-aware adaptive modeling
Fumiya Tanaka, Kenji Hisazumi, Akira Fukuda
|
MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development |
292から
299ページまで
|
SciTePress |
| 2019/01 |
RTCOP: Context-Oriented Programming Framework based on C plus plus for Application in Embedded Software
Ikuta Tanigawa, Kenji Hisazumi, Nobuhiko Ogura, Midori Sugaya, Harumi Watanabe, Akira Fukuda
|
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND SYSTEMS (ICISS 2019) |
65から
72ページまで
|
ASSOC COMPUTING MACHINERY |
| 2019/01 |
Prototype of FPGA Dynamic Reconfiguration Based-on Context-Oriented Programming.
Takeshi Ohkawa, Ikuta Tanigawa, Mikiko Sato, Kenji Hisazumi, Nobuhiko Ogura, Harumi Watanabe
|
13th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip(MCSoC) |
116から
122ページまで
|
IEEE |
| 2018/12 |
Assessment Map for Multidisciplinary Abilities for IoT System Development Education based on a Robot Contest
H. Watanabe, M. Sato, M. Miwa, M. Imamura, S. Hosoai, N. Ogura, H. Nakamura, K. Hisazumi
|
2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) |
995から
1000ページまで
|
IEEE |
| 2018/12 |
An Interdisciplinary and University PBL Curriculum Using Robot Challenge
K. Hisazumi, S. Hosoai, H. Watanabe, M. Miwa, N. Ogura, M. Motoki
|
2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) |
2016巻
EMB-43号
308から
315ページまで
|
|
| 2018/05 |
Multidisciplinary skill assessment for embedded software development education via a robot contest
Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi
|
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings |
|
ACM |
| 2018/05 |
ユーザ利用実態調査に基づくスマートフォン利用モデル
神山 剛, 久住 憲嗣, 稲村 浩, 小西 哲平, 太田 賢, 福田 晃
|
情報処理学会論文誌コンシューマ・デバイス＆システム（CDS） |
8巻
2号
84から
102ページまで
|
|
| 2018/02 |
Compulsory Game based Robot Contest for Embedded System Development Education
Harumi Watanabe, Mikiko Sato, Masafumi Miwa, Makoto Imamura, Shintaro Hosoai, Nobuhiko Ogura, Hiroyuki Nakamura, Kenji Hisazumi
|
Proceedings of the 2018 7th International Conference on Software and Computer Applications |
|
ACM |
| 2018/01 |
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -.
Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi
Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li
0001
|
7th International Congress on Advanced Applied Informatics(IIAI-AAI) |
81から
85ページまで
|
IEEE |
| 2018/01 |
Verification Model Translation Method toward Behavior Model for CAST.
Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
|
5th International Conference on Dependable Systems and Their Applications(DSA) |
142から
147ページまで
|
IEEE |
| 2018/01 |
Software Engineering Practices for the Smart Mobility Market.
Tsuneo Nakanishi, Kenji Hisazumi, Takahiro Ando, Tsunenori Mine, Akira Fukuda
|
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, July 8-13, 2018 |
115から
120ページまで
|
IEEE |
| 2018/01 |
Overview and Application Examples of Agent-Based Unified Simulation Environment.
Takahiro Ando, Ryo Fujii, Kenji Hisazumi, Tsunenori Mine, Tsuneo Nakanishi, Akira Fukuda
|
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, July 8-13, 2018 |
92から
97ページまで
|
IEEE |
| 2018/01 |
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility.
Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi, Tsuneo Nakanishi,
Akira Fukuda
|
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, July 8-13, 2018 |
109から
114ページまで
|
IEEE |
| 2018/01 |
A Process of Uncertainty Handling Method to Smart Mobility Application Development.
Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneo Nakanishi
|
7th International Congress on Advanced Applied Informatics(IIAI-AAI) |
98から
103ページまで
|
IEEE |
| 2018/01 |
Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview
Akira Fukuda, Kenji Hisazumi, Tsunenori Mine, Shigemi Ishida, Takahiro Ando, Shota Ishibashi, Shigeaki Tagashira, Kunihiko
Kaneko, Yutaka Arakawa, Weiqiang Kong, Guoqiang Li
|
NEW TRENDS IN E-SERVICE AND SMART COMPUTING |
742巻
35から
46ページまで
|
SPRINGER INTERNATIONAL PUBLISHING AG |
| 2018/01 |
Verification Model Translation Method toward Behavior Model for CAST
Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
|
2018 5TH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA) |
142から
147ページまで
|
IEEE |
| 2018/01 |
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -
Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi
Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weidiang Kong, Guoqiang Li
|
2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018) |
81から
85ページまで
|
IEEE |
| 2018/01 |
A Process of Uncertainty Handling Method to Smart Mobility Application Development
Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneno Nakanishi
|
2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018) |
98から
103ページまで
|
IEEE |
| 2018/01 |
Using fault injection for programming task generation
Baso Habibi, Tsuneo Nakanishi, Kenji Hisazumi, Hiroki Furusho, Akira Fukuda
|
Advances in Intelligent Systems and Computing |
716巻
559から
566ページまで
|
Springer Verlag |
| 2016/12 |
A traceability tool for model-based development dealing with uncertainties
Go Hirakawa, Kenji Hisazumi, Ryoichi Nagatsuji, Tsuneo Nakanishi, Akira Fukuda
|
International Journal of Advances in Software Engineering & Research Methodology, Vol. 3 |
|
|
| 2016/12 |
Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC
Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Hisazumi Kenji, Akira Fukuda
|
Journal of Information Security and Application, Elsevier |
31巻
61から
74ページまで
|
|
| 2016/10 |
学会実施のコンテスト型PBLによる組込みシステム教育
渡辺晴美, 三輪昌史, 元木誠, 小倉信彦, 久保秋真, 細合晋太郎, 菅谷みどり, 久住憲嗣
|
工学教育, Vol. 64, No. 3, 公益社団法人 日本工学教育協会, pp.341--346 |
64巻
3号
341から
346ページまで
|
|
| 2016/01 |
Operation Phase Metrics for Smart Mobility Platform
Kenji Hisazumi, Tsuneo Nakanishi, Shota Ishibashi, Go Hirakawa, Tsunenori Mine, Takahiro Ando, Hiroki Furusho, Akira Fukuda
|
2016 IEEE INTERNATIONAL CONFERENCE ON AGENTS (IEEE ICA 2016) |
150から
153ページまで
|
IEEE |
| 2016/01 |
Dynamic SPL and Derivative Development with Uncertainty Management for DevOps
Tsuneo Nakanishi, Hiroki Furusho, Kenji Hisazumi, Akira Fukuda
|
PROCEEDINGS 2016 5TH IIAI INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS IIAI-AAI 2016 |
244から
249ページまで
|
IEEE |
| 2016/01 |
ZipPath: A Simple-but-Useful Path Finder for HSTM Designs in ZIPC
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
|
2016 IEEE INTERNATIONAL CONFERENCE ON AGENTS (IEEE ICA 2016) |
154から
157ページまで
|
IEEE |
| 2016/01 |
Smartphone Usage Analysis Based on Actual-Use Survey.
Takeshi Kamiyama, Kenji Hisazumi, Hiroshi Inamura, Teppei Konishi, Ken Ohta, Akira Fukuda
|
Proceedings of the 8th EAI International Conference on Mobile Computing, Applications and Services(MobiCASE) |
108から
116ページまで
|
ACM / ICST |
| 2016/01 |
Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview.
Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka
Arakawa, Kunihiko Kaneko, Weiqiang Kong
|
5th IIAI International Congress on Advanced Applied Informatics(IIAI-AAI) |
211から
214ページまで
|
IEEE Computer Society |
| 2016/01 |
A Layer-Structure Diagram and a Layer-Interaction Diagram towards a Context-Oriented Development Methodology for Embedded
Systems
Harumi Watanabe, Ikuta Tanigawa, Midori Sugaya, Nobuhiko Ogura, Kenji Hisazumi
|
COMPANION PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY COMPANION'16) |
125から
130ページまで
|
ASSOC COMPUTING MACHINERY |
| 2015/10 |
A development of educational robot software for Master's course students
Harumi Watanabe, Ikuta Tanigawa, Midori Sugaya, Nobuhiko Ogura, Kenji Hisazumi
|
2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015 - Proceedings |
|
|
| 2015/07 |
A study of context-oriented programming for applying to robot development
Harumi Watanabe, Midori Sugaya, Ikuta Tanigawa, Nobuhiko Ogura, Kenji Hisazumi
|
International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented
Programming, ECOOP 2015
|
|
Association for Computing Machinery, Inc |
| 2015/03 |
A structure of a C# framework ContextCS based on context-oriented programming
Ikuta Tanigawa, Nobuhiko Ogura, Midori Sugaya, Harumi Watanabe, Kenji Hisazumi
|
ACM International Conference Proceeding Series |
2015-巻
21から
22ページまで
|
Association for Computing Machinery |
| 2015/01 |
Power Consumption Profiling Method Based on Android Application Usage
Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Tsuneo Nakanishi, Akira Fukuda
|
Lecture Notes in Electrical Engineering |
339巻
891から
898ページまで
|
Springer Verlag |
| 2015/01 |
Reference Model of Specifications toward Independent Verification and Validation
Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda, Michihiro Matsumoto, Yasutaka Michiura
|
TENCON 2015 - 2015 IEEE REGION 10 CONFERENCE |
|
IEEE |
| 2015/01 |
Design of GUI-Component Energy Profiler for Android Applications
Kazuki Hatayama, Kenji Hisazumi, Kana Yoshise, Shigemi Ishida, Akira Fukuda
|
TENCON 2015 - 2015 IEEE REGION 10 CONFERENCE |
|
IEEE |
| 2014/09 |
Translation Rules of SysML State Machine Diagrams into CSP# toward Formal Model Checking
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Hisazumi Kenji, Akira Fukuda
|
International Journal of Web Information Systems |
Vol. 10巻
Issue: 2号
151から
169ページまで
|
|
| 2014/08 |
Androidアプリケーションの利用情報に基づく消費電力分析手法
古庄 裕貴, 久住 憲嗣, 神山 剛, 稲村 浩, 中西 恒夫, 福田 晃
|
情報処理学会論文誌 |
55巻
8号
1807から
1816ページまで
|
|
| 2014/08 |
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Hisazumi Kenji, Akira Fukuda
|
The British Computer Society |
Vol. 55巻
11号
0から
17ページまで
|
|
| 2014/01 |
Movie based context-aware language learning: Its concept and system
Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
|
Proceedings - IEEE 6th International Conference on Technology for Education, T4E 2014 |
164から
167ページまで
|
Institute of Electrical and Electronics Engineers Inc. |
| 2014/01 |
オブジェクト指向モデリング教育におけるモデル駆動開発ツールの活用方法の検討，情報処理学会 論文誌Vol.55，No.1，pp.72-84， 2014.1．
赤山聖子, 久住 憲嗣, 部谷修平, 福田 晃
|
情報処理学会 |
72から
84ページまで
|
|
| 2013/02 |
A model transformation method for evaluation of non-functional requirements of an embedded system architecture
Ryo Kawahara, Kouichi Ono, Takeo Nakada, Hirotsugu Okabayashi, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda, Yoshifumi Sakamoto,
Tadashi Nagano
|
Computer Software |
30巻
1号
203から
210ページまで
|
|
| 2013/01 |
組込みシステムのアーキテクチャー検討における性能評価に適したモデル変換手法
河原亮, 岡林弘嗣, 久住憲嗣, 小野康一, 中田武男, 坂本佳史, 長野正, 中西恒夫, 福田晃
|
コンピュータソフトウェア |
30巻
1号
203から
210ページまで
|
|
| 2013/01 |
Domain Analysis for Mining Software Repositories: Towards Feature-Based DSL Construction
Changyun Huang, Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi
|
2013 4TH INTERNATIONAL WORKSHOP ON PRODUCT LINE APPROACHES IN SOFTWARE ENGINEERING (PLEASE) |
41から
44ページまで
|
IEEE |
| 2013/01 |
Formalization and Model Checking of SysML State Machine Diagrams by CSP#
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
|
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2013), PT III |
7973巻
114から
127ページまで
|
SPRINGER-VERLAG BERLIN |
| 2013/01 |
Towards Formal Description of Standards for Automotive Operating Systems.
Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
|
Sixth IEEE International Conference on Software Testing, Verification and Validation |
13から
14ページまで
|
IEEE Computer Society |
| 2013/01 |
Using model-driven development tools for object-oriented modeling education
Seiko Akayama, Kenji Hisazumi, Syuhei Hiya, Akira Fukuda
|
CEUR Workshop Proceedings |
1134巻
|
CEUR-WS |
| 2013/01 |
Clooca : Web based tool for domain specific modeling
Shuhei Hiya, Kenji Hisazumi, Akira Fukuda, Tsuneo Nakanishi
|
CEUR Workshop Proceedings |
1115巻
31から
35ページまで
|
CEUR-WS |
| 2013/01 |
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
|
20th Asia-Pacific Software Engineering Conference |
355から
362ページまで
|
IEEE Computer Society |
| 2013/01 |
Formalization and Model Checking of SysML State Machine Diagrams by CSP#.
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
|
Computational Science and Its Applications - ICCSA 2013 - 13th International Conference |
114から
127ページまで
|
Springer |
| 2013/01 |
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
|
2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1 |
355から
362ページまで
|
IEEE COMPUTER SOC |
| 2012/01 |
QORAL: An external domain-specific language for mining software repositories
Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda
|
Proceedings - 2012 4th International Workshop on Empirical Software Engineering in Practice, IWESEP 2012 |
23から
29ページまで
|
|
| 2012/01 |
Poster: an energy profiler for android applications used in the real world.
Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Tsuneo Nakanishi, Akira Fukuda
|
The 10th International Conference on Mobile Systems, Applications, and Services(MobiSys) |
517から
518ページまで
|
ACM |
| 2012/01 |
Using the GPGPU for scaling up mining software repositories
Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda
|
Proceedings - International Conference on Software Engineering |
1435から
1436ページまで
|
|
| 2011/05 |
Applying Domain Specific Modeling for Environmental Sensing Using Wireless Sensor Network
Mohammad Fajar, Kenji Hisazumi, Tsuneo Nakanishi and Akira Fukuda
|
Asian Journal of Information Technology |
|
|
| 2011/01 |
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
|
2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011) |
81から
88ページまで
|
IEEE COMPUTER SOC |
| 2011/01 |
組込みソフトウェアの性能評価のための実行トレースの捨象にもとづくモデリング手法
小野康一, 豊田学, 河原亮, 高鏞守, 中村健太, 坂本佳史, 中田武男, 福岡直明, 久住憲嗣
|
コンピュータソフトウェア |
28巻
3号
97から
113ページまで
|
|
| 2010/03 |
プロダクトライン開発向け開発資産表現FRMモデルの提案
服部 勇祐, 平川 剛, 芦原 秀一, 中西 恒夫, 久住 憲嗣, 福田 晃
|
九州大学大学院システム情報科学紀要 |
15巻
1号
37から
42ページまで
|
九州大学大学院システム情報科学研究院 |
| 2010/01 |
An experience report of introducing product line engineering across the board
Takashi Iwasaki, Makoto Uchiba, Jun Ohtsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
|
SPLC 2010 - Proceedings of the 14th International Software Product Line Conference |
255から
258ページまで
|
Lancaster University |
| 2009/01 |
A Methodology for improving reusability of educational materials using product line software engineering
Takahiro Okada, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
|
Proceedings of the 17th International Conference on Computers in Education, ICCE 2009 |
170から
172ページまで
|
|
| 2005/01 |
Positioning technique of wireless LAN terminals using RSSI between terminals
T Kitasuka, K Hisazumi, T Nakanishi, A Fukuda
|
PSC '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PERVASIVE SYSTEMS AND COMPUTING |
47から
53ページまで
|
C S R E A PRESS |
| 2004/01 |
Design of a context-aware message exchange system in an ad-hoc network
K Imanishi, K Hisazumi, T Nakanishi, T Kitasuka, A Fukuda
|
PDPTA '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS,
VOLS 1-3
|
1142から
1146ページまで
|
C S R E A PRESS |
| 2003/01 |
Design of a Context-Aware Email Delivery System
K Imanishi, K Hisazumi, T Nakanishi, T Kitasuka, A Fukuda
|
PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS,
VOLS 1-4
|
744から
750ページまで
|
C S R E A PRESS |
| 2003/01 |
A context-aware middleware mapping processes and user-context subspaces
K Hisazumi, T Nakanishi, T Kitasuka, A Fukuda
|
PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS,
VOLS 1-4
|
1591から
1597ページまで
|
C S R E A PRESS |