مشخصات کتاب

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

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

در صورت تبدیل فایل کتاب 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.

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

کتاب های تصادفی

دانلود کتاب And To Think That I Saw It On Mulberry Street

دانلود کتاب Voices of Freedom

دانلود کتاب Bericht über die XI. Hauptversammlung des Deutschen Forstvereins: 38. Versammlung Deutscher Forstmänner

دانلود کتاب Multilingual aeronautical dictionary: In ten languages... : accompanied by list of English language aeronautical acronyms and abbreviations with their expansions

دانلود کتاب DNA Repair Enzymes: Cell, Molecular, and Chemical Biology