Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference61 articles.
1. Aho A.V., Lam M.S., Sethi R., Ullman J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Pearson Education, Inc, India (2006)
2. Ait-Sadoune, I., Ait-Ameur, Y.: Stepwise design of BPEL web services compositions. An event B refinement based approach. In: Software Engineering Research, Management and Applications (SERA 2010). Studies in Computational Intelligence, vol. 296, pp. 51–68. Springer, Berlin (2010)
3. Barros, A., Börger, E.: A compositional framework for service interaction patterns and communication flows. In: Lau, K.-K., Banach, R. (eds.) Formal Methods and Software Engineering. Proceedings of the 7th International Conference on Formal Engineering Methods (ICFEM 2005). LNCS, vol. 3785, pp. 5–35. Springer, Berlin (2005)
4. Batory D., Börger E.: Modularizing theorems for software product lines: the Jbook case study. J. Univers. Comput. Sci. 14(12), 2059–2082 (2008)
5. Börger E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Formal Aspects Comput. 19, 225–241 (2007)
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献