Shinpei Ogata

Proceedings of the Knowledge-Based Software Engineering: 2020, 2020

2019

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2019

SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education.

[BibT_eX]

[DOI]

Mizue Kayama

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Landscape of IoT patterns.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Software Engineering Research & Practices for the Internet of Things, 2019

Approach to Testing Many State Machine Models in Education.

[BibT_eX]

[DOI]

Mizue Kayama

Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018

A Template System for Modeling and Verifying Agent Behaviors.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Analysis of Specification in Japanese Using Natural Language Processing.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Support Tool for Refining Conceptual Model in Collaborative Learning.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Goal-Satisfaction Verification to Combination of Use Case Components.

[BibT_eX]

[DOI]

Yoshitaka Aoki

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Verification of CPS Based on Control Loop Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

Security Requirements Verification for Existing Systems with Model Checking Technique and UML.

[BibT_eX]

[DOI]

Yoshitaka Aoki

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

A Tool to Edit and Verify IoT System Architecture Model.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Preliminary Systematic Literature Review of Software and Systems Traceability.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

SMart-Learning: State Machine Simulators for Developing Thinking Skills.

[BibT_eX]

[DOI]

Mizue Kayama

Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017

Traceability Link Mining - Focusing on Usability.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Eliciting Requirements for Improving Users' Behavior Using Transparency.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Internet of Things, 2017

2016

Early Requirements Analysis for a Socio-Technical System Based on Goal Dependencies.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

A Metamodel for Security and Privacy Knowledge in Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE World Congress on Services, 2016

Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Framework for Relative Web Usability Evaluation on Usability Features in MDD.

[BibT_eX]

[DOI]

Yugo Goto

Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016

2015

Support of Scenario Creation by Generating Event Lists from Conceptual Models.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2015, 2015

Effectiveness of Model-Driven Development in conceptual modeling education for university freshmen.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Engineering Education Conference, 2015

Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements.

[BibT_eX]

[DOI]

Shohei Kamimori

Kenji Kaijiri

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014

Security and Privacy Behavior Definition for Behavior Driven Development.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2014

Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking.

[BibT_eX]

[DOI]

Yoshitaka Aoki

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

A Practical Conceptual Modeling Teaching Method Based on Quantitative Error Analyses for Novices Learning to Create Error-Free Simple Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the IIAI 3rd International Conference on Advanced Applied Informatics, 2014

Method mining in experimental software engineering.

[BibT_eX]

[DOI]

Hideaki Uchimiya

Kenji Kaijiri

Proceedings of the 2nd International Conference on Systems and Informatics, 2014

Security Requirements Analysis Using Knowledge in CAPEC.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2014

2013

Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment.

[BibT_eX]

[DOI]

Int. J. Secur. Softw. Eng., 2013

Goal-Oriented Security Requirements Analysis for a System Used in Several Different Activities.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2013

2012

Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Software Engineering, 2012

Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model.

[BibT_eX]

[DOI]

Hirotaka Okuda

Proceedings of the Knowledge-Based Software Engineering, 2012

A Review Method of Requirements Analysis Model in UML with Prototyping.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Software Engineering, 2012

Training of requirements analysis modeling with UML-based prototype generation tool.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

Quality Improvement of Requirements Specification using Model Checking Technique.

[BibT_eX]

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Test Case Generation by Simulating Requirements Analysis Model.

[BibT_eX]

[DOI]

Ryo Shikimi