کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951896 | 1441617 | 2016 | 27 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A method for rigorous design of reconfigurable systems
ترجمه فارسی عنوان
یک روش برای طراحی دقیق سیستم های قابل تنظیم
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
مشخصات نرم افزاری، سیستم های قابل تنظیم، منطق ترکیبی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In the method these two levels are not only made explicit and juxtaposed, but formally interrelated. The key to achieve such a goal is a systematic process of hybridisation of logics through which the relationship between the local and global levels of a specification becomes internalised in the logic itself.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 132, Part 1, 15 December 2016, Pages 50-76
Journal: Science of Computer Programming - Volume 132, Part 1, 15 December 2016, Pages 50-76
نویسندگان
Alexandre Madeira, Renato Neves, LuÃs S. Barbosa, Manuel A. Martins,