Product-focused software process improvement 7th international conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006 : proceedings /

Published 2006

COTS-based software systems 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings /

Published 2005

Component-based software engineering 8th international symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 : proceedings /

Published 2005

Computer safety, reliability, and security 25th international conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006 : proceedings /

Published 2006

Verification of object-oriented software the KeY approach /

Published 2007

Rapid integration of software engineering techniques first international workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papers /

Published 2005

Principles of the Spin model checker

by Ben-Ari, M., 1948-
Published 2008

Formal methods and testing an outcome of the FORTEST network : revised selected papers /

Published 2008

Software engineering approaches for offshore and outsourced development first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers /

Published 2007

Model driven engineering languages and systems 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings /

Published 2006

Transactions on aspect-oriented software development III

Published 2007

Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /

Published 2007

Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, Apr...

Published 2005

Model driven architecture foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005 : proceedings /

Published 2005

Tests and proofs second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /

Published 2008

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /

Published 2006

Software process improvement 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006 : proceedings /

Published 2006

Software architecture third European workshop, EWSA 2006, Nantes, France, September 4-5, 2006 : revised selected papers /

Published 2006

Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition /

by Liblit, Ben
Published 2007

The common component modeling example comparing software component models /

Published 2008