The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...