دانلود کتاب Transactions on Aspect-Oriented Software Development XI
کتاب معاملات توسعه نرم افزار جنبه گرا XI نسخه زبان اصلی
دانلود کتاب معاملات توسعه نرم افزار جنبه گرا XI بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Transactions on Aspect-Oriented Software Development XI
نام کتاب : Transactions on Aspect-Oriented Software Development XI
ویرایش : 1
عنوان ترجمه شده به فارسی : معاملات توسعه نرم افزار جنبه گرا XI
سری : Lecture Notes in Computer Science 8400 Transactions on Aspect-Oriented Software Development
نویسندگان : Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2014
تعداد صفحات : 271
ISBN (شابک) : 9783642550980 , 9783642550997
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مجله LNCS Transactions on Aspect-Oriented Software Development به تمام جنبه های تکنیک های توسعه نرم افزار جنبه گرا (AOSD) در زمینه تمام مراحل چرخه عمر نرم افزار، از الزامات و طراحی گرفته تا اجرا، نگهداری و تکامل اختصاص دارد. . تمرکز مجله بر روی رویکردهایی برای شناسایی سیستماتیک، مدولارسازی، نمایش و ترکیب نگرانی های مقطعی است، یعنی جنبه ها و ارزیابی چنین رویکردهایی و تأثیر آنها بر بهبود ویژگی های کیفی سیستم های نرم افزاری. این جلد، یازدهمین جلد از سری تراکنش‌های توسعه نرم‌افزار جنبه‌گرا، از دو بخش تشکیل شده است. بخش اول بر تأیید و تجزیه و تحلیل زمان اجرا متمرکز است و تأیید زمان اجرا را به عنوان یک برنامه «قاتل» جهت‌گیری جنبه برجسته می‌کند. بخش دوم شامل نسخه های اصلاح شده و توسعه یافته پنج مقاله برتر ارائه شده به Modularity:aosd 2013 است که تحقیقات جاری مربوط به ماژولاریت را ارائه می دهد و موضوعاتی مانند روش های رسمی و سیستم های نوع، رویکردهای تحلیل استاتیکی برای معماری نرم افزار، مهندسی مدل محور و مدل را پوشش می دهد. ترکیب، برنامه نویسی جنبه گرا، برنامه نویسی رویداد محور و برنامه نویسی واکنشی.
فهرست مطالب :
Front Matter....Pages -
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study....Pages 1-26
Event Modules....Pages 27-69
Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct....Pages 70-108
Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management....Pages 109-144
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice....Pages 145-192
Modular Specification and Checking of Structural Dependencies....Pages 193-226
Towards Reactive Programming for Object-Oriented Applications....Pages 227-261
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
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 11th in the Transactions on Aspect-Oriented Software Development series, consists of two parts. The first part focuses on runtime verification and analysis, highlighting runtime verification as a "killer" application of aspect-orientation. The second part contains revised and extended versions of the five best papers submitted to Modularity:aosd 2013, presenting current research related to modularity and covering topics such as formal methods and type systems, static analysis approaches for software architectures, model-driven engineering and model composition, aspect-oriented programming, event-driven programming and reactive programming.
پست ها تصادفی