۲۲۷۲پ
per
یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها
/جابر کریمپور ینگجه
تبریز: دانشگاه تبریز، دانشکده ریاضی، گروه ریاضی کاربردی
۱۳۷ص
چاپی
واژه نامه بصورت زیرنویس
دکترا
ریاضی کاربردی
۱۳۸۷/۱۰/۲۵
تبریز: دانشگاه تبریز، دانشکده ریاضی، گروه ریاضی کاربردی
با توجه به اهمیت‌توصیف سیستم های نرم افزاری با استفاده از روشهای ریاضی، در این رساله یک مدل ریاضی برای توصیف سیستمهای تشکیل شده از مولفه ها، ارائه می کنیم، به این ترتیب که برای هر مولفه با رخدادهای گسسته، یک مدل ریاض در نظر گرفته و پروتکل ارتباطی آن مولفه با سایر مولفه ها را با استفاده از خودکارهای واسط تعریف می کنیم
کریمپور ینگجه، جابر
میرنیا، میر کمال، استاد مشاور
عیسی زاده، آیاز، استادراهنما
سیاه و سفید
نمایه‌سازی قبلی
