Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

این جلد مجموعه مقالات اولین کنفرانس بین المللی ACM SIGPLAN/SIGSOFT در برنامه نویسی مولد و مهندسی اجزا (GPCE 2002) است که در 6 تا 8 اکتبر 2002 در پیتسبورگ، PA، ایالات متحده آمریکا، به عنوان بخشی از رویداد PLI 2002 که شامل ICFP، PPDP و کارگاه های آموزشی مرتبط نیز بود. آینده مهندسی نرم افزار در اتوماسیون وظایفی است که امروزه به صورت دستی انجام می شوند. برنامه‌نویسی مولد (توسعه برنامه‌هایی که برنامه‌های دیگر را ترکیب می‌کنند)، مهندسی مؤلفه (افزایش سطح مولاریزاسیون و تحلیل در طراحی برنامه‌ها) و زبان‌های Domain-Speci?c (ارتقای مشخصات برنامه به نمادهای فشرده دامنه خاص که نوشتن و نگهداری آسان تر است) فناوری های کلیدی برای خودکارسازی توسعه برنامه هستند. در زمان گسترش کنفرانس و کارگاه، GPCE نشان دهنده یک روند متضاد در ادغام دو جامعه مجزا با منافع شدیداً متداخل است: کنفرانس مهندسی نرم افزار تولیدی و مبتنی بر مؤلفه (GCSE) و کارگاه بین المللی در معناشناسی، برنامه- کاتیون ها و پیاده سازی تولید برنامه (SAIG). محققان در جامعه GCSE به موضوع اتوماسیون برنامه از دیدگاه مهندسی نرم افزار معاصر می پردازند. SAIG به طور متناظر نشان دهنده جامعه ای است که به اتوماسیون از دیدگاه زبان های برنامه نویسی رسمی تر حمله می کند. ترکیب آنها با هم عمق تئوری و عملی را فراهم می کند که در کنفرانس تحقیقاتی برتر انتظار می رود. سه سخنران برجسته دعوت شده از PLI در GPCE 2002 سخنرانی کردند: نیل جونز (دانشگاه کپنهاگ)، کاتوسیا پالامیدسی (دانشگاه ایالتی پن)، و یانوس ستیپانوویتس (دانشگاه واندربیلت). GPCE 2002 39 ارسال دریافت کرد که 18 مورد آن پذیرفته شد.

This volume constitutes the proceedings of the ?rst ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engine- ing (GPCE 2002), held October 6–8, 2002, in Pittsburgh, PA, USA, as part of the PLI 2002 event, which also included ICFP, PPDP, and a?liated workshops. The future of Software Engineering lies in the automation of tasks that are performed manually today. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of mo- larization and analysis in application design), and Domain-Speci?c Languages (elevating program speci?cations to compact domain-speci?c notations that are easier to write and maintain) are key technologies for automating program de- lopment. In a time of conference and workshop proliferation, GPCE represents acounter-trend in the merging of two distinct communities with strongly ov- lapping interests: the Generative and Component-Based Software Engineering Conference (GCSE) and the International Workshop on the Semantics, App- cations, and Implementation of Program Generation (SAIG). Researchers in the GCSE community address the topic of program automation from a contemporary software engineering viewpoint; SAIG correspondingly represents a community attacking automation from a more formal programming languages viewpoint. Together, their combination provides the depth of theory and practice that one would expect in apremier research conference. Three prominent PLI invited speakers lectured at GPCE 2002: Neil Jones (University of Copenhagen), Catuscia Palamidessi (Penn State University), and Janos Sztipanovits (Vanderbilt University). GPCE 2002 received 39 submissions, of which 18 were accepted.