Concept

Diagramme

Publications associées (80)

Visual contracts (VCs)

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008

Refactoring OCL Annotated UML Class Diagrams

Slavisa Markovic

Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in objectoriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but ne ...

2008

Model refactoring using transformations

Slavisa Markovic

Modern software is reaching levels of complexity encountered in biological systems; sometimes comprising systems of systems each of which may include tens of millions of lines of code. Model Driven Engineering (MDE) advocates raising the level of abstracti ...

EPFL2008

Thermodynamics of the Spin Luttinger Liquid in a Model Ladder Material

Bruce Normand, Pierre Bouillot, Daniel Biner

The phase diagram in temperature and magnetic field of the metal-organic, two-leg, spin-ladder compound (C5H12N)(2)CuBr4 is studied by measurements of the specific heat and the magnetocaloric effect. We demonstrate the presence of an extended spin Luttinge ...

2008

Transient Behavior of variable speed pump-turbine units

François Avellan, Jean-Jacques Simond, Christophe Nicolet, Basile Kawkabani, Yves Pannatier, Alexander Schwery

This paper presents the modeling, simulation and analysis of the dynamic behavior of a fictitious 2x320 MW variable speed pump-turbine power plant including hydraulic system, electrical installations, rotating inertias and control systems. First, the model ...

International Association For Hydraulic Research2008

Thermodynamics and linear response of a Bose-Einstein condensate of microcavity polaritons

Vincenzo Savona, Davide Sarchi

In this work we derive a theory of polariton condensation based on the theory of interacting Bose particles. In particular, we describe self-consistently the linear exciton-photon coupling and the exciton-nonlinearities, by generalizing the Hartree-Fock-Po ...

V C H PUBLISHERS, SUITE 909, 220 E 23RD ST, NEW YORK, NY 10010 USA2008

Supersolid Phases of Hardcore Bosons on the Square Lattice: Correlated Hopping, Next-Nearest Neighbor Hopping and Frustration

Frédéric Mila, Julien Dorier

We discuss the appearance of supersolid phases for interacting hardcore bosons on the square lattice when, in addition to the standard nearest neighbor hopping and repulsion, correlated or next-nearest neighbor hopping is present. Having in mind dimer-base ...

2008

Chirality and Z2 vortices in a Heisenberg spin model on the kagome lattice

The phase diagram of the classical J1–J2 model on the kagome lattice is investigated by using extensive Monte Carlo simulations. In a realistic range of parameters, this model has a low-temperature chiral-ordered phase without long-range spin order. We sho ...

2008

Spectrum and thermal fluctuations of a microcavity polariton Bose-Einstein condensate

Vincenzo Savona, Davide Sarchi

The Hartree-Fock-Popov theory of interacting Bose particles is developed, for modeling exciton-polaritons in semiconductor microcavities undergoing Bose-Einstein condensation. A self-consistent treatment of the linear exciton-photon coupling and of the exc ...

2008

Requirements documentation of a controlled complex motion system

Stefano Andreozzi

The implementation of a controlled complex motion system requires integration of technologically heterogeneous subsystems and collaboration of experts, skilled in different technologies. To attain the desired requirements it is suitable to apply a design p ...

2008

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