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 …

Abstract Aspect-Oriented Programming (AOP) can effectively solve the code-tangling and
code-scattering which are caused by crosscutting attributes, However, much work is …

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 …

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 …

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 …

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 …

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 …

面向方面编程(AOP) 可以通过它的横切属性有效地解决代码缠结和分散的问题,
但大部分的工作都集中在编程和实现阶段, 很少有对早期的需求分析模型进行研究 …