Evolution On-the-Fly with Paradigm
暂无分享,去创建一个
[1] Manuel Oriol,et al. An approach to the dynamic evolution of software systems , 2004 .
[2] Earl T. Barr,et al. Runtime Support for Type-Safe Dynamic Java Classes , 2000, ECOOP.
[3] Juan Carlos Augusto,et al. A temporal logic view of paradigm models , 2002, SEKE '02.
[4] Antonio Brogi,et al. A formal approach to component adaptation , 2005, J. Syst. Softw..
[5] Erik P. de Vink,et al. Operational Semantics for Coordination in Paradigm , 2002, COORDINATION.
[6] Wouter Joosen,et al. Towards preserving correctness in self-managed software systems , 2004, WOSS '04.
[7] Gerti Kappel,et al. Coordinated Collaboration of Objects , 2000, Advances in Object-Oriented Data Modeling.
[8] Pascal Poizat,et al. KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems) , 2000 .
[9] Gavin M. Bierman,et al. Mutatis Mutandis: Safe and predictable dynamic software updating , 2007, TOPL.
[10] Erik P. de Vink,et al. Delegation Modeling with Paradigm , 2005, COORDINATION.
[11] Jun Han,et al. Coordination Systems in Role-Based Adaptive Software , 2005, COORDINATION.
[12] David Garlan,et al. Proceedings of the first workshop on Self-healing systems , 2002, Fast Software Encryption Workshop.
[13] Sun Meng,et al. On Refinement of Generic State-Based Software Components , 2004, AMAST.
[14] Manuel Oriol,et al. Tagged Sets: A Secure and Transparent Coordination Medium , 2005, COORDINATION.
[15] José Júlio Alferes,et al. Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..
[16] David Garlan,et al. A formal basis for architectural connection , 1997, TSEM.
[17] Jochen Malte Küster,et al. Consistency management of object oriented behavioral models , 2004 .
[18] Jürgen Dingel,et al. A survey of self-management in dynamic software architecture specifications , 2004, WOSS '04.