Über „Sequentielle Formelübersetzung” von Klaus Samelson und Friedrich L. Bauer

Artikel in diesem Heft

1. Service Oriented Architecture – Overview of Technologies and Standards
2. Services and Service Composition – An Introduction (Services und Service Komposition – Eine Einführung)
3. Business Process Standards – Current Landscape (Landkarte aktueller Standards zur Beschreibung von Geschäftsprozessen: WS-BPEL, BPEL4People, BPEL-SPE, BPELJ, SCA)
4. Quality of Service in SOA Environments. An Overview and Research Agenda (Quality of Service in SOA-Umgebungen)
5. Building a Lightweight SOA (Implementierung einer Service Orientierten Architektur mit Open Source)
6. Semantic Execution Environments for Semantics-Enabled SOA (Ausführungsumgebungen für eine um Semantik erweiterte SOA)
7. An Introduction to Service Choreographies (Servicechoreographien – eine Einführung)
8. Die Rolle von Features und Aspekten in der Softwareentwicklung (The Role of Features and Aspects in Software Development)
9. Vision einer Web-basierten Dienstleistungsgesellschaft
10. Über „Sequentielle Formelübersetzung” von Klaus Samelson und Friedrich L. Bauer
11. Sequentielle Formelübersetzung (Sequential Formula Translation)