دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Prototyping mit SETL
دانلود کتاب نمونه سازی نرم افزار با SETL
مشخصات کتاب
Software Prototyping mit SETL
ویرایش: 1 نویسندگان: Prof. Dr. rer. nat. Ernst-Erich Doberkat, Dr. rer. nat. Dietmar Fox (auth.) سری: Leitfäden und Monographien der Informatik ISBN (شابک) : 9783519022725, 9783322947109 ناشر: Vieweg+Teubner Verlag سال نشر: 1989 تعداد صفحات: 229 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب نمونه سازی نرم افزار با SETL: مهندسی، عمومی
در صورت تبدیل فایل کتاب Software Prototyping mit SETL به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نمونه سازی نرم افزار با SETL نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نمونه سازی نرم افزار با SETL
جایی که زبان به عنوان وسیله نقلیه استفاده می شود - اما عناصر ریاضیات گسسته به آنجا منتقل می شوند. از آنجایی که مسائل مربوط به نمونه سازی بسیار مهم است، ما در اینجا دو مکانیسم موجود در SETL را پوشش نداده ایم: زیرزبان نمایش داده (DRSL) و ردیابی برگشتی. DRSL به متغیرها اجازه می‌دهد تا با نمایش حافظه‌شان حذف شوند (مشابه با کاهش متغیر در زبان‌هایی مانند پاسکال). به خصوص در شکل فعلی آن مفید نیست. عقبگرد به عنوان برنامه نویسی غیر قطعی هنوز راه خود را در جعبه ابزار نمونه سازی نرم افزار پیدا نکرده است و بنابراین مورد بحث قرار نگرفته است. در غیر این صورت ما یک معرفی کامل برای SETL ارائه کرده ایم. مروری کوتاه بر محتوا در ادامه می آید. فصل اول کنترل اولیه اصلی و ساختارهای داده را پوشش می دهد و نشان می دهد که چگونه ماکروها و رویه ها تعریف و استفاده می شوند. ما این را برای ساخت یک اسکنر برای برنامه‌های پاسکال اعمال می‌کنیم تا نشان دهیم که مشکلات معنی‌دار را می‌توان با آن پردازش کرد. در فصل دوم به انواع داده های ترکیبی (مجموعه ها، موضوعات، نگاشت ها) پرداخته شده و اضافات لازم با توجه به ساختارهای کنترلی انجام شده است. سپس فصل m زبان را برای برخی از مشکلات اعمال می کند تا خواننده احساس بهتری برای استفاده از SETL بدهد. ما در مورد الگوریتم Knuth، Morris و Pran برای یافتن الگوها در رشته‌ها، یک تکنیک درهم‌سازی پویا، و یک مولد تجزیه‌کننده را برای یک کلاس ساده از گرامرهای بدون متن بحث می‌کنیم. مثال آخر به طور خاص نشان می دهد که چگونه الگوریتم های پیچیده را می توان به صورت فشرده و قابل فهم در SETL فرموله کرد.
توضیحاتی درمورد کتاب به خارجی
wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der disk:reten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund stehen, haben wir zwei in SETL vOIhandene Mechanismen hier nicht behandelt: die data representation sublanguage (DRSL) und Back tracking. Die DRSL erlaubt die Deldaration von Variablen mit ihrer Speicherdarstellung (analog zur Variablendeldaration in Sprachen wie Pascal); sie ist in der gegenwärtigen Fonn nicht besonders nUtzlich. Backtracking als nicht-deterministisches Programmieren hat noch keinen Eingang in den Werkzeugkasten des Software Prototyping gefunden und wurde daher auch nicht behandelt. Ansonsten haben wir eine vollständige EinfUluung in SETL gegeben; ein kurzer Überblick über den Inhalt folgt. Das erste Kapitel behandelt die zentralen primitiven Kontroll- und Datenstrukturen und zeigt, wie Makros und Prozeduren definiert und benutzt werden. Wtr wenden das auf die Konstruktion eines Scanners fOl Pascal-Programme an, urn zu zeigen, daB man hiermit schon sinnvolle Probleme bearbeiten kann. Im zweiten Kapitel werden zusammengesetzte Datentypen (Mengen, Thpel, Abbildungen) behandelt, und die notwendigen Ergänzungen im Hinblick auf Kontrollstrukturen angebracht. Kapitel m wendet dann die Sprache auf einige Probleme an, urn dem Leser ein vertieftes Geftlhl für den Umgang mit SETL zu geben. Wir diskutieren den Algorithmus von Knuth, Morris und Pran zum Auffinden von Mustem in Zeichenketten, ein Verfahren zurn dynamischen Hashing, und spezifizieren einen Parsergenerator für eine einfache Klasse kontextfreier Grammatiken. Insbesondere das letzte Beispiel zeigt, wie sich komplexe Algorithmen kompakt und verständlich in SETL fonnulieren lassen.
فهرست مطالب
Front Matter....Pages N2-10
Einfache Programm-Konstrukte....Pages 11-55
Zusammengesetzte Datentypen....Pages 56-85
Beispiele....Pages 86-115
Programming in the Large — Mechanismen für die Erstellung komplexer Programmsysteme....Pages 116-129
Programm-Transformationen....Pages 130-185
Software Prototyping....Pages 186-218
Back Matter....Pages 219-229
