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، فدراسیون اروپایی جوامع ملی 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.