ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Language Constructs for Describing Features: Proceedings of the FIREworks workshop

دانلود کتاب ساختارهای زبان برای توصیف ویژگی ها: مجموعه مقالات کارگاه FIREworks

Language Constructs for Describing Features: Proceedings of the FIREworks workshop

مشخصات کتاب

Language Constructs for Describing Features: Proceedings of the FIREworks workshop

ویرایش: 1 
نویسندگان: , , , ,   
سری:  
ISBN (شابک) : 9781852333928, 9781447102878 
ناشر: Springer-Verlag London 
سال نشر: 2001 
تعداد صفحات: 237 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

قیمت کتاب (تومان) : 52,000



کلمات کلیدی مربوط به کتاب ساختارهای زبان برای توصیف ویژگی ها: مجموعه مقالات کارگاه FIREworks: سیستم های مبتنی بر هدف و کاربرد ویژه، مهندسی نرم افزار، مهندسی ارتباطات، شبکه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Language Constructs for Describing Features: Proceedings of the FIREworks workshop به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ساختارهای زبان برای توصیف ویژگی ها: مجموعه مقالات کارگاه FIREworks نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ساختارهای زبان برای توصیف ویژگی ها: مجموعه مقالات کارگاه FIREworks



یک ویژگی تغییر یا توسعه کوچکی از یک سیستم است که می‌تواند نقش عملکردی مستقلی داشته باشد، مانند انتقال تماس، تماس خودکار و پست صوتی در خدمات تلفن، که کاربران می‌توانند در آن مشترک شوند. تعامل ویژگی زمانی اتفاق می‌افتد که یکی از ویژگی‌ها عملکرد دیگری را تغییر داده یا براندازی کند و این مشکل توجه زیادی را از سوی صنعت و دانشگاهیان به‌ویژه در حوزه مخابرات که در آن سرویس‌های جدید دائماً در حال توسعه و استقرار هستند، به خود جلب کرده است. این جلد شامل مقالات داوری حاصل از گروه کاری ESPRIT FIREworks است. این مقالات بر ساختارهای زبانی که برای توصیف ویژگی‌ها توسعه داده شده‌اند تمرکز می‌کنند و از یک رویکرد ویژگی‌محور برای طراحی نرم‌افزار از جمله زبان‌های مشخصات نیازمندی‌ها و منطق‌های تأیید حمایت می‌کنند.


توضیحاتی درمورد کتاب به خارجی

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and academics, especially in the field of telecommunications, where new services are constantly being developed and deployed. This volume contains refereed papers resulting from the ESPRIT FIREworks working group. The papers focus on the language constructs which have been developed describing features, and advocate a feature-oriented approach to software design including requirements specification languages and verifications logics.



فهرست مطالب

Front Matter....Pages I-X
Structuring Telecommunications Features....Pages 1-9
Feature-Oriented Description, Formal Methods, and DFC....Pages 11-26
Use Case Maps as a Feature Description Notation....Pages 27-44
An incremental method for the design of feature-oriented systems....Pages 45-64
Abstraction and refinement of features....Pages 65-84
Proving feature non-interaction with Alternating-Time Temporal Logic....Pages 85-103
Algebraic Treatment of Feature-oriented Systems....Pages 105-124
The PEPA Feature Construct....Pages 125-142
A Heuristic Algorithm to Detect Feature Interactions in Requirements....Pages 143-162
Defining Features for CSP: Reflections on the Feature Interaction Contest....Pages 163-175
Stack Service Model....Pages 177-196
The Declarative Language STR (State Transition Rule)....Pages 197-211
Modular Feature Integration and Validation in a Synchronous Context....Pages 213-231
Back Matter....Pages 233-233




نظرات کاربران