| |
In the 2009 ACM symposium (2009), pp. 1867-1872.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 51-60.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 377-391.
|
| |
Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on In 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Vol. 0 (18 September 2008), pp. 340-347.
|
| |
|
| |
Quality Software, 2008. QSIC '08. The Eighth International Conference on In 2008 Eighth International Conference on Quality Software (QSIC), Vol. 0 (19 August 2008), pp. 45-54.
|
| |
Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on In Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, Vol. 2 (2008), pp. 750-753.
|
| |
Advanced Software Engineering and Its Applications, 2008. ASEA 2008 In Advanced Software Engineering and Its Applications, 2008. ASEA 2008 (22 December 2008), pp. 57-62.
|
| |
Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for In Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for (2008), pp. 1156-1162.
|
| |
Software Testing, Verification, and Validation, 2008 International Conference on, Vol. 0 (2008), pp. 288-297.
|
| |
In ACE '08: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008), pp. 219-222.
|
| |
Journal of Systems and Software (17 November 2008)
|
| |
Int. J. Comput. Appl. Technol., Vol. 33, No. 4. (2008), pp. 327-336.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 585-586.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 575-576.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 573-574.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 345-360.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 184-200.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 566-567.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 456-470.
|
| |
In PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (2008), pp. 165-168.
|
| |
Computer Security - ESORICS 2008 (2008), pp. 300-316.
|
| |
Creating, Connecting and Collaborating through Computing, 2008. C5 2008. Sixth International Conference on In Creating, Connecting and Collaborating through Computing, 2008. C5 2008. Sixth International Conference on (2008), pp. 93-100.
|
| |
25 Years of Model Checking (2008), pp. 27-45.
|
| |
1st Workshop on Model-based Testing in Practice (MoTiP 2008) (12 June 2008)
|
| |
Model Driven Architecture – Foundations and Applications (2008), pp. 294-309.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 195 (18 January 2008), pp. 95-111.
|
| |
TENCON 2008 - 2008, TENCON 2008. IEEE Region 10 Conference In TENCON 2008 - 2008, TENCON 2008. IEEE Region 10 Conference (2008), pp. 1-6.
|
| |
International Journal of Software Engineering and Knowledge Engineering, Vol. 18, No. 06. (2008), 785.
|
| |
Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for In Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for (2008), pp. 1217-1222.
|
| |
Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on In Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on (2008), pp. 459-463.
|
| |
|
| |
Automated Software Engineering, Vol. 15, No. 1. (25 March 2008), pp. 35-74.
|
| |
Empirical Software Engineering, Vol. 13, No. 4. (2008), pp. 435-468.
|
| |
Information and Software Technology, Vol. 51, No. 1. (12 January 2009), pp. 7-15.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 41-50.
|
| |
Information Technology, 2008. IT 2008. 1st International Conference on In Information Technology, 2008. IT 2008. 1st International Conference on (2008), pp. 1-4.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 203, No. 1. (28 March 2008), pp. 135-148.
|
| |
Theory and Practice of Model Transformations (2008), pp. 152-167.
|
| |
Automatic Program Development (2008), pp. 287-295.
|
| |
Theory and Practice of Model Transformations (2008), pp. 46-60.
|
| |
Logic Programming (2008), pp. 15-21.
|
| |
Science of Computer Programming, Vol. 72, No. 1-2. (01 June 2008), pp. 31-39.
|
| |
In AOM '08: Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling (2008), pp. 13-18.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 529-532.
|
| |
Chilean Computer Science Society, 2008. SCCC '08. International Conference of the In 2008 International Conference of the Chilean Computer Science Society (SCCC) (November 2008), pp. 32-41.
|
| |
Digital System Design Architectures, Methods and Tools, 2008. DSD '08. 11th EUROMICRO Conference on In Digital System Design Architectures, Methods and Tools, 2008. DSD '08. 11th EUROMICRO Conference on (2008), pp. 525-532.
|
| |
In RecSys '08: Proceedings of the 2008 ACM conference on Recommender systems (2008), pp. 287-290.
|
| |
In VaMoS (2008), pp. 131-140.
|
| |
In MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering (2008), pp. 7-14.
|
CiteULike
leonardo's CiteULike
Search
