Zhi Li

Softw. Qual. J., June, 2024

Efficient 3-D Processor Array Reconfiguration Algorithms Based on Bucket Effect.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving".

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., January, 2024

Multiple kernel clustering with structure-preserving and block diagonal property.

[BibT_eX]

[DOI]

Cuiling Chen

Multim. Tools Appl., January, 2024

Deriving and Verifying B Specifications from Problem Frames Models via Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Extending Meta-Model of Problem Frames for Metaverse Human-Computer Interaction System.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Welcome to the Fourth International Workshop on Environment-Driven Requirements Engineering (EnviRE'24).

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

A Microservice Decomposition Approach Driven by Sub-Requirement References in Problem Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

RM2EIS: A Tool for Auto-Generation of EIS from Requirements Model.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

2023

Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., November, 2023

Optimal neighborhood kernel clustering with adaptive local kernels and block diagonal property.

[BibT_eX]

[DOI]

Cuiling Chen

Jian Wei

Neural Comput. Appl., October, 2023

Knowledge Graph Completion by Jointly Learning Structural Features and Soft Logical Rules.

[BibT_eX]

[DOI]

Weidong Li

Rong Peng

IEEE Trans. Knowl. Data Eng., March, 2023

A Multimedia Approach to Problem Descriptions for Fine-Grained Detail Characterization.

[BibT_eX]

[DOI]

Bowen Zheng

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Augmenting the Problem Frames Approach with Explicit Data Descriptions Using ChatGPT.

[BibT_eX]

[DOI]

Ling Xie

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

PF4MD: A Microservice Decomposition Tool Combining Problem Frames.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

NFRNet-LT:Improving Accuracy in Extracting Long-tailed Non-functional Requirements.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

NL2PD: A Tool for Problem Diagram Generation from Requirements in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

Using Problem Frames Approach for Key Information Extraction from Natural Language Requirements.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Natural Language Processing-Based Requirements Modeling: A Case Study on Problem Frames.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

PF4Microservices: A decomposion scheme for microservices based on Problem Frames.

[BibT_eX]

[DOI]

Yitao Bo

CoRR, 2022

A Simplified Method for Automatic Verification of Java Programs.

[BibT_eX]

[DOI]

Ling Xie

Yilong Yang

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Trace4PF: A tool for Automated Decomposition of Problem Diagrams with Traceability.

[BibT_eX]

[DOI]

Yajun Deng

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

Residual attention graph convolutional network for web services classification.

[BibT_eX]

[DOI]

Bing Li

Yilong Yang

Neurocomputing, 2021

An Extended Meta-Model of Problem Frames for Enriching Environmental Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

NFRNet: A Deep Neural Network for Automatic Classification of Non-Functional Requirements.

[BibT_eX]

[DOI]

Bing Li

Yilong Yang

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

2020

ServeNet: A Deep Neural Network for Web Services Classification.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Web Services, 2020

2019

Exclusive feature selection and multi-view learning for Alzheimer's Disease.

[BibT_eX]

[DOI]

J. Vis. Commun. Image Represent., 2019

RE4CPS: Requirements Engineering for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

A Review of Meta-ethnographies in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Evaluation and Assessment on Software Engineering, 2019

2018

面向问题的软件开发协同建模工具的研究与实现 (Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development).

[BibT_eX]

[DOI]

计算机科学, 2018

On the Problem-Oriented Validation of Cyber-Physical Systems Using System-Level Test Sequences (S).

[BibT_eX]

Proceedings of the 24th International DMS Conference on Visualization and Visual Languages, 2018

2015

CARE: A Computer-Aided Requirements Engineering Tool for Problem-Oriented Software Development.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2015

2014

On the systematic transformation of requirements to specifications.

[BibT_eX]

[DOI]

Requir. Eng., 2014

A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

2011

Validating Search Processes in Systematic Literature Reviews.

[BibT_eX]

Andrew James Burn

Proceedings of the EAST 2011, 2011

Repeatability of systematic literature reviews.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Evaluation & Assessment in Software Engineering, 2011

On the Construction of Specifications from Requirements.

[BibT_eX]

Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

2009

An Evaluation of Quality Checklist Proposals - A participant-observer case study.

[BibT_eX]

[DOI]

O. Pearl Brereton

David Budgen

Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

A Quality Checklist for Technology-Centred Testing Studies.

[BibT_eX]

[DOI]

Andrew James Burn

Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

2008

Using a Protocol Template for Case Study Planning.

[BibT_eX]

[DOI]

Pearl Brereton

David Budgen

Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering, 2008

2007

Progressing problems from requirements to specifications in problem frames.

[BibT_eX]

[DOI]

PhD thesis, 2007

2006

Deriving specifications from requirements through problem reduction.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2006

From requirements to specifications: a formal approach.

[BibT_eX]

[DOI]