References

  1. R.J. Allen (1997): A Formal Approach to Software Architectures. Carnegie Mellon University.
  2. S. Andova, L.P.J. Groenewegen, J.H.S. Verschuren & E.P. de Vink (2009): Architecting Security with Paradigm. In: Architecting Dependable Systems VI. LNCS 5835, pp. 255–283, doi:10.1007/978-3-642-10248-6_11.
  3. S. Andova, L.P.J. Groenewegen & E.P. de Vink (2010): Dynamic Consistency in Process Algebra: From Paradigm to ACP. Science of Computer Programming, doi:10.1016/j.scico.2010.04.011.
  4. S. Andova, L.P.J. Groenewegen & E.P. de Vink (2010): Towards Dynamic Adaptation of Probabilistic Systems. In: T. Margaria & B. Steffen: Proc. ISOLA 2010. LNCS 6416, pp. 143–159, doi:10.1007/978-3-642-16561-0_19.
  5. F. Arbab (2004): Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14, pp. 329–366, doi:10.1017/S0960129504004153.
  6. J.C.M. Baeten, T. Basten & M.A. Reniers (2010): Process Algebra: Equational Theories of Communicating Processes. Cambridge Tracts in Theoretical Computer Science 50. CUP.
  7. G. Engels, R. Heckel, J.M. Küster & L. Groenewegen (2002): Consistency-Preserving Model Evolution through Transformations. In: J.-M. Jézéquel, H. Hußmann & S. Cook: Proc. UML 2002. LNCS 2460, pp. 212–226, doi:10.1007/3-540-45800-X_18.
  8. R.J. van Glabbeek & P. Weijland (1996): Branching time and abstraction in bisimulation semantics. Journal of the ACM 43, pp. 555–600, doi:10.1145/233551.233556.
  9. L. Groenewegen & E. de Vink (2002): Operational Semantics for Coordination in Paradigm. In: F. Arbab & C. Talcott: Proc. Coordination 2002. LNCS 2315, pp. 191–206, doi:10.1007/3-540-46000-4_20.
  10. L. Groenewegen & E. de Vink (2006): Evolution-On-The-Fly with Paradigm. In: P. Ciancarini & H. Wiklicky: Proc. Coordination 2006. LNCS 4038, pp. 97–112, doi:10.1007/11767954_7.
  11. J.F. Groote et al. (2007): The Formal Specification Language mCRL2. In: E. Brinksma et al.: Methods for Modelling Software Systems. IBFI, Schloss Dagstuhl.
  12. N. Kokash, C. Koehler & E.P. de Vink (2010): Time and Data-Aware Analysis of Graphical Service Models in Reo. In: J.L. Fiadeiro A. Maggiolo-Schettini & S. Gnesi: Proc. SEFM 2010. IEEE, pp. 125–134, doi:10.1109/SEFM.2010.26.
  13. C. Krause (2011): Reconfigurable Component Connectors. Leiden University.
  14. J.M. Küster (2004): Consistency Management of Object-Oriented Behavioral Models. University of Paderborn.
  15. M.Z. Kwiatkowska, G. Norman & D. Parker (2009): PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Performance Evaluation Review 36, pp. 40–45, doi:10.1145/1530873.1530882.
  16. M. Möller, E.-R. Olderog, H. Rasch & H. Wehrheim (2008): Integrating a formal method into a software engineering process with UML and Java. Formal Aspects of Computing, pp. 161–204, doi:10.1007/s00165-007-0042-7.
  17. M.A. Pérez-Toledano, A. Navasa, J.M. Murillo & C. Canal (2007): TITAN: a Framework for Aspect-Oriented System Evolution. In: Proc. ICSEA 2007, Cap Esterel. IEEE, doi:10.1109/ICSEA.2007.77.
  18. N.F. Rodrigues & L.S. Barbosa (2005): Architectural Prototyping: From CCS to .Net. In: A. Mota & A.V. Moura: Proc. SBMF 2004. ENTCS 130, pp. 151–167, doi:10.1016/j.entcs.2005.03.009.
  19. M. Sirjani, A. Movaghar, A. Shali & F.S. de Boer (2004): Modeling and Verification of Reactive Systems using Rebeca. Fundamenta Informaticae 63, pp. 385–410, doi:10.1.1.107.2074.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org