مشخصات کتاب

Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986

ویرایش:  
نویسندگان: Meertens. Lambert G  (eds.)  
سری:  
ISBN (شابک) : 0444702237, 1819682803 
ناشر: Elsevier Science Ltd;North Holland 
سال نشر: 1987 
تعداد صفحات: 545 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

کلمات کلیدی مربوط به کتاب مشخصات برنامه و تحول: روند کنفرانس کاری IFIP TC2 / WG 2.1 در مورد مشخصات برنامه و تحول ، Bad Tölz ، FRG ، 15-17 آوریل ، 1986: مشخصات نرم افزار، کنگره، تحول برنامه

در صورت تبدیل فایل کتاب Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات برنامه و تحول: روند کنفرانس کاری IFIP TC2 / WG 2.1 در مورد مشخصات برنامه و تحول ، Bad Tölz ، FRG ، 15-17 آوریل ، 1986 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مشخصات برنامه و تحول: روند کنفرانس کاری IFIP TC2 / WG 2.1 در مورد مشخصات برنامه و تحول ، Bad Tölz ، FRG ، 15-17 آوریل ، 1986

ساخت اقتصادی برنامه های صحیح و کارآمد، موضوع محوری در زمینه تعیین و تحول برنامه است. تحقیقات در این زمینه بسیار مهم است، با ظهور قدرت محاسباتی ارزان در جامعه ای که به طور فزاینده ای به در دسترس بودن برنامه های بدون خطا وابسته است. برای تشخیص این نیاز، این کتاب بررسی جنبه‌های مختلف را ارائه می‌کند - از تجربه عملی در به کارگیری روش‌شناسی تبدیل، تا تولید واقعی نرم‌افزار، از طریق نمونه‌هایی از مشتقات تبدیلی الگوریتم‌ها. این کتاب با نشان دادن وضعیت هنر، و ارائه نتایج تحقیقات اخیر، نه تنها باید به دانشمندان کمک کند، بلکه باید به متخصصان نشان دهد که چگونه کار آنها تحت تأثیر این پیشرفت‌ها قرار می‌گیرد.

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

The economic construction of correct and efficient programs is the central issue in the field of program specification and transformation. Research in this field is crucial, with the advent of cheap computing power in a society increasingly dependent on the availability of error-free programs. In recognizing this need, this book presents examination of a variety of aspects - from practical experience in applying transformational methodology, to actual production of software, via examples of transformational derivations of algorithms. By thus illustrating the state of the art, and providing results of recent research, the book should not only aid scientists but also show professionals just how their work will be influenced by these developments

فهرست مطالب

Content: Session I. Deriving Sequential and Parallel Programs from Pure LISP Specifications by Program Transformation (J.M. Boyle et al.). A Prolog Program Transformation System (H. Nakagawa). Controlled Mixed Computation and its Application to Systematic Development of Language-Oriented Parsers (A.P. Ershov, B.N. Ostrovski). Rigorous Derivation of a Sophisticated Algorithm: Smoothsort (U. Furbach, L. Schmitz). Strategical Derivation of On-Line Programs (A. Pettorossi). Transformational Design: An Annotated Example (L.M.G. Feijs, H.B.M. Jonkers). Compile-Time Garbage Collection or How to Transform Programs in an Assignment-Free Language into Code with Assignments (M. Bruynooghe). Deriving and Using Destructive Data Types (U. Jorring, W.L. Scherlis). How to Take into Account the Properties of Operations in Program Flow Analysis (V.K. Sabelfeld). A Survey and Classification of Some Program Transformation Approaches and Techniques (M.S. Feather). Session II. On the Design of Generate-and-Test Algorithms: Subspace Generators (D.R. Smith). On the Use of Composition in Transformational Programming (R. Berghammer). Transformation Rules for Conditional Join Operations (B. Moller, O. Paukner). Systematic Transformation of Interface Specifications: Applicative to Imperative Style, Exceptions (B. Krieg-Bruckner). Distributive Laws for Composition and Union of Module Specifications for Software Systems (H. Ehrig, W. Fey, F. Parisi-Presicce). Object-Oriented Subsystem Specification (S.A. Schuman, D.H. Pitt). An Introduction to ASL (E. Astesiano, M. Wirsing). Algebraic Specifications with Higher-Order Operators (B. Moller). Session III. Algebraic Specification and Proof of Properties of a Mail Service (C.A.R. Hoare, He, Jifeng). Application of Modal Logics to the Reasoning about Applicative Programs (P. Pepper). Two Exercises Found in a Book on Algorithmics (R.S. Bird, L. Meertens). Local Formalisms: Widening the Spectrum of Wide-Spectrum Languages (D.S. Wile). Specifications and Transformations: When Does the Work Really Get Done? (S.W. Smoliar). Formal Specification of Large-Scale Software - Objectives, Design Decisions and Experiences in a Concrete Software Project (B. Moller, H. Partsch). Author Index.

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

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

دانلود کتاب Fundamentals of Space Medicine

دانلود کتاب WordPress Security Made Easy

دانلود کتاب Life is short & so am I: my life in and out of the wresting ring

دانلود کتاب Discovering global cuisines: traditional flavors and techniques

دانلود کتاب The Social Meaning of Children and Fertility Change in Europe