Engineering Event-Based Systems with Scopes
No abstract available.
Related papers
- Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561 JFP 2012
- Engineering Verified Model Transformations through a Proof-Based Language Workbench SLE 2026
- VESTA: Power Modeling with Language Runtime Events PLDI 2024
- Presenting a day in the life of video-based requirements engineering Onward! 2011
- Precise and maximal race detection from incomplete traces OOPSLA 2016
- Making Sense of Multi-threaded Application Performance at Scale with NonSequitur OOPSLA 2024
- Zones, Contracts and Absorbing Changes: An Approach to Software Evolution OOPSLA 1999
- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit TACAS 2023