References
- C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
- Shiva Nejati et al., Matching and merging of statecharts specifications, In 29th IEEE International Conference on Software Engineering, pp.54-64, 2007. https://doi.org/10.1109/ICSE.2007.50
- Tewfik Ziadi, Loeic Heloueut, and Jean-Marc Jezequel. Revisiting statechart synthesis with an algebraic approach. In 26th IEEE International Conference on Software Engineering, pp.242-251, 2004. https://doi.org/10.1109/ICSE.2004.1317446
- Lionel C. Briand, Yvan Labiche, and Johanne Leduc. Toward the reverse engineering of UML sequence diagrams for distributed Java software. IEEE Transactions on Software Engineering, Vol.32, No.9, pp.642-663, July/August 2006. https://doi.org/10.1109/TSE.2006.96
- Y.Yu, Y.Wang, J.Mylopoulos, S. Liaskos, A. Lapouchnian, and J. Leite. Reverse Engineering goal models form legacy code. In 13th IEEE International Requirements Engineering Conference, pp.363-372, 2005. https://doi.org/10.1109/RE.2005.61
- Mohammad Izadi, Marcello M. Bonsangue, and Dave Clarke. Modeling Component connectors: Synchronization and Context-dependency. In 6th IEEE International Conference on Software Engineering and Formal Methods, pp.303-312, 2008. https://doi.org/10.1109/SEFM.2008.24
- Gerard J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley, 2003.
- Yunja Choi and Christian Bunse, Design Verification in Modelbased micro-Controller Development using an Abstract Component, Software and Systems Modeling, to appear.
Cited by
- A Model Translator for Checking Behavioral Consistency of Abstract Components vol.18D, pp.6, 2011, https://doi.org/10.3745/KIPSTD.2011.18D.6.443