Service and Software Engineering

News 2008

The Status paper on "Software engineering and formal methods" appears in the Communications of the ACM. (Volume 51, Issue 9, http://portal.acm.org/citation.cfm?id=1378727.1378742). Stemming from the reflections after the invited talks at SEFM 2008, co-chaired by Tiziana Margaria and Mike Hinchey, the paper condenses the views and the perspectives on formal methods by the invited speakers (Patrick Cousot, Michael Jones, and Byron Cook), and chairs.

Vortrag im Lehrstuhlkolloquium "Service und Software Engineering"
Referent: Prof. Barry Jay, University of Technology, Sydney, Australien
Titel: Programming with patterns →

Vortrag im Rahmen der Lehrveranstaltung "Service Oriented Architecture"
Referent: Dr. Charles Petrie, Stanford University, CA, USA
Titel: Service based Process Synthesis →

Vortrag im Lehrstuhlkolloquium "Service und Software Engineering"
Referent: Marsha Chechik, University of Toronto
Titel: Runtime Monitoring of Web Service Conversations →

Vortrag im Lehrstuhlkolloquium "Service und Software Engineering"
Referent: Dr. Asuman Sünbül, SAP Research, Palo Alto
Titel: Concurrency in Enterprise Systems →

Complexities in the Semantic Web Service Challenge have been discussed in depth in the home of the Verified Compiler Challenge. Tiziana Margaria held and invited talk on the specific spikes of the SWS-C at ICECCS 2008 (the 13th International Conference on Engineering of Complex Computer Systems in Belfast in April 2008), invited by Jim Woodcock, who coordinates the Experiments track of the VSI Grand Challenge.

Vortrag zur Vorlesung "Service Oriented Computing"
Referent: Peter Emmel, SAP AG
Titel: Definition, Modeling, Implementation, and Governance of Enterprise Services →

Vortrag zur Vorlesung "Service Oriented Computing"
Referent: Laura Bocchi, University of Leicester, UK
Titel: From BPEL to SRML: a Formal Transformational Approach →