دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Kenneth J. Turner (auth.), Stephen Gilmore BSc (Hons) PhD, Mark Ryan BA, MA, PhD (eds.) سری: ISBN (شابک) : 9781852333928, 9781447102878 ناشر: Springer-Verlag London سال نشر: 2001 تعداد صفحات: 237 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب ساختارهای زبان برای توصیف ویژگی ها: مجموعه مقالات کارگاه FIREworks: سیستم های مبتنی بر هدف و کاربرد ویژه، مهندسی نرم افزار، مهندسی ارتباطات، شبکه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Language Constructs for Describing Features: Proceedings of the FIREworks workshop به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ساختارهای زبان برای توصیف ویژگی ها: مجموعه مقالات کارگاه 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