ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13–17, 1991 Proceedings

دانلود کتاب آدا: انتخاب برای سال 92: کنفرانس بین المللی آدا-اروپا آتن، یونان، 13 تا 17 مه، 1991 مجموعه مقالات

Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13–17, 1991 Proceedings

مشخصات کتاب

Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13–17, 1991 Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 499 
ISBN (شابک) : 354054092X, 9783540540922 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1991 
تعداد صفحات: 414 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 86,000



کلمات کلیدی مربوط به کتاب آدا: انتخاب برای سال 92: کنفرانس بین المللی آدا-اروپا آتن، یونان، 13 تا 17 مه، 1991 مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13–17, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب آدا: انتخاب برای سال 92: کنفرانس بین المللی آدا-اروپا آتن، یونان، 13 تا 17 مه، 1991 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب آدا: انتخاب برای سال 92: کنفرانس بین المللی آدا-اروپا آتن، یونان، 13 تا 17 مه، 1991 مجموعه مقالات



کنفرانس سالانه Ada-Europe مهمترین رویداد در اروپا برای ترویج و توسعه زبان برنامه نویسی Ada و متدولوژی مهندسی نرم افزار مبتنی بر Ada است. در مجموع 25 مقاله برای کنفرانس 1991 انتخاب شد. برتری فنی و اصالت معیار اصلی انتخاب بود، اما خوانایی و ارتباط با موضوع کنفرانس نیز در نظر گرفته شد. این مقالات در هشت بخش، در مورد مسائل زبان، معیارها، همزمانی و موازی سازی در Ada، سیستم های پیوسته، محیط ها و ابزارها، توزیع، چهره های استفاده مجدد، و گزارش های پروژه سازماندهی شدند.


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

The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-based software engineering methodology. A total of 25 papers were selected for the 1991 conference. Technical excellence and originality were the principal selection criteria, but readability and relevance to the conference theme were also taken into account. The papers were organized into eight sections, on language issues, metrics, concurrency and parallelism in Ada, continuous systems, environments and tools, distribution, faces of reuse, and project reports.



فهرست مطالب

Modelling the temporal summation of neural membranes using the Ada language....Pages 1-19
The use of Ada in reactive systems: A 3-dimensional model....Pages 20-36
Ada 9X real-time scheduling alternatives....Pages 37-48
Information engineering for systems in Ada....Pages 49-64
AFADA, a measurement tool for Ada....Pages 65-86
An approach to benchmarking Ada compilation systems....Pages 87-108
Modelling SIMD — Type parallel arithmetic operations in Ada....Pages 109-124
Analyzing Ada tasking deadlocks and livelocks using extended Petri nets....Pages 125-146
A coprocessor for high performance multiprocessor Ada tasking....Pages 147-165
Software project activity network for managing the development and testing process....Pages 167-192
Ada in safety critical applications....Pages 193-198
Real time electronic funds transfer and Ada....Pages 199-209
Introducing HOOD into software process modelling based environments....Pages 211-226
Design assessment of Ada systems using static analysis....Pages 227-250
Using Ada to implement the transaction mechanism of a distributed object-oriented DBMS....Pages 251-259
Distributed systems and Ada — Current projects and approaches comparative study\'s results....Pages 260-278
Reconfigurable Ada distributed control system software....Pages 279-302
ROSE-ADA: a method and a tool to help reuse of Ada codes....Pages 303-325
Software reuse: Customer vs. contractor point-counterpoint....Pages 326-337
Reusable input/output packages for Ada avionic applications....Pages 338-360
Constructing a pilot library of components for avionic systems....Pages 361-371
Formally specifying the logic of an automatic guidance controller....Pages 372-383
Ada as high level language for real time systems exploiting RDBMS techniques....Pages 384-393
Experience developing two Ada applications for embedded real-time systems using different software processes....Pages 394-403
Testing and integrating a large embedded real-time system....Pages 404-411




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