Publication

Using OCL and UML to Specify System Behavior

Related publications (61)

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.

Definition and assessment of reference values for PMU calibration in static and transient conditions

Mario Paolone, Guglielmo Frigo, Marco Pignati, Daniele Colangelo

The calibration of Phasor Measurement Units (PMUs) consists of comparing Coordinated Universal Time (UTC) time-stamped phasors (synchrophasors) estimated by the PMU under test, against reference synchrophasors generated through a PMU calibrator. The IEEE S ...

IEEE2016

Design and Strand Tests of a Fusion Cable Composed of Coated Conductor Tapes

Pierluigi Bruzzone, Davide Uglietti, Rainer Wesche

The design of a flat cable suitable for future fusion reactors has been carried out. The cable consists of twisted round strands, which are composed of tapes stacked between copper profiles. According to calculations, the strand twist pitch and the cable t ...

2014

Designing Augmented Reality for the Classroom

Pierre Dillenbourg, Sébastien Cuendet, Quentin Bonnard

Augmented reality (AR) has recently received a lot of attention in education. Multiple AR systems for learning have been developed and tested through empirical studies often conducted in lab settings. While lab studies can be insightful, they leave out the ...

Elsevier2013

Value Map: A Diagnostic Framework to Improve Value Creation and Capture in Service Systems

Alain Wegmann, Arash Golnam

In this paper, we introduce a problem structuring method (PSM) called “Value Map”. Value Map is an extension to the Supplier Adopter Relationship Diagram in the Systemic Enterprise Architecture Method (SEAM). Value Map assists in understanding, analysis an ...

SCITEPRESS - Science and Technology Publications2013

Fast black-box testing of system recovery code

George Candea, Radu Banabic

Fault injection-a key technique for testing the robustness of software systems-ends up rarely being used in practice, because it is labor-intensive and one needs to choose between performing random injections (which leads to poor coverage and low represent ...

2012

Debugging by lastChange

Claude Petitpierre, Salman Mirghasemi

Developers often seek the origins of wrong values they see in their debugger. Their search must be backwards in time: the code causing the wrong value executed before the wrong value appeared. Searching with breakpoint- or log- based debuggers demands pers ...

2011

Querypoint : Moving Backwards on Wrong Values in the Buggy Execution

Claude Petitpierre, Salman Mirghasemi

As developers debug, they often have to seek the origins of wrong values they see in their debugger. This search must be performed backwards in time since the code causing the wrong value is executed before the wrong value appears. Therefore, locating the ...

2011

Model Checking Tools for Software System Implementations

Maysam Yabandeh

Systematic State Exploration or Model Checking techniques have been used for years to check the model of softwares against user-specified properties. Nevertheless, they never achieved a wide-spread usage because of the difficulties and problems in translat ...

2010

A process model for structural identification

Ian Smith, Sandro Saitta

Structural identification is the activity of determining how a structure is behaving using results from measurements. This paper presents a process model for carrying out structural identification over the life of the structure using results from structura ...

Crc Press-Taylor & Francis Group, 6000 Broken Sound Parkway Nw, Ste 300, Boca Raton, Fl 33487-2742 Usa2009

Query-point Debugging

Salman Mirghasemi

Software Debugging is still one of the most challenging and time consuming aspects of software development. Monitoring the software behavior and finding the causes of this behavior are located at the center of debugging process. Although many tools and tec ...

2009