FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

این جلد شامل مجموعه مقالات سمپوزیوم 2002 روشهای رسمی اروپا (FME 2002) است. این سمپوزیوم یازدهمین سمپوزیوم از مجموعه ای بود که با سمپوزیوم VDM اروپا در سال 1987 آغاز شد. سمپوزیوم ها به طور سنتی هر 18 ماه برگزار می شوند. در سال 2002 این سمپوزیوم در دانشگاه کپنهاگ به عنوان بخشی از کنفرانس منطق فدرال در سال 2002 (FLoC 2002) برگزار شد که در یک رویداد هفت کنفرانس مهم مرتبط با منطق در علوم کامپیوتر و همچنین کارگاه های آموزشی مرتبط با آنها را گرد هم آورد. ، نمایشگاه های آموزشی و ابزار. روش‌های رسمی اروپا (www.fmeurope.org) یک انجمن مستقل است که هدف آن تحریک استفاده و تحقیق روی روش‌های رسمی برای توسعه نرم‌افزار است. سمپوزیوم های FME به طور قابل توجهی در گرد هم آوردن جامعه ای از کاربران، محققان و توسعه دهندگان روش های ریاضی دقیق برای توسعه نرم افزار موفق بوده اند. موضوع FME 2002 «روش‌های رسمی: درست کردن فناوری اطلاعات» بود. معنای دوگانه عمدی بود. از یک سو، موضوع نقش مهمی را که روش‌های رسمی می‌توانند در فناوری اطلاعات داشته باشند، تصدیق می‌کند، زیرا سیستم‌های رایانه‌ای را قادر می‌سازد تا به طور دقیق و با دقت در مورد آنها استدلال شود. از سوی دیگر، تشخیص داد که روش‌های رسمی کنونی کامل نیستند و برای بهبود مبانی، کاربرد و کارایی آن‌ها به تحقیقات و تمرین بیشتری نیاز است.

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was “Formal Methods: Getting IT Right”. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.