دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Michael C. Curtis, Victoria J. D. Sivess (auth.), Dimitris Christodoulakis (eds.) سری: Lecture Notes in Computer Science 499 ISBN (شابک) : 354054092X, 9783540540922 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 414 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب آدا: انتخاب برای سال 92: کنفرانس بین المللی آدا-اروپا آتن، یونان، 13 تا 17 مه، 1991 مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب 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 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
کنفرانس سالانه 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