دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Olaf Owe, Stein Krogdahl, Tom Lyche (auth.), Olaf Owe, Stein Krogdahl, Tom Lyche (eds.) سری: Lecture Notes in Computer Science 2635 ISBN (شابک) : 9783540213666, 354021366X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 398 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب از جهت گیری شی به روش های رسمی: مقاله هایی در حافظه اوله-یوهان دال: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب از جهت گیری شی به روش های رسمی: مقاله هایی در حافظه اوله-یوهان دال نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
بعد از بازنشستگی اول یوهان در آغاز هزاره جدید، برخی از ما درباره ساختن "Festschrift" به افتخار او فکر کرده و صحبت کرده بودیم. هنگامی که دونالد کنوت با ارسال اولین مشارکت برای ما ابتکار عمل را به دست گرفت، Pcess شروع به چرخش کرد! در اوایل سال 2002 یک گروه ویرایش تشکیل شد، از جمله کریستن نایگارد، که اول یوهان را از دوران دانشجویی اش می شناخت و با او زبان سیمولا را توسعه داده بود. سپس تعدادی از محققین برجسته آشنا به اوله یوهان را دعوت کردیم تا به مناسبت هفتادمین سالگرد تولد اولهان، برای کتابی که در مورد اولهجوهان است، مشارکت کنند. مدعوها شامل چندین عضو گروه کاری IFIP 2. 3 بودند، انجمنی که اوله یوهان در طول زندگی حرفهای خود از آن لذت میبرد و از شرکت در آن لذت میبرد. علیرغم مهلت کوتاه، پاسخ به دعوتنامه ها بسیار مثبت بود. ایده اولیه این بود که کتاب را نسبتاً سریع تکمیل کند تا هدیه ای باشد که بتواند بخواند و از آن لذت ببرد، زیرا تا آن زمان او سه سال به سرطان مبتلا شده بود و سلامتش به تدریج رو به وخامت بود. کریستن مرتباً به ملاقات اول یوهان، که در آن زمان در بیمارستان بود، رفته بود و آنها در حال کار بر روی سخنرانی جایزه تورینگ خود بودند. اوله یوهان از شنیدن مشارکت در این کتاب خوشحال شد، اما متواضعانه این احساس را بیان کرد که نیازی به انجام یک پروژه کتاب از طرف او نیست. اول یوهان با پذیرفتن مسالمت آمیز سرنوشت خود در 29 ژوئن 2002 درگذشت.
After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002.
Front Matter....Pages -
A Biography of Ole-Johan Dahl....Pages 1-7
A Bibliography of Ole-Johan Dahl....Pages 8-14
The Birth of Object Orientation: the Simula Languages....Pages 15-25
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language....Pages 26-57
Towards Posit & Prove Calculi for Requirements Engineering and Software Design....Pages 58-82
Distributed Concurrent Object-Oriented Software....Pages 83-95
Composing Hidden Information Modules over Inclusive Institutions....Pages 96-123
Towards the Verifying Compiler....Pages 124-136
Object-Oriented Specification and Open Distributed Systems....Pages 137-164
SIMULA and Super-Object-Oriented Programming....Pages 165-182
Efficient Coroutine Generation of Constrained Gray Sequences....Pages 183-208
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding....Pages 209-235
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design....Pages 236-271
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games....Pages 272-301
Incremental Reasoning for Object Oriented Systems....Pages 302-333
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework....Pages 334-375
Building Optimal Binary Search Trees from Sorted Values in O( N ) Time....Pages 376-388
Back Matter....Pages -