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

Ein praxisnahes Buch, das die formale Methodik der Service‑orientierten Softwareentwicklung mit realen Fallstudien aus dem SENSORIA-Projekt verknüpft und dabei neue Ansätze für Modellierung, Verifikation und Qualitätskontrolle präsentiert.

Teilen: