Knowledge Science, Engineering and Management : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

Published 2015

Software Engineering for Collective Autonomic Systems : The ASCENS Approach

Published 2015

Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Published 2005

Software-Intensive Systems and New Computing Paradigms : Challenges and Visions

Published 2008

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

Published 2009

Adapting Proofs-as-Programs : The Curry--Howard Protocol

by Poernomo, Iman, Crossley, John N., Wirsing, Martin
Published 2005

Java kompakt : Eine Einführung in die Software-Entwicklung mit Java

by Hölzl, Matthias, Raed, Allaithy, Wirsing, Martin
Published 2013

Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Published 2011

Trustworthy Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Published 2010