This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium ...

Today, formal methods are widely recognized as an essential step in the design process of industr...

Service-Oriented Computing is one of the most promising software engineering trends for future...

Today, formal methods are widely recognized as an essential step in the design process of industr...

This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...

This book contains the refereed proceedings of the 4th International Conference on Software Busin...

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Confe...

This book presents an agile and model-driven approach to manage scientific workflows. The approac...

This book constitutes the refereed proceedings of the 6th International Conference on Service-Ori...

This volume contains a selection of revised papers that were presented at the Software Aspects of...

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...

ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of S...