1
SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
2
Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /
3
Languages, Methodologies, and Development Tools for Multi-Agent Systems [E-Book] : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers /
4
Software Engineering Techniques [E-Book] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers /
5
Software Architecture [E-Book] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /
6
Business Process Management [E-Book] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings /
7
Transactions on Aspect-Oriented Software Development VIII [E-Book] /
8
Formal Methods, Foundations and Applications [E-Book] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /
9
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings /
10
ECOOP 2011 – Object-Oriented Programming [E-Book] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings /
11
Foundations of Security Analysis and Design VI [E-Book] : FOSAD Tutorial Lectures /
12
FM 2011: Formal Methods [E-Book] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /
13
System Analysis and Modeling: About Models [E-Book] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
14
Fundamental Approaches to Software Engineering [E-Book] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
15
Process Mining [E-Book] : Discovery, Conformance and Enhancement of Business Processes /
16
Formal Verification of Object-Oriented Software [E-Book] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
17
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers /
18
Formal Methods: Foundations and Applications [E-Book] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /
19
CONCUR 2010 - Concurrency Theory [E-Book] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /
20
Distributed Computing and Internet Technology [E-Book] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings /