راستی آزمایی برنامه های حساس به ایمنی با رویکرد منطق زمانی رویدادگرای بی درنگ

مشخصات نویسندگان مقاله راستی آزمایی برنامه های حساس به ایمنی با رویکرد منطق زمانی رویدادگرای بی درنگ

چکیده مقاله:

کلیدواژه ها:

کد مقاله/لینک ثابت به این مقاله

https://civilica.com/doc/25269/

نحوه استناد به مقاله:

مراجع و منابع این مقاله:

• M. Mullerburg, L. Holenderski, O. Maffeis and M. Morley. Systematic ...
• L. Lee, S. Kannan, M. Kim, O. Sokolsky and M. ...
• N. Delgado, A. Q. Gates and S. Roach. A Taxonomy ...
• N. J. Kristoffersen, c. Pedersen and H.R. Andersen. Runtime verification ...
• , Elsevier Science Publishers, Amsterdam, 2003. [5] ...
• H. Chen, J.J.P Tsai and Y. Bi. An event-based real- ...
• Kiczales gregor, L. John and M. Chris. Aspect- Oriented Programming. ...
• C. Heitmeyer, R.D. Jeffords and B. Labaw. A benchlmark for ...
• _ Popovici, T. Gross and G. Alonso. Dynamic Weaving for ...
• V. stolz and E. Bodden. Temporal Assertions using AspectJ. ENTCS ...
• K. Havelund and G. Rosu. An Overview of the Runtime ...
• _ Klose and K. Ostermann. Back to the future: Pointcuts ...
• M. Kim, M. Viswanathan, s. Kannan, I. Lee and O.V. ...
• F. Jahanian and A. Goyal. A Formalism for Monitoring Real-time ...