@article{Borgne2016,
author = {{Le Borgne}, Alexandre and Belloir, Nicolas and Bruel, Jean-michel and Nguyen, Thuy},
doi = {10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.134},
isbn = {9781509027712},
journal = {2016 Intl IEEE Conferences on Ubiquitous Intelligence {\&} Computing},
keywords = {allowing validating the more,early validation,explore different,formal languages,graphical languages,requirements engineering,simulation is one of,specifications by simulation,the best ways to},
pages = {1028--1032},
title = {{Formal Requirements Engineering for Smart Industries}},
year = {2016}
}
@inproceedings{LeBorgne,
address = {Madrid, Spain},
author = {{Le Borgne}, Alexandre and Delahaye, David and Huchard, Marianne and Urtado, Christelle and Vauttier, Sylvain},
booktitle = {Proceedings of the 7th Seminar on Advanced Techniques {\&} Tools for Software Evolution (SATToSE 2017)},
title = {{Preliminary study on predicting version propagation in three-level component-based architectures}},
year = {2017}
}
@inproceedings{LeBorgne2017,
address = {Pittsburgh, USA},
author = {{Le Borgne}, Alexandre and Delahaye, David and Huchard, Marianne and Urtado, Christelle and Vauttier, Sylvain},
booktitle = {Proceedings of the 29th International Conference on Software Engineering {\&} Knowledge Engineering (SEKE 2017)},
keywords = {architecture evolution,architecture versioning,compo-,component-based software engineering,nent substitutability,of software systems,ver-,version propagation,with the growing complexity},
pages = {18 -- 23},
title = {{Substitutability-Based Version Propagation to Manage the Evolution of Three-Level Component-Based Architectures}},
year = {2017}
}