Concept

Interface Description Language

Publications associées (25)

Graph Chatbot

Chattez avec Graph Search

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.

Connectez-vous pour utiliser Chat avec Graph Search

Efficient Distributed Subtyping Tests

Rachid Guerraoui, João Barreto, Patrick Eugster

Subtyping tests are essential in typed publish/subscribe infrastructures, especially when the underlying programming language supports subtype conformance, as in Java or C#. These tests are particularly challenging when the publish/subscribe infrastructure ...

2007

From AOP to UML: Towards an Aspect-Oriented Architectural Modeling Approach

Jörg Kienzle, Mohamed Mancona Kandé

Capturing concerns that crosscut the boundaries of multiple components in software architecture descriptions is problematic. Standard description languages, such as UML, do not provide adequate means to understand and modularize such concerns, but aspect-o ...

2002

From AOP to UML: Towards an Aspect-Oriented Architectural Modeling Approach

Jörg Kienzle, Mohamed Mancona Kandé

2002

Evolution not revolution in the TCV tokamak control and acquisition system

Basil Duval, Jean-Marc Moret, Xavier Llobet, Jonathan Bryan Lister, Philippe Marmillod, Blaise Marlétaz, Pierre-François Isoz

The original TCV control system was designed in the late 1980s to be inherently network based in that all control operations were performed from X-windows terminals and the control computers were networked. Using VMS-VAX technology, the acquisition system ...

2001

The TL Compiler

This paper describes a method of compiling specification properties into automata or test oracles which allow testing of any proposed implementation. It also shows how to interpret the automata's status during testing. The method addresses verification of ...

2000

Specifying System Behavior in UML

Shane Sendall

The purpose of the paper is to present our approach for specifying system behavior. Our approach is based on operation schemas and a system interface protocol (SIP). Operation schemas describe the functionality of system operations by pre- and post-conditi ...

2000

Optimization Techniques for Replicating CORBA Objects

André Schiper, Xavier Défago

The CORBA Object Group Service (OGS) is a new CORBA service that provides support for fault-tolerance through the replication of CORBA objects. In this paper, we present several optimization techniques that are used to improve the performance of OGS. For e ...

1999

Developing safe concurrent and distributed applications with an architectural environment

The developing environment presented in the paper is built around an interactive tool that can accompany the software engineer for the whole software development process of concurrent and distributed applications. This environment relies on a concept of ac ...

IEEE Comput. Soc1999

SEView: a Java applet for browsing molecular sequence data

Philipp Bucher

SEView is a Java applet that represents known or predicted elements of a protein or nucleotide sequence. It replaces or supplements the textual format of databases or program output with an interactive, graphical representation that is easily available thr ...

1998

B-Spline Snakes and a JAVA Interface: An Intuitive Tool for General Contour Delineation

Michaël Unser

We present a novel formulation for B-spline snakes that can be used as a tool for fast and intuitive contour outlining. The theory is implemented in a platform independent JAVA interface, which allows real time computation of the snake curve. In this paper ...

IEEE1998