Elimination of Local Variables from Definite Logic Programs
- 作者Javier Álvez; Paqui Lucio
- 卷第137卷
- 期第1期
- 印刷ISSN1571-0661
- 文件大小388.67KB
- 发表时间2005
- DOI10.1016/j.entcs.2005.01.037
- 页码5-24
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