Mining domain knowledge from app descriptions
Abstract Domain analysis aims at gaining knowledge to a particular domain in the early
stage of software development. A key challenge in domain analysis is to extract features …
stage of software development. A key challenge in domain analysis is to extract features …
Aspect-oriented requirement analysis based on Formal method
C Qu, X Zhang, H Chen, L Zhang - Journal of Physics …, 2021 - iopscience.iop.org
Abstract Aspect-Oriented Programming (AOP) can effectively solve the code-tangling and
code-scattering which are caused by crosscutting attributes, However, much work is …
code-scattering which are caused by crosscutting attributes, However, much work is …
The verification of program relationships in the context of software cybernetics
Software cybernetics aims at improving the reliability of software by introducing the control
theory into software engineering domain systematically. A key issue in software verification …
theory into software engineering domain systematically. A key issue in software verification …
A Tool to Verify the Consistency of Requirements Concern Model
L Hua-**ao, W Shou-Yan, J Ying - … International Conference on …, 2013 - ieeexplore.ieee.org
The completeness and consistency of requirements model is the basis for the success of a
software project, and the verification of requirements models is a key activity in a software …
software project, and the verification of requirements models is a key activity in a software …
Software Requirements Elicitation Based on Ontology Learning
J Zhang, M Yuan, Z Huang - … and Methodology for Emerging Domains: 16th …, 2019 - Springer
User demand is the key to software development. The domain ontology established by
artificial intelligence can be used to describe the relationship between concepts and …
artificial intelligence can be used to describe the relationship between concepts and …
Verification of Program by Inspecting Internal Relations Relying on User Requirements
Software verification can ensure the software quality by inspecting the properties of program.
A key issue for software verification is to check whether the software can meet user …
A key issue for software verification is to check whether the software can meet user …
[HTML][HTML] 基于形式化方法的面向方面需求分析
曲璨， 张立臣 - 广东工业大学学报, 2017 - xml-data.org
面向方面编程(AOP) 可以通过它的横切属性有效地解决代码缠结和分散的问题,
但大部分的工作都集中在编程和实现阶段, 很少有对早期的需求分析模型进行研究 …
但大部分的工作都集中在编程和实现阶段, 很少有对早期的需求分析模型进行研究 …
[معلومات الإصدار][C] 一种基于 Theme 方法的横切关注点的分析和验证
卫张亮， 余晓**， 常耀辉 - 计算机与数字工程, 2015