Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is ill ...
Based on the notion of event-based behavioral abstraction (EBBA) we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are then observed at system run-time and it is checked whether or not the system v ...
Numerous proposals for applying temporal logic to the specification and verification of object-oriented systems have appeared in the past several years. Although various temporal models have been proposed for the requirements analysis of object-oriented di ...
Using a model structure consisting of a network of corner sharing tetrahedra, we calculate the infrared spectrum of amorphous SiO2 within a first-principles approach and find good agreement with experiment both for the positions and the intensities of the ...
Although many temporal models have been proposed in the literature, there is still need for a conceptual model capturing the essential semantics of time-varying information that is free of implementation concerns. This paper first discusses important crite ...
The paper reports the results of specifying, designing, verifying and implementing safe object oriented process control applications. This work gives a solution which enables the synthesis of a general method for addressing problems associated with these p ...
Recent shared-memory parallel computer systems offer the exciting possibility of customizing memory coherence protocols to fit an application's semantics and sharing patterns. Custom protocols have been used to achieve message-passing performance---while r ...
The concept of event-based behavioral abstraction (EBBA) is shown to facilitate the Design For Testability (DFT) if the set of events is well-chosen. We provide a predefined set of events which, together with linear-time temporal logic, can be used for exp ...
The problem addressed in this paper is the following: How to use high-level Petri nets for the reverse engineering of implemented distributed applications ?. We present a reverse engineering methodology applied on a real (simple) Java applet based client/s ...
We propose an object-oriented specification language, FUS++, for expressing the functional behaviors and the desired properties of each telecommunications service at the analysis phase. Our approach is based on Fusion, an object-oriented method that consis ...
