Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation

Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi. Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. In Rolf Drechsler, Robert Wille, editors, 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. pages 1-8, IEEE, 2016. [doi]

Abstract

Abstract is missing.