Concept

Postcondition

Publications associées (5)

Wellbeing and sufficiency in SWICE

SWICE (Sustainable Wellbeing for the Individual and the Collectivity in the Energy transition) aims to answer: how to improve wellbeing for all with a much lower energy use? Wellbeing is a state of thriving, which involves full participation in society, a ...

2023

Diffusive-type of double diffusion in lakes - a review

Alfred Johny Wüest, Martin Schmid

This chapter is a contribution in honour of Gerhard H Jirka, who has been fascinated by the amazing variety of small-scale structures that nature surprises us with, particularly in stratified natural waters. Here, we focus on the diffusive regime of double ...

CRC Press2012

When Birds Die: Making Population Protocols Fault-tolerant

Rachid Guerraoui, Eric Ruppert

In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite state machines, move around unpredictably and have pairwise interactions. The ability of such systems to compute functions on a multiset ...

2006

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML

Shane Sendall

Despite advances in implementation technologies of distributed systems during the last few years, little progress has been made on specification techniques for describing distributed systems in software development practice. The contribution of this paper ...

Springer Verlag2001

Enhancing OCL for Specifying Pre- and Postconditions

Shane Sendall

This paper proposes a number of enhancements to UML's Object Constraint Language to improve its usability for specifying operations by pre- and postconditions. In particular, we propose notational shortcuts and semantic modifications to OCL so that it can ...

2000

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