مشخصات کتاب

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

ویرایش: Softcover reprint of the original 1st ed. 1990 
نویسندگان: David Luckham  
سری: Texts and monographs in computer science 
ISBN (شابک) : 1461396875, 1461396859 
ناشر: Springer US 
سال نشر: 1990 
تعداد صفحات: 433 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب برنامه نویسی با مشخصات: مقدمه ای بر ANNA ، زبانی برای تعیین برنامه های Ada: علوم کامپیوتر، هوش مصنوعی

در صورت تبدیل فایل کتاب Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی با مشخصات: مقدمه ای بر ANNA ، زبانی برای تعیین برنامه های Ada نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب برنامه نویسی با مشخصات: مقدمه ای بر ANNA ، زبانی برای تعیین برنامه های Ada

موضوعات • این کتاب در مورد چیست، • مخاطبان مورد نظر آن، • آنچه که خواننده باید بداند، • نحوه سازماندهی کتاب، • تقدیر و تشکر. مشخصات، اطلاعاتی را درباره برنامه ای بیان می کند که معمولاً بخشی از برنامه نیست و اغلب نمی توان آن را در زبان برنامه نویسی بیان کرد. در گذشته، واژه \"مشخصات\" گاهی اوقات برای اشاره به اسناد تا حدی مبهم نوشته شده به زبان انگلیسی استفاده می شده است. اما امروزه بیانگر بیانیه دقیقی است که به زبان قابل پردازش ماشینی نوشته شده است، در مورد هدف و رفتار یک برنامه. مشخصات به زبان هایی نوشته می شوند که به اندازه زبان های برنامه نویسی دقیق هستند، اما دارای قابلیت های اضافی هستند که قدرت بیان آنها را افزایش می دهد. مشخصات رسمی اصطلاحات گاهی برای تأکید بر معنای مدرن استفاده می شود. برای ما تمام مشخصات رسمی است. استفاده از مشخصات به عنوان بخشی جدایی ناپذیر از یک برنامه، حوزه جدیدی از برنامه نویسی را باز می کند - برنامه نویسی با مشخصات. این کتاب نحوه استفاده از مشخصات در فرآیند ساخت برنامه ها، اشکال زدایی آنها و ارتباط آنها با برنامه های دیگر را شرح می دهد. به روند جدیدی در برنامه نویسی می پردازد - تکامل زبان های مشخصات از نسل فعلی زبان های برنامه نویسی. و استراتژی ها و سبک های برنامه نویسی جدیدی را که از مشخصات استفاده می کنند، توضیح می دهد. این روند تازه شروع شده است، و خواننده پس از پایان این کتاب، مطمئناً می بیند که هنوز کارهای زیادی در مورد برنامه نویسی با مشخصات باید انجام شود و باید کشف شود.

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

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan­ guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi­ nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications

فهرست مطالب

Front Matter....Pages i-xvi
What Anna Is....Pages 1-18
Simple Annotations....Pages 19-58
Using Simple Annotations....Pages 59-110
Exceptions....Pages 111-127
Package Specifications....Pages 128-168
The Process of Specifying Packages....Pages 169-232
Annotation of Generic Units....Pages 233-251
Annotation of Operations on Composite Types....Pages 252-282
Annotation of the Hidden Parts of Packages....Pages 283-319
Interpretation of Package Specifications....Pages 320-356
Processes for Consistent Implementation of Packages....Pages 357-385
Back Matter....Pages 386-418

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

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

دانلود کتاب Biological Magnetic Resonance: Volume 3

دانلود کتاب Hormone Therapy in Breast and Prostate Cancer

دانلود کتاب Particulate Interactions In Dry Powder Formulations For Inhalation

دانلود کتاب Power Distribution for Electric Railroads

دانلود کتاب Keto Meal Prep Cookbook: The Complete Ketogenic Diet Meal Prep Guide for Beginners--30 days Keto Meal Plan with Keto Meal Prep Recipes for Faster Weight Loss (Batch Cooking & Clean Eating)