Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution

DOI10.1007/S11241-006-9002-1zbMath1154.68364OpenAlexW1517081964MaRDI QIDQ862528

Martin Pohlack, Simone Röttger, Ronald Aigner, Hermann Härtig, Christoph Pohl, Steffen Göbel, Steffen Zschaler

Publication date: 24 January 2007

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-006-9002-1

zbMATH Keywords

real-time systems component-based software engineering component runtime environment model-driven software development

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

JBoss

This page was built for publication: Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution