The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Discovering potential attacks on a system is an essential step in engineering secure systems, as the identified attacks will determine essential security requirements. The prevalence of Socio-Technical Systems (STSs) makes attack analysis particularly challenging. These systems are composed of people and organizations, their software systems, as well as physical infrastructures. As such, a thorough...
In order to adapt the change from centralized development pattern to multi-user collaborative development pattern in modern software development, the concept of software collaborative development was proposed by introducing CSCW (computer-supported cooperative work) into the field of software development, and the properties of it was analyzed, then a formalized model SCP-NET of software collaborative...
Various governmental or academic institutes survey current security trends, and report vulnerabilities, security breaches, and their costs. However, it is unclear whether (and how) practitioners analyze these vulnerabilities and attacks to arrive at security requirements and decide on security solutions. What modeling methods are used for eliciting, analyzing, and documenting security requirements...
In order to modelling and managing software process resources, this paper first divides software process resources into four categories. Based on the classification, a formal software process resources model (SPRM) is proposed. The model support modelling resources into the four different categories, describing the nature of the resources by define first-order predicate formulates, restricting resources...
In the filed of software process modeling, there are a lot of software process meta-models and software process modeling languages to define software process models. The main difference between them is that software process meta-models define an abstract syntax of software process models, while software process modeling languages focus on a concrete syntax. However, they do not take into account a...
Today, software systems are moving towards online deployment as collaborative composite services, the operating environments and users' needs for which are continuously changing. Thus, it is important to understand how to cope with run-time requirements by dynamic adaption at different levels. This paper aims to summarize our general position and understanding of this problem. In particular, we introduce...
Requirements engineering has gained growing attention in both academia and industry, as today's software intensive systems are expected to provide highly user-centric functions and qualities. Thus, it is important to understand under what situations existing requirements engineering practice is not working well. Continuing our probe into the industrial practices status quo, this paper reports the...
The traditional procedural or OO methodology now cannot meet the expanding software scales and the software evolution processes very well. A new methodology named AOP (Aspect Oriented Programming) makes up their shortages in dealing with cross-cutting concerns. Software process architecture is a high level abstraction of software processes. In order to improve the efficiency of software evolution...
Software evolution has become one of the important characteristics in software life cycle. Based on the SDDM2 (second generation system dynamic development model), a modeling method which is configurable and reusable for supporting the software evolution modeling, we propose the method of performance analysis and the optimization of the resource of software evolution processes, so as to effectively...
Petri nets are a graphical and mathematical modeling tool applicable to many systems. But there is a problem which bars Petri net development: too much nodes lead to ldquostation explosionrdquo, especially when analyzing a large and complicated system. To relieve the problem, a new extended Petri net - OR-transition Petri net is presented, and based on it, OR-transition colored Petri net is presented...
The component plays an essential role in the component-based software engineering. The component cohesion is an important attribute in software system, which represents the tight degree of a component. Obviously, the high cohesion of a component can effectively improve software quality. However, it is difficult to measure the component cohesion. In this paper the concept of structure entropy and the...
The importance and popularity of software evolution are increasing as more and more successful software systems have become legacy systems. SDDM system dynamic development model, which supports software concurrent engineering, is extended with standardization, role model, resource model and hierarchy. And by doing so, we produce the SDDM, which is configurable and reusable to support the standardization...
Software process reuse emphasizes to compose software processes from existing software process components. However, existing research does not provide a practical solution. According to the similarities between software products and software processes, we argue that process architecture can play a very important role in software process reuse. This paper defines process architecture made of evolution...
The importance and popularity of software evolution increase as more and more successful software systems become legacy systems. Therefore, the software evolution process, the inter-discipline of software process and software evolution, becomes a key area in software engineering. The software evolution process study has aroused great attention in Asia and gradually became the popular research area,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.