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.
Besides the increasing complexity, real time behavior and dynamic evolution are other critical challenges imposed by the RT-DS (Real Time Distributed Systems) design. Component Based Software Engineering, as well as Model Driven Engineering may offer well-suited software development methodologies to tackle these challenges. This paper proposes and explains, through a realistic application, a hybrid...
Today, Design Patterns play a cornerstone role in the development of complex software applications. Although several notations have been proposed to specify them, the kind of formal and tool support they provide is quite limited. In this paper we explore the use of Maude as a formal notation for describing design patterns and reasoning about them. The key to the defined approach is to use a meta model...
The use of formal methods is an effective means to improve the reliability and the quality of complex systems. The objective of this work is to adapt one of these methods to UML, so that the systems development depending on this notation can benefit from it. We propose a formal semantic framework, based on rewriting logic, for UML. Thus, we lean on the category model to give precise and sufficient...
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.