کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10329465 | 685412 | 2005 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
An Environment for the Development of Concurrent Object-Based Applications
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Object-Based Graph Grammars (OBGG) is a formal specification language suitable for modeling concurrent object-based systems. On previous work we have mainly discussed the language along with case studies and analysis techniques (model checking and simulation) for systems described in OBGG. In this paper we present the set of tools we have developed and/or integrated to build an environment for the development of concurrent object-based systems. With this environment, we support the specification and analysis of concurrent object-based systems specified using OBGG.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 127, Issue 1, 30 March 2005, Pages 3-13
Journal: Electronic Notes in Theoretical Computer Science - Volume 127, Issue 1, 30 March 2005, Pages 3-13
نویسندگان
Fernando L. Dotti, Lucio M. Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar M. dos Santos,