VDM '88 VDM — The Way Ahead: 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings

این جلد مجموعه مقالات دومین سمپوزیوم VDM-Europe را ارائه می دهد که در دوبلین، ایرلند، 12 تا 16 سپتامبر 1988 برگزار شد. VDM، روش توسعه وین، یک روش رسمی برای مهندسی نرم افزار است. این روش برای تعداد فزاینده‌ای از پروژه‌ها توسط شرکت‌ها در سراسر اروپا اعمال می‌شود و یک برنامه تحقیقاتی بین‌المللی فعال از این فرآیند پشتیبانی می‌کند. \"VDM - The Way Ahead\" دومین مجموعه از سمپوزیوم هایی است که توسط کمیسیون جوامع اروپایی (CEC) حمایت می شود و توسط VDM-Europe برگزار می شود. اصطلاح "روش رسمی" به مشخصات ریاضی رسمی نرم افزار و روش های تولید اشاره دارد. هدف این روش‌ها افزایش کیفیت نرم‌افزار از دو طریق مرتبط است: با بهبود مشخصات و با مؤثرتر کردن و آسان‌تر کردن ممیزی تأیید در فرآیند تولید نرم‌افزار. جلسات سمپوزیوم بر پنج حوزه مورد علاقه متمرکز است: آموزش و انتقال فناوری، تجربه و استفاده از VDM، ابزارها و محیط های پشتیبانی، توسعه روش و پایه گذاری در کار، استانداردسازی VDM. این روند مورد علاقه همه کسانی است که با استفاده از رویکردهای دقیق تر برای توسعه نرم افزار و مبانی نظری مرتبط مرتبط هستند.

This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.