Publications associées à Mobile development framework

Supporting Developers in Creating Web Apps for Education via an App Development Framework

Denis Gillet, Juan Carlos Farah, Sandy Ingram

As more educational activities are conducted online, the need for interactive applications (apps) that can effectively support educators in their practice is increasing. These apps are often created by web developers or by researchers, educators, and even ...

Editorial Universitat Politècnica de València2022

Algorithmic Verification of Component-based Systems

Qiang Wang

This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...

EPFL2017

Biomechanical ToolKit: Open-source framework to visualize and process biomechanical data

Arnaud Barré, Stéphane Armand

C3D file format is widely used in the biomechanical field by companies and laboratories to store motion capture systems data. However, few software packages can visualize and modify the integrality of the data in the C3D file. Our objective was to develop ...

Elsevier2014

Rigorous System Design: The BIP Approach

Joseph Sifakis

Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall c ...

Springer2012

A component-based software framework for hybrid real-time and best-effort embedded applications

Frédéric Pont

Embedded systems play an increasing role in our society. From consumer electronics to driving assistance in cars, from medical devices to space exploration, they are ubiquitous. To better assist human beings, embedded systems become more complex, and more ...

EPFL2008