Blar i NTNU Open på forfatter "Fatima, Urooj"
-
A Modular Method for High- Level Service Specification and Component Design Derivation
Fatima, Urooj (Doctoral theses at NTNU;2017:259, Doctoral thesis, 2017)This thesis addresses the problem of specifying the behaviour of distributed reactive systems in such a way that the component behaviours can be derived automatically. This automation demands specifications to be complete ... -
Coordination Patterns for Reactive Services
Fatima, Urooj (Master thesis, 2010)In our everyday life we come across countless reactive systems. These are the systems that engage in stimulus-response behaviour. The development of distributed reactive systems is quite complex. Being able to rapidly ...