Insights to Angluin's Learning
- 作者Therese Berg; Bengt Jonsson; Martin Leucker; Mayank Saksena
- 卷第118卷
- 印刷ISSN1571-0661
- 文件大小269.71KB
- 发表时间2005
- DOI10.1016/j.entcs.2004.12.015
- 页码3-18
Modeling and validation of service-oriented architecturesBaresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel · ACM SIGSOFT Software Engineering Notes · 2003
Style-based modeling and refinement of service-oriented architecturesLuciano Baresi; Reiko Heckel; Sebastian Thöne; D´aniel Varr´o · 2006
[ACM Press the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium - Helsinki, Finland (2003.09.01-2003.09.05)] Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 - Modeling and validation of service-oriented architecturesBaresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel · 2003