Research Output per year
Research Output 2002 2019
- 1 - 50 out of 66 results
- Publication Year, Title (descending)
2019
An Interdisciplinary and University PBL Curriculum Using Robot Challenge
Kenji, H., Hosoai, S., Watanabe, H., Miwa, M., Ogura, N. & Motoki, M., Jan 16 2019, Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018. Lee, M. J. W., Nikolic, S., Wong, G. K. W., Shen, J., Ros, M., Lei, L. C. U. & Venkatarayalu, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 308-315 8 p. 8615301. (Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
robot
Embedded systems
Curricula
Robots
curriculum
Assessment Map for Multidisciplinary Abilities for IoT System Development Education based on a Robot Contest
Watanabe, H., Sato, M., Miwa, M., Imamura, M., Hosoai, S., Ogura, N., Nakamura, H. & Kenji, H., Jan 16 2019, Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018. Lee, M. J. W., Nikolic, S., Wong, G. K. W., Shen, J., Ros, M., Lei, L. C. U. & Venkatarayalu, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 995-1000 6 p. 8615388. (Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
system development
robot
Education
Robots
Internet
DFEAM: Dynamic feature-oriented energy-aware adaptive modeling
Tanaka, F., Kenji, H. & Fukuda, A., Jan 1 2019, MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Selic, B. & Pires, L. F. (eds.). SciTePress, p. 292-299 8 p. (MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Electric power utilization
Quality of service
Unified Modeling Language
Power quality
Embedded systems
Feature Extraction from Japanese Natural Language Requirements Documents for Software Product Line Engineering
Hisazumi, K., Xiao, Y. & Fukuda, A., Jul 2019, Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. Institute of Electrical and Electronics Engineers Inc., p. 322-329 8 p. 8859423. (Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Feature extraction
ranking
candidacy
engineering
Specifications
RTCop: Context-oriented programming framework based on C++ for application in embedded software
Tanigawa, I., Kenji, H., Ogura, N., Sugaya, M., Watanabe, H. & Fukuda, A., Jan 1 2019, ACM International Conference Proceeding Series. Association for Computing Machinery, p. 65-72 8 p. (ACM International Conference Proceeding Series; vol. Part F148384).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Embedded software
Computer programming
Embedded systems
Computer programming languages
Chemical activation
2018
A Process of Uncertainty Handling Method to Smart Mobility Application Development
Inoki, H., Kenji, H., Ando, T., Fukuda, A. & Nakanishi, T., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 98-103 6 p. 8693343. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
uncertainty
Specifications
Parking
development model
system development
1
Citation
(Scopus)
Compulsory game based robot contest for embedded system development education
Watanabe, H., Sato, M., Miwa, M., Imamura, M., Hosoai, S., Ogura, N., Nakamura, H. & Hisazumi, K., Feb 8 2018, Proceedings of 2018 7th International Conference on Software and Computer Applications, ICSCA 2018. Association for Computing Machinery, p. 259-263 5 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Embedded systems
Education
Robots
Students
Control theory
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility
Mine, T., Mise, S., Nakamura, H., Hiraoki, T., Koga, S., Ando, T., Kenji, H., Nakanishi, T. & Fukuda, A., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 109-114 6 p. 8693406. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Recommender systems
Websites
Students
means of transport
event
1
Citation
(Scopus)
Model-based methodology establishing traceability between requirements, design and operation information in lifecycle-oriented architecture
Ishibashi, S., Kenji, H., Nakanishi, T. & Fukuda, A., Jan 1 2018, Studies in Computational Intelligence. Springer Verlag, p. 47-63 17 p. (Studies in Computational Intelligence; vol. 742).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Uncertainty
1
Citation
(Scopus)
Multidisciplinary skill assessment for embedded software development education via a robot contest
Watanabe, H., Sato, M., Miwa, M., Imamura, M., Hosoai, S., Ogura, N., Nakamura, H. & Kenji, H., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 151-152 2 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Embedded software
Software engineering
Education
Robots
Engineers
Object-oriented context description for movie based context-aware language learning
Hazriani, Nakanishi, T., Kenji, H. & Fukuda, A., Jan 1 2018, In : International Journal of Advanced Computer Science and Applications. 9, 4, p. 350-357 8 p.Research output: Contribution to journal › Article
Processing
Overview and Application Examples of Agent-Based Unified Simulation Environment
Ando, T., Fujii, R., Kenji, H., Mine, T., Nakanishi, T. & Fukuda, A., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 92-97 6 p. 8693249. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
simulation
Simulators
transport system
Simulation
Agent-based
Software Engineering Practices for the Smart Mobility Market
Nakanishi, T., Kenji, H., Ando, T., Mine, T. & Fukuda, A., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 115-120 6 p. 8693340. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Software engineering
engineering
Supply chain management
market
Failure modes
1
Citation
(Scopus)
Toward sustainable smart mobility information infrastructure platform: Project overview
Fukuda, A., Kenji, H., Mine, T., Ishida, S., Ando, T., Ishibashi, S., Tagashira, S., Kaneko, K., Arakawa, Y., Kong, W. & Li, G., Jan 1 2018, Studies in Computational Intelligence. Springer Verlag, p. 35-46 12 p. (Studies in Computational Intelligence; vol. 742).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Life cycle
Uncertainty
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status - Current S
Fukuda, A., Nakanishi, T., Hisazumi, K., Kaneko, K., Tagashira, S., Mine, T., Arakawa, Y., Ishida, S., Ando, T., Ashihara, S., Ura, M., Nakamura, Y., Nakamura, S., Kong, W. & Li, G., Jul 2 2018, Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018. Institute of Electrical and Electronics Engineers Inc., p. 81-85 5 p. 8693306. (Proceedings - 2018 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Life cycle
Systems analysis
infrastructure
system development
transportation system
Using fault injection for programming task generation
Habibi, B., Nakanishi, T., Kenji, H., Furusho, H. & Fukuda, A., Jan 1 2018, Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning. Auer, M. E., Simonics, I. & Guralnick, D. (eds.). Springer Verlag, p. 559-566 8 p. (Advances in Intelligent Systems and Computing; vol. 716).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Students
Verification model translation method toward behavior model for CAST
Ando, T., Wang, B., Kenji, H., Kong, W., Fukuda, A., Michiura, Y., Sakemi, K. & Matsumoto, M., Dec 5 2018, Proceedings - 2018 5th International Conference on Dependable Systems and Their Applications, DSA 2018. Institute of Electrical and Electronics Engineers Inc., p. 142-147 6 p. 8563204. (Proceedings - 2018 5th International Conference on Dependable Systems and Their Applications, DSA 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model checking
diagrams
Accidents
accidents
communication
2017
1
Citation
(Scopus)
A methodology to develop energy adaptive software using model-driven development
Tanaka, F., Kenji, H., Ishida, S. & Fukuda, A., Dec 19 2017, TENCON 2017 - 2017 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., p. 769-774 6 p. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2017-December).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Electric power utilization
Quality of service
Power quality
Embedded systems
Hardware
2
Citations
(Scopus)
A software energy analysis method using ExecutableUML
Yoshimoto, R., Kadono, T., Kenji, H. & Fukuda, A., Feb 8 2017, Proceedings of the 2016 IEEE Region 10 Conference, TENCON 2016. Institute of Electrical and Electronics Engineers Inc., p. 218-221 4 p. 7847993. (IEEE Region 10 Annual International Conference, Proceedings/TENCON).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Energy utilization
Embedded systems
Electric power utilization
3
Citations
(Scopus)
Operation phase metrics for smart mobility platform
Kenji, H., Nakanishi, T., Ishibashr, S., Hirakawa, G., Mine, T., Ando, T., Furusw, H. & Fukuda, A., Jan 10 2017, Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., p. 150-153 4 p. 7812996Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Metric
Evaluate
Requirements
Framework
ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC
Kong, W., Hou, G., Hu, X., Arimoto, Y., Watanabe, M., Ando, T., Kenji, H. & Fukuda, A., Jan 10 2017, Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., p. 154-157 4 p. 7812997. (Proceedings - 2016 International Conference on Agents, ICA 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Transition Matrix
State Transition
Path
Software design
Software Design
2016
A layer-structure diagram and a layer-interaction diagram towards a context-oriented development methodology for embedded systems
Watanabe, H., Tanigawa, I., Sugaya, M., Ogura, N. & Kenji, H., Mar 14 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity. Batory, D., Fuentes, L. & Czarnecki, K. (eds.). Association for Computing Machinery, Inc, p. 125-130 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Embedded systems
Time delay
Robots
Processing
Design of GUI-component energy profiler for android applications
Hatayama, K., Hisazumi, K., Yoshise, K., Ishida, S. & Fukuda, A., Jan 5 2016, TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., 7372762. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2016-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Graphical user interfaces
Energy utilization
Data flow analysis
3
Citations
(Scopus)
Dynamic SPL and derivative development with uncertainty management for DevOps
Nakanishi, T., Furusho, H., Kenji, H. & Fukuda, A., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 244-249 6 p. 7557611. (Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Adaptive systems
Derivatives
Uncertainty
5
Citations
(Scopus)
Establishing traceability between requirements, design and operation information in lifecycle-oriented architecture
Ishibashi, S., Kenji, H., Nakanishi, T. & Fukuda, A., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Institute of Electrical and Electronics Engineers Inc., p. 234-239 6 p. 7557609Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Uncertainty
1
Citation
(Scopus)
Garakabu2: An SMT-based Bounded Model Checker for HSTM Designs in ZIPC
Kong, W., Ando, T., Yatsu, H., Kenji, H. & Fukuda, A., Mar 15 2016, Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015. Institute of Electrical and Electronics Engineers Inc., p. 21-29 9 p. 7434466. (Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Surface mount technology
Software design
Embedded systems
Engineers
Industry
3
Citations
(Scopus)
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
Kong, W., Hou, G., Hu, X., Ando, T., Kenji, H. & Fukuda, A., Dec 1 2016, In : Journal of Information Security and Applications. 31, p. 61-74 14 p.Research output: Contribution to journal › Article
Surface mount technology
Temporal logic
Software design
Embedded systems
Engineers
How can we get "lessons learned" from real cases?
Kenji, H., Matsuda, M., Ishida, S., Mihara, Y. & Uchihira, N., Oct 1 2016, 2016 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2016 - Organized as a Part of Embedded Systems Week, Proceedings. Grimheden, M. E. (ed.). Association for Computing Machinery, Inc, a5. (2016 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2016 - Organized as a Part of Embedded Systems Week, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Industry
Education
trainee
industry
Japan
Reference Model of specifications toward Independent Verification and Validation
Ando, T., Yatsu, H., Hisazumi, K., Fukuda, A., Matsumoto, M. & Michiura, Y., Jan 5 2016, TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., 7372818. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2016-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Specifications
Formal verification
2
Citations
(Scopus)
Smartphone usage analysis based on actual-use survey
Kamiyama, T., Kenji, H., Inamura, H., Konishi, T., Ohta, K. & Fukuda, A., Dec 1 2016, MobiCASE 2016 - 8th EAI International Conference on Mobile Computing, Applications and Services. Kawsar, F., Musolesi, M. & Zhang, P. (eds.). Association for Computing Machinery, Inc, (MobiCASE 2016 - 8th EAI International Conference on Mobile Computing, Applications and Services).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Smartphones
Cluster analysis
2
Citations
(Scopus)
Toward impact analysis for uncertain software project
Kenji, H., Yamasaki, T. & Fukuda, A., Jan 5 2016, TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-January. 7373157Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Embedded systems
Experiments
5
Citations
(Scopus)
Towards sustainable information infrastructure platform for smart mobility - Project overview
Fukuda, A., Kenji, H., Ishida, S., Mine, T., Nakanishi, T., Furusho, H., Tagashira, S., Arakawa, Y., Kaneko, K. & Kong, W., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 211-214 4 p. 7557604. (Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Life cycle
Uncertainty
2015
3
Citations
(Scopus)
A development of educational robot software for Master's course students
Watanabe, H., Tanigawa, I., Sugaya, M., Ogura, N. & Kenji, H., Oct 4 2015, 2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015 - Proceedings. Grimheden, M. E. (ed.). Association for Computing Machinery, Inc, 11. (2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015 - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Educational robots
robot
Students
Vacuum cleaners
Robots
2
Citations
(Scopus)
A structure of a C# framework ContextCS based on context-oriented programming
Tanigawa, I., Ogura, N., Sugaya, M., Watanabe, H. & Kenji, H., Mar 16 2015, 14th International Conference on Modularity, MODULARITY Companion 2015 - Proceedings. Association for Computing Machinery, Vol. 2015-March. p. 21-22 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Embedded software
2
Citations
(Scopus)
A study of context-oriented programming for applying to robot development
Watanabe, H., Sugaya, M., Tanigawa, I., Ogura, N. & Kenji, H., Jul 4 2015, 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, a4. (International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Robots
Computer programming languages
Tunnels
Robotics
Hardware
A Visualization Method of Inter-Module Communications for Profiling Energy Consumption of Android Applications
Furusho, H., Kenji, H., Kamiyama, T., Inamura, H., Ishida, S. & Fukuda, A., Aug 2015, The 13th International Conference on Embedded Systems and Applications (ESA'15), Las Vegas, NV. p. 71-75Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6
Citations
(Scopus)
Data gathering system for recommender system in tourism
Hirakawa, G., Satoh, G., Kenji, H. & Shibata, Y., Dec 9 2015, Proceedings - 2015 18th International Conference on Network-Based Information Systems, NBiS 2015. Barolli, L., Takizawa, M., Xhafa, F., Hsu, H-H. & Enokido, T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 521-525 5 p. 7350670. (Proceedings - 2015 18th International Conference on Network-Based Information Systems, NBiS 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Recommender systems
Information filtering
Information systems
Engines
Communication
1
Citation
(Scopus)
Power consumption profiling method based on android application usage
Furusho, H., Kenji, H., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., Jan 1 2015, In : Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.Research output: Contribution to journal › Conference article
Electric power utilization
Tuning
Energy utilization
Decision making
2
Citations
(Scopus)
Power Consumption Profiling Method Based on Android Application Usage
Furusho, H., Kenji, H., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., Jan 1 2015, In : Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.Research output: Contribution to journal › Article
Electric power utilization
Tuning
Energy utilization
Decision making
2014
6
Citations
(Scopus)
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration
Kong, W., Liu, L., Ando, T., Yatsu, H., Hisazumi, K. & Fukuda, A., Aug 11 2014, In : Computer Journal. 58, 11, p. 2824-2840 17 p.Research output: Contribution to journal › Article
Model checking
Temporal logic
Surface mount technology
Scalability
Systems analysis
3
Citations
(Scopus)
Movie based context-aware language learning: Its concept and system
Hazriani, Nakanishi, T., Kenji, H. & Fukuda, A., Jan 13 2014, Proceedings - IEEE 6th International Conference on Technology for Education, T4E 2014. Murthy, S. & Kinshuk (eds.). Institute of Electrical and Electronics Engineers Inc., p. 164-167 4 p. 7009561. (Proceedings - IEEE 6th International Conference on Technology for Education, T4E 2014).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
movies
quiz
Teaching
language
learning
5
Citations
(Scopus)
Translation rules of SysML state machine diagrams into CSP# toward formal model checking
Ando, T., Yatsu, H., Kong, W., Kenji, H. & Fukuda, A., Jun 1 2014, In : International Journal of Web Information Systems. 10, 2, p. 151-169 19 p.Research output: Contribution to journal › Article
Model checking
Modeling languages
2013
A model transformation method for evaluation of non-functional requirements of an embedded system architecture
Kawahara, R., Ono, K., Nakada, T., Okabayashi, H., Kenji, H., Nakanishi, T., Fukuda, A., Sakamoto, Y. & Nagano, T., Feb 1 2013, In : Computer Software. 30, 1, p. 203-210 8 p.Research output: Contribution to journal › Article
Embedded systems
Costs
3
Citations
(Scopus)
A software update scheme by airwaves for automotive equipment
Nakanishi, T., Shih, H. H., Hisazumi, K. & Fukuda, A., Sep 9 2013, 2013 International Conference on Informatics, Electronics and Vision, ICIEV 2013. 6572709. (2013 International Conference on Informatics, Electronics and Vision, ICIEV 2013).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Freight transportation
Navigation systems
Broadcasting
Telecommunication traffic
Industrial plants
11
Citations
(Scopus)
Clooca: Web based tool for domain specific modeling
Hiya, S., Kenji, H., Fukuda, A. & Nakanishi, T., Jan 1 2013, In : CEUR Workshop Proceedings. 1115, p. 31-35 5 p.Research output: Contribution to journal › Conference article
software
modeling
Watches
Web services
Software engineering
8
Citations
(Scopus)
Development of a modeling education program for novices using model-driven development
Akayama, S., Kuboaki, S., Hisazumi, K., Futagami, T. & Kitasuka, T., Oct 24 2013, Proceedings of the 2012 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012. 4. (Proceedings of the 2012 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
development model
Education
education
student
engineer
2
Citations
(Scopus)
Domain analysis for mining software repositories: Towards feature-based DSL construction
Huang, C., Yamashita, K., Kamei, Y., Kenji, H. & Ubayashi, N., Oct 28 2013, 2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings. p. 41-44 4 p. 6608663. (2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Software engineering
5
Citations
(Scopus)
Formalization and model checking of SysML state machine diagrams by CSP#
Ando, T., Yatsu, H., Kong, W., Hisazumi, K. & Fukuda, A., Aug 1 2013, Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings. PART 3 ed. p. 114-127 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7973 LNCS, no. PART 3).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model checking
State Machine
Formalization
Model Checking
Diagram
2
Citations
(Scopus)
Harnessing SMT-based bounded model checking through stateless explicit-state exploration
Kong, W., Liu, L., Ando, T., Yatsu, H., Kenji, H. & Fukuda, A., Jan 1 2013, APSEC 2013 - Proceedings of the 20th Asia-Pacific Software Engineering Conference. Muenchaisri, P. & Rothermel, G. (eds.). IEEE Computer Society, Vol. 1. p. 355-362 8 p. 6805426Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Surface mount technology
Model checking
Systems analysis
Switches
3
Citations
(Scopus)
Towards formal description of standards for automotive operating systems
Yatsu, H., Ando, T., Kong, W., Kenji, H., Fukuda, A., Aoki, T. & Futatsugi, K., Sep 9 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. p. 13-14 2 p. 6571601Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Specifications