Author:
Kezadri Hamiaz Mounira,Pantel Marc,Combemale Benoit,Thirioux Xavier
Publisher
Springer International Publishing
Reference48 articles.
1. Aßmann, U.: Invasive software composition. Springer-Verlag New York Inc. (2003)
2. Barbier, F., Castéran, P., Cariou, E., Le Goaer, O., et al.: Adaptive software based on correct-by-construction metamodels. In: Progressions and Innovations in Model-Driven Software Engineering, pp. 308–325 (2013)
3. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Fourth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006, pp. 3–12. IEEE (2006)
4. Baya, A., Asri, B.E.: Composing specific domains for large scale systems. Journal of Communication and Computer 10, 844–856 (2013)
5. Bensalem, S., Bozga, M., Nguyen, T., Sifakis, J.: Compositional verification for component-based systems and application. Software, IET 4(3), 181–193 (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献