Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract
- 作者Dan Dougherty; Pierre Lescanne; Luigi Liquori; Frédéric Lang
- 卷第127卷
- 期第5期
- 印刷ISSN1571-0661
- 文件大小400.44KB
- 发表时间2005
- DOI10.1016/j.entcs.2004.12.042
- 页码57-82
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