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.
Modern software systems often run on a changing and unpredictable environment, they need to adapt itself at runtime in response to changing requirements of users and running environment. Therefore, numerous methods have been proposed to support the development of self-adaptive system. Some approaches are requirements-based. Other approaches are architecture-based. By considering only a partial view...
Validation and Verification are necessary in the life cycle of any safety-critical software system. It answers the question of “are we building the right product?” It's very important to be able to decide if its outputs are correct and system meets specifications, failing to do so can result in loss of human lives or huge financial loss. V&V process and its planning must start early in SDLC (Software...
The SOFL (Structured Object-Oriented Formal Language) formal engineering method is developed to overcome the deficiencies of existing formal methods and to provide both rigorous and practical techniques for building formal specifications, transforming specifications to programs, and verifying both specifications and programs. Although it has been applied to system modeling and design in both industrial...
Self adaptive systems have been suggested as a promising solution for managing the complex and uncertain nature of today's software intensive systems. Yet, their design is still not conducted in a systematic manner. In particular, there is little work on the issue of developing a framework that accommodates the necessary reusable process elements and system components that augment the system under...
We propose some criteria for GUI regression testing to determine the appropriate time to stop without wasting too much testing cost. This is essential for all software upgrades that can be released in a reasonably short time, yet still guarantees the product quality. One difficulty to achieve such a target depends on the sequence of test cases being input. The order affects the number of found failures...
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.