Login / Signup
Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles.
Ikbel Krichen
Imen Loulou
Ahmed Hadj Kacem
Published in:
ICSOFT (2) (2011)
Keyphrases
</>
publish subscribe
design process
case study
multi dimensional
software architecture
building blocks
user experience
back end
event driven
publish subscribe systems