دانلود مقاله ISIاز معماری به رفتار کاتیون خاص از خدمات

موضوع فارسی :از معماری به رفتار کاتیون خاص از خدمات

موضوع انگلیسی :From Architectural to Behavioural Specification of Services

تعداد صفحه :19

فرمت فایل :PDF

سال انتشار :2009

زبان مقاله : انگلیسی

چکیده
و بسیاری FF orts در حال حاضر اختصاص داده شده به ارائه توسعه دهندگان نرم افزار با روش ها و تکنیک است که می تواند محاسبات سرویس گرا با شیوه های مهندسی سیستماتیک و پاسخگو وقف کردن. به این منظور، یک زبان و سنگ اند در پروژه Sensoria که آدرس دی سطح FF مختلف از انتزاع از فرایند مهندسی نرم افزار ارائه شده است. در اینجا، ما در دو زبان از جمله گزارش و راه آنها را می توان به طور رسمی در یک رویکرد یکپارچه است که می تواند به veri فی توسعه قادر قطعات خدمات از معماری مدل انتزاعی از فعالیت های کسب و کار منجر شود مرتبط است.

دانلود مقاله ISI همسانی موثر مجتمع BI، رسمی در کو

موضوع فارسی :همسانی موثر مجتمع BI، رسمی در کو

موضوع انگلیسی :Effective homology of bicomplexes, formalized in Coq

تعداد صفحه :9

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

در این مقاله، ما در حال حاضر به طور رسمی کامل در کو قضیه prover از مهم
الگوریتم در جبر محاسباتی، یعنی محاسبه همسانی موثر
از یک مجموعه بی. به عنوان یک ابزار لازم باشد، ما رمز یک سلسله مراتب از ساختارهای جبری در سازنده
نظریه، از جمله ساختمان داده مدرج و بی نهایت را تایپ کنید. تجربه نشان می دهد
چگونه برخی از محدودیت های دستیار اثبات کو برای مقابله با این نوع از داده های جبری می
شود با استفاده از یک جدایی از نگرانی اصل غلبه بر. مشخص تر، ما پیشنهاد
به تشخیص در نمایندگی از یک ساختار جبری (مانند یک گروه یا یک ماژول)
بخش رفتاری، حاوی امضا عملیات و بدیهیات، و یک بخش ساختاری
تعیین اگر داده های جبری رایگان، از نوع محدود و غیره است.