Proceedings 15th International Refinement Workshop
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
Proceedings 7th Workshop on Model-Based Testing
Proceedings Fifth Transformation Tool Contest
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
Proceedings International Workshop on Component and Service Interoperability
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures
Proceedings of the 12th International Workshop on Logic Programming Environments
Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003)
Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000)
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering
Proceedings Second Workshop on Formal Aspects of Virtual Organisations
Product Centric Holons for Synchronisation and Interoperability in Manufacturing Environments
Product Lines for Service Oriented Applications - PL for SOA
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis
Program Promises
Program slicing techniques and its applications
Program Spectra Analysis in Embedded Software: A Case Study
Program Understanding: A Reengineering Case for the Transformation Tool Contest