FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

FME 2001 دهمین جلسه از مجموعه جلساتی است که هر هجده ماه یکبار توسط Formal Methods Europe (FME)، انجمنی مستقل که هدف آن تحریک استفاده و تحقیق در مورد روش‌های رسمی برای توسعه نرم‌افزار است، برگزار می‌شود. این به دنبال چهار سمپوزیوم VDM اروپا، چهار روش رسمی دیگر اروپا S-Posia، و کنگره جهانی روش‌های رسمی در توسعه سیستم‌های محاسباتی در سال 1999 است. این جلسات به طور قابل توجهی در جمع آوری جامعه ای از کاربران، محققان و توسعه دهندگان روش های دقیق ریاضی برای توسعه نرم افزار موفق بوده اند. FME 2001 در برلین، آلمان برگزار شد و توسط دپارتمان علوم کامپیوتری دانشگاه Humboldt در zu Berlin سازماندهی شد. موضوع سمپوزیوم روش های رسمی برای افزایش بهره وری نرم افزار بود. این موضوع تشخیص می‌دهد که روش‌های رسمی این پتانسیل را دارند که برای توسعه نرم‌افزار صنعتی بیشتر از افزایش کیفیت نرم‌افزار انجام دهند {آنها همچنین می‌توانند بهره‌وری را در بسیاری از نقاط مختلف چرخه عمر نرم‌افزار افزایش دهند. اهمیت موضوع توسط بسیاری از مقالات ارائه شده که نشان می‌دهند چگونه روش‌های رسمی می‌توانند توسعه نرم‌افزار را کارآمدتر کنند، اثبات می‌شود. بر ابزارهایی که به طور خودکار یا با نیروی انسانی نسبتاً کمی خطا می کنند، تأکید می شود. همچنین تاکید بر استفاده از روش‌های رسمی برای کمک به کارهای حیاتی و پرمشغله مانند طراحی برنامه و تولید موارد آزمایشی وجود دارد.

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit¨at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.