لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
Domai Theory استفاده کردیم که مبتنی بر خصوصیتی ثابت _ ...
Maurice ter Beek, Antonio Bucchiarome, Stefania Gmesi, Web Service Composition ...
A. Mousavi and B Far, "Eliciting Scenarios from Scenarios", In ...
A. van Lamsweerde and Willemet L. Inferring declarative requirements specifications ...
_ _ _ designs from ...
E. M"akinen and T. Syst a. MAS _ an interactive ...
J.E. Hopcroft, R. Motwani, and J.TD. Ullman. Introduction o Automata ...
_ _ _ _ Machines. PhD thesis, SCS, Carleton University, ...
_ _ _ Computer Science, 13(1):5-51, 2002. ...
K. Koskimies and E. M"akinen. Automatic synthesis of state machines ...
H. Ben-Abdhalla and S. Leue. MESA Support for scenario- ...
S. Som, R. Dssouli, and J. Vaucher. From scenarios to ...
نمایش کامل مراجع