Skip to main content
Article
Licensed
Unlicensed Requires Authentication

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

Published/Copyright: September 25, 2009
it - Information Technology
From the journal it - Information Technology Volume 50 Issue 2

Published Online: 2009-9-25
Published in Print: 2008-2-1

© Oldenbourg Wissenschaftsverlag

Articles in the same Issue

  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)
https://doi.org/10.1524/itit.2008.0476

Articles in the same Issue

  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)
Downloaded on 30.4.2026 from https://www.degruyterbrill.com/document/doi/10.1524/itit.2008.0476/html?lang=en
Scroll to top button