Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings /

by Jedlitschka, Andreas
Published in Springer eBooks (2008)

Model Driven Architecture and Ontology Development

by Gašević, Dragan
Published in Springer e-books (2006)

Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings

by Münch, Jürgen
Published in Springer e-books (2006)

Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers /

by Aalst, Will
Published in Springer eBooks (2009)

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 1...

Published in Springer eBooks (2013)

Distributed Programming Theory and Practice /

by Shankar, A. Udaya
Published in Springer eBooks (2013)

Handbook of Neuroevolution Through Erlang

by Sher, Gene I.
Published in Springer eBooks (2013)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /

Published in Springer eBooks (2013)

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /

Published in Springer eBooks (2013)

The Scrum Culture Introducing Agile Methods in Organizations /

by Maximini, Dominik
Published in Springer eBooks (2015)

Correct Software in Web Applications and Web Services

Published in Springer eBooks (2015)

A Rigorous Semantics for BPMN 2.0 Process Diagrams

by Kossak, Felix, Illibauer, Christa, Geist, Verena, Kubovy, Jan, Natschläger, Christine, Ziebermayr, Thomas, Kopetzky, Theodorich, Freudenthaler, Bernhard, Schewe, Klaus-Dieter
Published in Springer eBooks (2014)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /

Published in Springer eBooks (2015)

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /

Published in Springer eBooks (2015)

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /

Published in Springer eBooks (2014)

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /

Published in Springer eBooks (2014)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Published in Springer eBooks (2014)

CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /

Published in Springer eBooks (2014)

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /

Published in Springer eBooks (2014)

RoboCup 2013: Robot World Cup XVII

Published in Springer eBooks (2014)