دانلود کتاب 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)
نویسندگان : T. H. Tse
ناشر : Cambridge University Press
سال نشر : 2009
تعداد صفحات : 192
ISBN (شابک) : 9780511569890 , 9780521117876
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
متدولوژی های ساختاریافته ابزاری محبوب و قدرتمند در توسعه سیستم های اطلاعاتی هستند. بسیاری از مدل‌های مختلف وجود دارند که هر کدام از تعدادی مدل استفاده می‌کنند و بنابراین یک مشخصات باید در طول فرآیند توسعه از یک شکل به شکل دیگر تبدیل شود. برای حل این مشکل، دکتر تسه یک چارچوب یکپارچه را در پشت مدل‌های ساخت‌یافته محبوب پیشنهاد می‌کند. او از دیدگاه جبر و نظریه مقوله به مسئله می پردازد. او نه تنها چارچوب ها را توسعه می دهد، بلکه سودمندی عملی و نظری آنها را نیز نشان می دهد. بنابراین، این کتاب بینشی را برای مهندسین نرم افزار در مورد نحوه رسمی سازی روش ها ارائه می دهد و طیف وسیعی از برنامه ها و مشکلات را برای دانشمندان نظری رایانه باز می کند.
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی