ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

دانلود کتاب چارچوب یکپارچه برای مدل‌های طراحی و تحلیل ساختاریافته: رویکردی با استفاده از معناشناسی جبر اولیه و نظریه مقوله

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

مشخصات کتاب

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

ویرایش:  
نویسندگان:   
سری: Cambridge Tracts in Theoretical Computer Science (No. 11) 
ISBN (شابک) : 9780511569890, 9780521117876 
ناشر: Cambridge University Press 
سال نشر: 2009 
تعداد صفحات: 192 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 37,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 15


در صورت تبدیل فایل کتاب A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب چارچوب یکپارچه برای مدل‌های طراحی و تحلیل ساختاریافته: رویکردی با استفاده از معناشناسی جبر اولیه و نظریه مقوله نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب چارچوب یکپارچه برای مدل‌های طراحی و تحلیل ساختاریافته: رویکردی با استفاده از معناشناسی جبر اولیه و نظریه مقوله

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


توضیحاتی درمورد کتاب به خارجی

Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr. Tse proposes a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus, this book will provide insight for software engineers into how methodologies can be formalized, and will open up a range of applications and problems for theoretical computer scientists.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی