Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

چهارمین کنفرانس از سلسله نشست‌های بین‌المللی در مورد روش‌های یکپارچه F-mal، IFM، در کانتربری، انگلستان، 4 تا 7 آوریل 2004 برگزار شد. این کنفرانس توسط آزمایشگاه محاسباتی در دانشگاه کنت سازمان‌دهی شد. پردیس درست خارج از شهر باستانی کانتربری، بخشی از شهرستان کنت است. کنت در جنوب شرقی انگلستان واقع شده است و دانشگاه بر روی تپه ای مشرف به شهر کانتربری و کلیسای جامع مشهور جهانی آن واقع شده است. دانشگاه کنت در سال 1965 دارای امتیاز سلطنتی شد. امروز تقریباً 10000 دانشجوی تمام وقت و پاره وقت با بیش از 110 ملیت وجود دارد. جلسات IFM به ویژه موفقیت آمیز بوده است. اولین گردهمایی در سال 1999 در یورک برگزار شد و متعاقبا رویدادهایی را در آلمان در سال 2000 و سپس فنلاند در سال 2002 برگزار کردیم. کنفرانس ها هر 18 ماه یا بیشتر برگزار می شوند و طیف وسیعی از شرکت کنندگان را از اروپا جذب می کنند. آمریکا، آسیا و استرالیا. کنفرانس اکنون به طور کامل بخشی از تقویم کنفرانس روش های رسمی است. کنفرانس از نظر مضامین و موضوعات - ارائه شده نیز تکامل یافته است، و امسال، مطابق با موضوع به طور کلی، شاهد کار بیشتری در مورد تأیید بودیم زیرا برخی از چالش‌های این موضوع در حال رفع است. کار گزارش شده در کنفرانس های IFM را می توان به عنوان بخشی از تلاش برای مدیریت پیچیدگی با ترکیب پارادایم های مشخصات و طراحی دید، به طوری که مناسب ترین ابزار طراحی در نقاط مختلف چرخه حیات استفاده شود.

The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri?cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci?cation and design, so that the most appropriate design tools are used at di?erent points in the life-cycle.