Publication

An incremental prototyping methodology for distributed systems based on formal specifications

Related publications (93)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming

Jörg Kienzle

To read the abstract, please go to my PhD home page. ...

2001

This position paper shows how Ada 95 exceptions have been used in a prototype implementation of a transaction support in order to provide more elaborate exception handling. The paper summarizes the open multithreaded transaction model, which is a transacti ...

ACM Press2001

Effective Multicast Programming in Large Scale Distributed Systems

Rachid Guerraoui, Patrick Eugster

Many distributed applications have a strong requirement for efficient dissemination of large amounts of information to widely spread consumers in large networks. These include applications in e-commerce and telecommunication. Publish/subscribe is considere ...

2001

Object Persistence: A Framework Based On Design Patterns

Jörg Kienzle

The poster presents a framework for providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. The framework does not rely on any kind of special programming language features. It onl ...

2000

A Framework Based on Design Patterns for Providing Persistence in Object-Oriented Programming Languages

Jörg Kienzle

This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By successively applying design patterns such as the Serializer, Factory Method, and Str ...

2000

High-performance explicit transient structural analysis

The continuous development of finite element programs creates code which is increasingly difficult to maintain, due to the increasing complexity as well as the chosen programming language. At the same time, the desire to analyse increasingly more complex a ...

EPFL2000

Integrating Object-Oriented Programming and Protected Objects in Ada 95

Jörg Kienzle

Integrating concurrent and object-oriented programming as been an active research topic since the late 1980s. There is now a plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented language and ...

ACM Press2000

In a growing number of applications, different complementary views of real-world objects are needed. This is particularly true in spatial modelling - where the designer can propose different geometries for a given spatial object - or, in temporal modelling ...

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

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