دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997
دانلود کتاب مورد نیاز مهندسی نرم افزار و سیستم های هدف گذاری: کارگاه بین المللی RTSE ’97 ، برنارد ، آلمان ، 12 تا 14 اکتبر 1997
مشخصات کتاب
Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.) سری: Lecture Notes in Computer Science 1526 ISBN (شابک) : 3540653090, 9783540653097 ناشر: Springer Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 349 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب مورد نیاز مهندسی نرم افزار و سیستم های هدف گذاری: کارگاه بین المللی RTSE ’97 ، برنارد ، آلمان ، 12 تا 14 اکتبر 1997: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مورد نیاز مهندسی نرم افزار و سیستم های هدف گذاری: کارگاه بین المللی RTSE ’97 ، برنارد ، آلمان ، 12 تا 14 اکتبر 1997 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مورد نیاز مهندسی نرم افزار و سیستم های هدف گذاری: کارگاه بین المللی RTSE ’97 ، برنارد ، آلمان ، 12 تا 14 اکتبر 1997
این کتاب مجموعه مقالات پس از کارگاه آموزشی با داوری دقیق کارگاه بین‌المللی در مورد نیازهای هدف‌گذاری نرم‌افزار و مهندسی سیستم، RTSE '97 است که در برنرید، آلمان در اکتبر 1997 برگزار شد. گنجاندن در کتاب در میان نویسندگان، محققان برجسته بین المللی هستند. این کتاب در بخش هایی در زمینه مبانی مهندسی نرم افزار، روش شناسی، ارزیابی و مطالعات موردی، و پشتیبانی ابزار و نمونه سازی تقسیم شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering, RTSE '97, held in Bernried, Germany in October 1997. The 15 revised full papers presented in the book were carefully revised and reviewed for inclusion in the book. Among the authors are internationally leading researchers. The book is divided in sections on foundations of software engineering, methodology, evaluation and case studies, and tool support and prototyping.
فهرست مطالب
Front Matter....Pages -
Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views....Pages 1-41
Software and System Modeling Based on a Unified Formal Semantics....Pages 43-68
Postmodern Software Design with NYAM: Not Yet Another Method....Pages 69-94
A Discipline for Handling Feature Interaction....Pages 95-119
Merging Changes to Software Specifications....Pages 121-131
Combining and Distributing Hierarchical Systems....Pages 133-153
Software Engineering Issues for Network Computing....Pages 155-177
A Two-Layered Approach to Support Systematic Software Development....Pages 179-202
A Framework for Evaluating System and Software Requirements Specification Approaches....Pages 203-222
Formal Methods and Industrial-Strength Computer Networks....Pages 223-233
Integration Tools Supporting Development Processes....Pages 235-256
Formal Models and Prototyping....Pages 257-272
Abstraction and Modular Verification of Infinite-State Reactive Systems....Pages 273-292
NSA’s MISSI Reference Architecture – Moving from Prose to Precise Specifications....Pages 293-329
Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods....Pages 331-355
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Engineering Self-Organising Systems: Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
دانلود کتاب Advanced Information Systems Engineering: 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings
دانلود کتاب Strength of the Diamond-Metal Interface and Soldering of Diamonds
دانلود کتاب Organizational and technological implications of cognitive machines: designing future information management systems
دانلود کتاب Manual for Intelligent Energy Services
دانلود کتاب Fuzzy Logic in Automotive Engineering
دانلود کتاب Woodworking Shopnotes 069 - Bench Top Storage System
دانلود کتاب Теоретические основы электротехники
