Learn More
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider diierent communication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, we investigate important industrial concerns and(More)
INTRODUCTION The chronic lateral epicondylitis (EHR) as a common pathology of the elbow is often associated with posterolateral rotatory instability of the elbow (PLRI). After evaluation of intra-articular pathology by prior diagnostic arthroscopy, we aimed to build patient groups regarding the stability of the elbow joint. In patients with a stable elbow(More)
We present the rare case of a solitary pancreatic metastasis of renal cell cancer being the only manifestation of tumordissemination. In 1993 the patient underwent a transperitoneal nephrectomy for removal of a clear cell renal cancer. In 1998 during follow up we detected a pancreatic tumor which was treated by pancreas resection, splenectomy and resection(More)
In this paper we present a method to perform run-time monitoring of distributed applications built on top of a distributed object oriented processing environment. For this, we instrument the code at the compilation time in order to send notiications to an Observer when relevant events occur in the system; the instrumentation is done in an automated manner,(More)
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 predeened set of events which, together with linear-time temporal logic, can be used for expressing behavioral properties in object-oriented distributed systems. This allows automizing several(More)
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider diierent communication architectures and work related to the feature interaction problem. Based on our survey, the results reported in the literature and most importantly, on extensive discussions with industry,(More)
SUMMARY We present a framework for constructing formal models of object-oriented distributed systems and a property language to express behavioral constraints in such models. Most of the existing models have their origin in specific mathematical notations and/or concepts. In contrast, we have developed our model such that it accounts for a large set of(More)
Pr esent ee au d epartement de syst emes de communication Ecole Polytechnique F ed erale de Lausanne pour l'obtention du grade de docteur es sciences techniques par Raaaele NORO Ing enieur electricien dipl^ om e e a l'Universit e d e Trieste (Italie) de nationalit e Italienne accept ee sur proposition du jury: Lausanne, EPFL 2000 ii Si vas de prisa, el(More)