-
Modeling and model-based testing of service choreographies
Wieczorek, Sebastian
-
Empirical Software Engineering and Verification – International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Meyer, Bertrand ; Nordio, Martin 2012 Springer Berlin Heidelberg
-
Evaluation of Novel Approaches to Software Engineering – 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
Maciaszek, Leszek A. ; Loucopoulos, Pericles 2011 Springer Berlin Heidelberg
-
Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
-
Agent-Oriented Software Engineering XI – 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
Weyns, Danny ; Gleizes, Marie-Pierre 2011 Springer Berlin Heidelberg
-
Computer Aided Verification – 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Gopalakrishnan, Ganesh ; Qadeer, Shaz 2011 Springer Berlin Heidelberg
-
Tests and Proofs – 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
Gogolla, Martin ; Wolff, Burkhart 2011 Springer Berlin Heidelberg
-
Formal Methods for Eternal Networked Software Systems – 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Bernardo, Marco ; Issarny, Valérie 2011 Springer Berlin Heidelberg
-
Engineering Secure Software and Systems – Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer Berlin Heidelberg
-
Central European Functional Programming School – Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
Horváth, Zoltán ; Plasmeijer, Rinus ; Zsók, Viktória 2010 Springer Berlin Heidelberg
-
Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
-
Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
Advances in Artificial Intelligence – IBERAMIA 2010 – 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
Advances in Information and Computer Security – 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings
Echizen, Isao ; Kunihiro, Noboru ; Sasaki, Ryoichi 2010 Springer Berlin Heidelberg
-
Advances in Artificial Intelligence – SBIA 2010 – 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
Kuri-Morales, Angel ; Simari, Guillermo R. 2011 Springer Berlin Heidelberg
-
Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
-
Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Qin, Shengchao 2010 Springer Berlin Heidelberg
-
Hardware and Software: Verification and Testing – 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
2011 Springer Berlin Heidelberg
-
Improving Software Testing – Technical and Organizational Developments
Majchrzak, Tim A. 2012 Springer Berlin Heidelberg
-
FM 2011: Formal Methods – 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Butler, Michael ; Schulte, Wolfram 2011 Springer Berlin Heidelberg