NATIONAL BIBLIOGRAPHY NUMBER
Number
۲۲۷۲پ
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
per
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها
First Statement of Responsibility
/جابر کریمپور ینگجه
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
تبریز: دانشگاه تبریز، دانشکده ریاضی، گروه ریاضی کاربردی
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
۱۳۷ص
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
چاپی
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
واژه نامه بصورت زیرنویس
DISSERTATION (THESIS) NOTE
Dissertation or thesis details and type of degree
دکترا
Discipline of degree
ریاضی کاربردی
Date of degree
۱۳۸۷/۱۰/۲۵
Body granting the degree
تبریز: دانشگاه تبریز، دانشکده ریاضی، گروه ریاضی کاربردی
SUMMARY OR ABSTRACT
Text of Note
با توجه به اهمیت‌توصیف سیستم های نرم افزاری با استفاده از روشهای ریاضی، در این رساله یک مدل ریاضی برای توصیف سیستمهای تشکیل شده از مولفه ها، ارائه می کنیم، به این ترتیب که برای هر مولفه با رخدادهای گسسته، یک مدل ریاض در نظر گرفته و پروتکل ارتباطی آن مولفه با سایر مولفه ها را با استفاده از خودکارهای واسط تعریف می کنیم
PERSONAL NAME - PRIMARY RESPONSIBILITY
کریمپور ینگجه، جابر
PERSONAL NAME - SECONDARY RESPONSIBILITY
میرنیا، میر کمال، استاد مشاور
عیسی زاده، آیاز، استادراهنما
ELECTRONIC LOCATION AND ACCESS
Public note
سیاه و سفید
نمایه‌سازی قبلی
