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.
The use of formal modelling and verification is recommended by several standards in the development of highly critical systems. However, the standards do not prescribe a process that enables a seamless integration of formalisation activities into the development process. In this paper, we propose a model and an automated tool support for an iterative formalisation-driven development of safety-critical...
Symbolic execution is a powerful, systematic analysis that has received much visibility in the last decade. Scalability however remains a major challenge for symbolic execution. Compositional analysis is a well-known general purpose methodology for increasing scalability. This paper introduces a new approach for compositional symbolic execution. Our key insight is that we can summarize each analyzed...
Many researches are interested in the observation of learners' activities within a Technology-Enhanced Learning environment. This work is about how observation can be improved. We originally propose the concept of observation strategy. Such approach leads teachers-designers to design and specify the targeted observation, and all its components, as a dedicated artifact in relation with a learning scenario...
We present an approach in automatic test generation that combines features of static analysis and bounded symbolic computation that is capable of producing a test suite that can be used to declare a program under test safe within bounds. We first use the results produced by static analysis which will identify a list of potential errors in the program. We restrict our search to the locations where...
Designing in an interdisciplinary context is challenging, and it is even more so when it has to be done remotely. For such remote interdisciplinary designing, we propose video prototypes as artifacts for supporting the interaction design process. In this paper, we present a case study where we have successfully used video prototypes for collaboratively designing a modeling tool. This tool is supposed...
This paper discusses the combination of context injection, metadata enrichment and information broking with current semantic web and community oriented concepts in order to optimize the search and retrieval process of relevant information. The presented approach focuses the shift from information pull to information push, and thus reduces the effort on finding the needed information for a specific...
For many enterprises the introduction of service orientation is still a daunting task and there is often no distinct idea of how to approach respective projects. Only recently, SOA research addresses this open and essential question and systematic methodologies for SOA introduction and evolution have been conceived. IBM's SOMA and sd&m's Quasar Enterprise are prominent examples. In practice, these...
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.