Transactions on Aspect-Oriented Software Development XII

مجله LNCS Transactions on Aspect-Oriented Software Development به تمام جنبه های تکنیک های توسعه نرم افزار جنبه گرا (AOSD) در زمینه تمام مراحل چرخه عمر نرم افزار، از الزامات و طراحی گرفته تا اجرا، نگهداری و تکامل اختصاص دارد. . تمرکز این مجله بر روی رویکردهایی برای شناسایی سیستماتیک، مدولارسازی، نمایش و ترکیب نگرانی های مقطعی است، به عنوان مثال، جنبه ها و ارزیابی چنین رویکردهایی و تأثیر آنها بر بهبود ویژگی های کیفیت سیستم های نرم افزاری. این جلد، دوازدهمین از سری تراکنش‌های توسعه نرم‌افزار جنبه‌گرا، شامل یک مقاله معمولی، در مورد استدلال مدولار در زبان‌های جنبه‌محور از منظر جایگزینی، و چهار مقاله توسعه‌یافته و بهبودیافته انتخاب شده از مقالات ارائه‌شده در Modularity 2014 است. شامل معناشناسی پویا جدید از طریق پراکسی‌های تفویض، تشخیص پتانسیل مدولاریت بر اساس خوشه‌های هم‌تغییر، بهبود قابلیت استفاده مجدد برای اجزای مشخصات معنایی زبان‌های برنامه‌نویسی، و بررسی مدل احتمالی اعمال شده برای اعضای تولید شده به‌صورت پویا از یک خط محصول.

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 12th in the Transactions on Aspect-Oriented Software Development series, contains one regular paper, on modular reasoning in aspect-oriented languages from a substitution perspective, and four extended, improved papers selected from those presented at Modularity 2014. Topics covered include novel dynamic semantics through delegation proxies, modularity potential detection based on co-change clusters, improvements in reusability for components of semantic specifications of programming languages, and probabilistic model checking applied to dynamically generated members of a product line.