Author:
Ciraci Selim,van den Broek Pim,Akşit Mehmet
Reference13 articles.
1. Apvrille L, De Saqui-Sannes P, Sénac P, Lohr C (2004) Verifying service continuity in a dynamic reconfiguration procedure: Application to a satellite system. Automat Software Eng 11(2):167–191
2. ArgoUML (2010) ArgoUML: Open source UML modeling tool.
http://argouml.tigris.org/
. Accessed 15 Sept 2010
3. Becker B, Beyer D, Giese H, Klein F, Schilling D (2006) Symbolic invariant verification for systems with dynamic structural adaptation. In: ICSE’06. ACM, New York, pp 72–81
4. Bucchiarone A, Galeotti JP (2008) Dynamic software architectures verification using dynalloy. In: ECEASST’08, vol 10.
http://tfs.cs.tu-berlin.de/gtvmt08/Program/paper_30.pdf
. Accessed 30 Aug 2010
5. Ciraci S (2009) Graph based verification of software evolution requirements. PhD thesis, University of Twente, the Netherlands