References

  1. OASIS Committee Draft 5 (2010): SCA Assembly Specification Version 1.1. http://oasis-open.org.
  2. Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine & Alexandra Savu (2012): Behavioural Semantics for Asynchronous Components. Rapport de recherche RR-8167. INRIA.
  3. A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.H. Nguyen & J. Sifakis (2011): Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. 28(3), pp. 41–48, doi:10.1109/MS.2011.27.
  4. F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov, L. Henrio & C. Pérez (2009): GCM: A Grid Extension to Fractal for Autonomous Distributed Components. Annals of Telecommunications 64(1), pp. 5–24, doi:10.1007/s12243-008-0068-8.
  5. Françoise Baude, Ludovic Henrio & Cristian Ruz (2014): Programming distributed and adaptable autonomous components-the GCM/ProActive framework. Software: Practice and Experience, doi:10.1002/spe.2270.
  6. S. Bensalem, M. Bozga, T.-H. Nguyen & J. Sifakis (2010): Compositional verification for component-based systems and application. IET Software 4(3), doi:10.1007/978-3-540-88387-6_7.
  7. E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma & J.-B. Stefani (2006): The Fractal Component Model and Its Support in Java. Software Practice and Experience, special issue on Experiences with Auto-adaptive and Reconfigurable Systems 36(11-12), doi:10.1002/spe.767.
  8. Buisson, J. and André, F. and Pazat, J.L. (2005): A framework for dynamic adaptation of parallel components. In: Parallel Computing: Current & Future Issues of High-End Computing International Conference ParCo, NIC Series 33, Malaga Spain, pp. 65.
  9. T. Bureš, P. Hnetynka & F. Plasil (2006): SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In: Proceedings of SERA 2006, IEEE CS, pp. 40–48, doi:10.1109/SERA.2006.62.
  10. H. Garavel, F. Lang, R. Mateescu & W. Serve (2011): CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In: TACAS'11, LNCS 6605. Springer, Heidelberg, Saarbrücken, Germany, doi:10.1007/978-3-642-19835-9_33.
  11. Nuno Gaspar, Ludovic Henrio & Eric Madelaine (2013): Bringing Coq Into the World of GCM Distributed Applications. In: International Symposium on High-level Parallel Programming and Applications&, HLPP, Paris, France, doi:10.1007/s10766-013-0264-7. Available at http://hal.inria.fr/hal-00880533.
  12. Ludovic Henrio, Florian Kammüller & Muhammad Uzair Khan (2010): A Framework for Reasoning on Component Composition. In: FMCO 2009, Lecture Notes in Computer Science. Springer, doi:10.1007/978-3-642-17071-3_1.
  13. Petr Hnětynka & František Plášil (2006): Dynamic reconfiguration and access to services in hierarchical component models. In: Proceedings of the 9th international conference on Component-Based Software Engineering, CBSE'06. Springer-Verlag, pp. 352–359, doi:10.1007/11783565_27.
  14. Philippe Merle & Jean-Bernard Stefani (2008): A formal specification of the Fractal component model in Alloy. Research Report RR-6721. INRIA. Available at http://hal.inria.fr/inria-00338987/en/.
  15. Paul Naoumenko (2010): Designing Non-functional Aspects With Components. University of Nice-Sophia Antipolis.
  16. Lionel Seinturier, Nicolas Pessemier, Laurence Duchien & Thierry Coupaye (2006): A Component Model Engineered with Components and Aspects. In: Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering, doi:10.1007/11783565_10.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org