Nobukazu Yoshioka

Yoshiaki Fukazawa

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Tracing CAPEC Attack Patterns from CVE Vulnerability Information using Natural Language Processing Technique.

[BibT_eX]

[DOI]

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

Enterprise Architecture based Representation of Architecture and Design Patterns for Machine Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th International Enterprise Distributed Object Computing Workshop, 2021

Preliminary Literature Review of Machine Learning System Development Practices.

[BibT_eX]

[DOI]

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Landscape of Requirements Engineering for Machine Learning-based AI Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference Workshops, 2021

Goal-Centralized Metamodel Based Requirements Integration for Machine Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference Workshops, 2021

Literature Review on Log Anomaly Detection Approaches Utilizing Online Parsing Methodology.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Landscape of Architecture and Design Patterns for IoT Systems.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2020

STAMP S&S: Safety & Security Scenario for Specification and Standard in the society of AI/IoT.

[BibT_eX]

[DOI]

Tomoko Kaneko

Ryôichi Sasaki

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

A Tool to Manage Traceability on Several Models and Its Use Case.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

STAMP S&S: Layered Modeling for the Complexed System in the Society of AI/IoT.

[BibT_eX]

[DOI]

Tomoko Kaneko

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

Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling.

[BibT_eX]

[DOI]

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

Smart SE: Smart Systems and Services Innovative Professional Education Program.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

A Method for Assessing the Reliability of Business Processes that Reflects Transaction Documents Checking for each Department.

[BibT_eX]

[DOI]

Takafumi Komoto

Kokichi Futatsugi

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Preliminary Systematic Literature Review of Machine Learning System Development Process.

[BibT_eX]

[DOI]

CoRR, 2019

A System for Seamless Support from Security Requirements Analysis to Security Design Using a Software Security Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 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

How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey.

[BibT_eX]

[DOI]

Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, 2019

Assessing Security and Privacy Behavioural Risks for Self-Protection Systems.

[BibT_eX]

[DOI]

Yijun Yu

Tetsuo Tamai

Proceedings of the Engineering Adaptive Software Systems, 2019

2018

Using Security Patterns to Develop Secure Systems - Ten Years Later.

[BibT_eX]

[DOI]

Int. J. Syst. Softw. Secur. Prot., 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

Security Requirement Modeling Support System Using Software Security Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Report of WESPr-18: the International Workshop on Evidence-based Security and Privacy in the Wild.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018

Report of iMLSE-18: the 1<sup>st</sup> International Workshop on Machine Learning Systems Engineering.

[BibT_eX]

[DOI]

Using a variety of patterns in a secure software development methodology.

[BibT_eX]

[DOI]

Restructuring Attack Trees to Identify Incorrect or Missing Relationships between Nodes.

[BibT_eX]

[DOI]

Evaluating the degree of security of a system built using security patterns.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2017

Goal Modelling for Security Problem Matching and Pattern Enforcement.

[BibT_eX]

[DOI]

Int. J. Secur. Softw. Eng., 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

Eliciting Requirements for Improving Users' Behavior Using Transparency.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Internet of Things, 2017

2016

Implementation Support of Security Design Patterns Using Test Templates .

[BibT_eX]

[DOI]

Inf., 2016

Modeling and Security in Cloud Ecosystems.

[BibT_eX]

[DOI]

Future Internet, 2016

Requirements Analysis for Privacy Protection and Third Party Awareness Using Logging Models.

