دانلود کتاب Reliable Software Technologies – Ada Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings (به فارسی: Reliable Software Technologies – Ada Europe 2007: دوازدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، ژنو، سوئیس، 25-29 ژوئن 2007. مجموعه مقالات) نوشته شده توسط «Andy Wellings – Alan Burns (auth.) – Nabil Abdennadher – Fabrice Kordon (eds.)»
اطلاعات کتاب Reliable Software Technologies – Ada Europe 2007: دوازدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، ژنو، سوئیس، 25-29 ژوئن 2007. مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Andy Wellings – Alan Burns (auth.) – Nabil Abdennadher – Fabrice Kordon (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 247
حجم کتاب: 3 مگابایت
کد کتاب: 3540732292 , 9783540732297 , 9783540732303
نوبت چاپ: 1
توضیحات کتاب Reliable Software Technologies – Ada Europe 2007: دوازدهمین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، ژنو، سوئیس، 25-29 ژوئن 2007. مجموعه مقالات
Reliable Software Technologies مجموعه‌ای از کنفرانس‌های بین‌المللی سالانه است که به ارتقا و پیشرفت همه جنبه‌های فن‌آوری‌های نرم‌افزاری قابل اعتماد اختصاص دارد. هدف از این سری کنفرانس ها که توسط Ada-Europe، فدراسیون اروپایی جوامع ملی Ada، آغاز و حمایت می شود، فراهم کردن یک انجمن برای ترویج توسعه نرم افزارهای قابل اعتماد هم به عنوان یک تکنیک صنعتی و هم به عنوان یک رشته دانشگاهی است. نسخه‌های قبلی کنفرانس فناوری‌های نرم‌افزار قابل اعتماد در: پورتو (پرتغال) در سال 2006، یورک (بریتانیا) در سال 2005، پالما د مایورکا (اسپانیا) در سال 2004، تولوز (فرانسه) در سال 2003، وین (اتریش) در سال 2002، لئو برگزار شد. (بلژیک) در سال 2001، پوتسدام (آلمان) در سال 2000، سانتاندر (اسپانیا) در سال 1999، اوپسالا (سوئد) در سال 1998، لندن (بریتانیا) در سال 1997 و مونترو (سوئیس) در سال 1996. دوازدهمین کنفرانس بین‌المللی نرم‌افزار Reologi در Reologi برگزار شد. ژنو، سوئیس، 25-29 ژوئن 2007، تحت حمایت مستمر Ada-Europe، عدم همکاری با ACMSIGAda. توسط اعضای دانشگاه علوم کاربردی، غرب سوئیس (دانشکده مهندسی ژنو)، با همکاری همکارانی از جاهای مختلف در اروپا سازماندهی شد. سیزدهمین کنفرانس در سال 2008 در ونیز ایتالیا برگزار خواهد شد.
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003,Vienna (Austria) in 2002,Leuven (Belgium) in 2001,Potsdam(Germany)in2000,Santander(Spain)in1999,Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe,incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in 2008, will take place in Venice, Italy.