[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

Literature Survey on Technologies for Developing Privacy-Aware Software.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Assessing Business Processes by Checking Transaction Documents for Inconsistency Risks and a Tool for Risk Assessment.

[BibT_eX]

[DOI]

Takafumi Komoto

Kokichi Futatsugi

Proceedings of the Business Modeling and Software Design - 6th International Symposium, 2016

Reproducible Scientific Computing Environment with Overlay Cloud Architecture.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015

A Method for Efficient Extensibility Improvements in Embedded Software Evolution.

[BibT_eX]

[DOI]

J. Softw., 2015

Method Using Command Abstraction Library for Iterative Testing Security of Web Applications.

[BibT_eX]

[DOI]

Seiji Munetoh

Int. J. Secur. Softw. Eng., 2015

Patterns for security and privacy in cloud ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Workshop on Evolving Security and Privacy Requirements Engineering, 2015

A Case-based Management System for Secure Software Development Using Software Security Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2015

TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program.

[BibT_eX]

[DOI]

Yoshinori Tanabe

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

Case Base for Secure Software Development Using Software Security Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals.

[BibT_eX]

[DOI]

J. Inf. Process., 2014

Validating Security Design Pattern Applications by Testing Design Models.

[BibT_eX]

[DOI]

Int. J. Secur. Softw. Eng., 2014

Network traffic optimization architecture for scalability in academic inter-cloud computing environments.

[BibT_eX]

[DOI]

Atsushi Matsumoto

Proceedings of the 2nd International Workshop on Hot Topics in Cloud service Scalability, 2014

Abstract security patterns for requirements specification and analysis of secure systems.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER14, 2014

Security and Privacy Behavior Definition for Behavior Driven Development.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2014

Evaluation of Flexibility to Changes Focusing on the Variable Structures in Legacy Software.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Software Engineering, 2014

Security Driven Requirements Refinement and Exploration of Architecture with Multiple NFR Points of View.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

A Distributed Cloud Architecture for Academic Community Cloud.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Services Sciences, 2014

On-demand Cloud Architecture for Academic Community Cloud - Another Approach to Inter-cloud Collaboration.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2014, 2014

Abstract security patterns for requirements and analysis of secure systems.

[BibT_eX]

Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

Requirements Refinement and Exploration of Architecture for Security and Other NFRs.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2014

Security Requirements Analysis Using Knowledge in CAPEC.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2014

Verifying Implementation of Security Design Patterns Using a Test Template.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Availability, 2014

2013

RAILROADMAP: An Agile Security Testing Framework for Web-application Development.

[BibT_eX]

[DOI]

Seiji Munetoh

Proceedings of the Sixth IEEE International Conference on Software Testing, 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

Model-Assisted Access Control Implementation for Code-centric Ruby-on-Rails Web Application Development.

[BibT_eX]

[DOI]

Seiji Munetoh

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

Validating Security Design Patterns Application Using Model Testing.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2012

Analyzing Impacts on Software Enhancement Caused by Security Design Alternatives with Patterns.

[BibT_eX]

[DOI]

Int. J. Secur. Softw. Eng., 2012

A Network-Aware Object Storage Service.

[BibT_eX]

[DOI]

Motonobu Ichimura

Proceedings of the 2012 SC Companion: High Performance Computing, 2012

An Academic Community Cloud Architecture for Science Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/IPSJ International Symposium on Applications and the Internet, 2012

Multilevel Modeling of Physiological Systems and Simulation Platform: PhysioDesigner, Flint and Flint K3 Service.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/IPSJ International Symposium on Applications and the Internet, 2012

System security requirements analysis with answer set programming.

[BibT_eX]

[DOI]

Gideon D. Bibu

Julian A. Padget

Proceedings of the Second IEEE International Workshop on Requirements Engineering for Systems, 2012

Dodai-Deploy: Fast Cluster Deployment Tool.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

edubase cloud: cloud platform for cloud education.

[BibT_eX]

[DOI]

Takahiro Shida

Proceedings of the First International Workshop on Software Engineering Education Based on Real-World Experiences, 2012

Cloud in a cloud for cloud education.

[BibT_eX]

[DOI]

Takahiro Shida

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Mutual Refinement of Security Requirements and Architecture Using Twin Peaks Model.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Cluster as a Service for Self-Deployable Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011

Group Migration by Mobile Agents in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Shunichiro Suenaga

Comput. J., 2011

A Modelling Framework to Support Internal Control.

[BibT_eX]

[DOI]

Takafumi Komoto

Kenji Taguchi

Haralambos Mouratidis

Kokichi Futatsugi

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Misuse Patterns for Cloud Computing.

[BibT_eX]

Keiko Hashizume

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

IMPULSE: a design framework for multi-agent systems based on model transformation.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Two patterns for distributed systems: enterprise service bus (ESB) and distributed publish/subscribe.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Pattern Languages of Programs, 2011

Effective Security Impact Analysis with Patterns for Software Enhancement.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Availability, 2011

An Approach to Model-based Development of Secure and Reliable Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Availability, 2011

2010

Aligning Security Requirements and Security Assurance Using the Common Criteria.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

A security pattern for data integrity in P2P systems.

[BibT_eX]

[DOI]

Benjamin Schleinzer

Proceedings of the 17th Conference on Pattern Languages of Programs, 2010

Model-Driven Security Patterns Application Based on Dependences among Patterns.

[BibT_eX]

[DOI]

Proceedings of the ARES 2010, 2010

Measuring the Level of Security Introduced by Security Patterns.

[BibT_eX]

[DOI]

Proceedings of the ARES 2010, 2010

2009

Evolution of a course on model checking for practical applications.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 2009

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.

[BibT_eX]

[DOI]

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Overview of the 3rd international workshop on software patterns and quality ((SPAQu'09).

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Improving the Classification of Security Patterns.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2009

Misuse Cases + Assets + Security Goals.

[BibT_eX]

[DOI]

Kenji Taguchi

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

AOJS: aspect-oriented javascript programming framework for web development.

[BibT_eX]

[DOI]

Proceedings of the ACP4IS@AOSD 2009: Proceedings of the 8th workshop on Aspects, 2009

Modeling Misuse Patterns.

[BibT_eX]

[DOI]

Proceedings of the The Forth International Conference on Availability, 2009

2008

Incorporating Database Systems into a Secure Software Development Methodology.

[BibT_eX]

[DOI]

Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

Enforcing a security pattern in stakeholder goal models.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM Workshop on Quality of Protection, 2008

Classifying Security Patterns.

[BibT_eX]

[DOI]

Proceedings of the Progress in WWW Research and Development, 2008

2007

A hierarchical mobile agent framework and its application to multimedia contents.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 2007

Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Policy-based Runtime Partner Management in ProcessBased Services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

1st International Workshop on Software Patterns and Quality (SPAQu'07).

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

Developing Consistent Contractual Policies in Service Composition.

[BibT_eX]

[DOI]

Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

2006

Formal model of mobile BPEL4WS process.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 2006

Smartive: Agreement-based Mobile Composite Agents for Multimedia Services.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Service-oriented and autonomous distribution and provision of multimedia contents.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Mobile agent system for Web service integration in pervasive network.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 2005

A framework for synthesis of web services and mobile agents.

[BibT_eX]

[DOI]

Int. J. Pervasive Comput. Commun., 2005

Flexible and Maintainable Contents Activities in Ubiquitous Environment.

[BibT_eX]

[DOI]

Kazutaka Matsuzaki

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Geographically Bound Mobile Agent in MANET.

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 2005

Using Mobile Agent for Location-Specific Data Retrieval in Manet.

[BibT_eX]

[DOI]

Proceedings of the Intelligence in Communication Systems, 2005

Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound.

[BibT_eX]

Proceedings of the ICEIS 2005, 2005

Incorporating Agreements on Service Options into BPEL-based Services.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

Agent synthesis: partnership and agreement in cooperative mobile agents.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Mobile and Cooperative Compounds of Multimedia Services.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004

Bridging the Gap Between AUML and Implementation Using IOM/T.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 2004

A Pattern Oriented Mobile Agent Framework for Mobile Computing.

[BibT_eX]

[DOI]

Proceedings of the Mobility Aware Technologies and Applications, 2004

Development Methodology for Location-Aware Mobile Agent.

[BibT_eX]

[DOI]

Kazutaka Matsuzaki

Proceedings of the Mobility Aware Technologies and Applications, 2004

Ubiquitous Application Development using a Mobile Agent-based System.

[BibT_eX]

Kazutaka Matsuzaki

Proceedings of the Ubiquitous Computing, 2004

Mobile Agent System for Web Services Integration in Pervasive Networks.

[BibT_eX]

Proceedings of the Ubiquitous Computing, 2004

Behavior Descriptions of Mobile Agents for Web Services Integration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems.

[BibT_eX]

[DOI]

Anthony Finkelstein

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Mobeet: A Multi-agent Framework for Ubiquitous Information Systems.

[BibT_eX]

[DOI]

Akihiko Ohsuga

Proceedings of the Agent-Oriented Information Systems II, 2004

2003

Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

A Formal Model of Active Contents Based on the Ambient Calculus.

[BibT_eX]

[DOI]

Yasuyuki Tahara

Proceedings of the Mobile Agents for Telecommunication Applications, 2003

2002

Evaluation of a Multi Agent Framework for Open Distributed Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

2000

Security for Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

1998

Incremental Software Development Method Based on Abstract Interpretation.

[BibT_eX]

[DOI]