دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures
دانلود کتاب روش های رسمی برای معماری نرم افزار: سومین مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری: معماری نرم افزار، SFM 2003، Bertinoro، ایتالیا، 22-27 سپتامبر 2003. سخنرانی های پیشرفته
مشخصات کتاب
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures
ویرایش: 1 نویسندگان: David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.) سری: Lecture Notes in Computer Science 2804 ISBN (شابک) : 9783540200833, 9783540398004 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 293 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 28,000
کلمات کلیدی مربوط به کتاب روش های رسمی برای معماری نرم افزار: سومین مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری: معماری نرم افزار، SFM 2003، Bertinoro، ایتالیا، 22-27 سپتامبر 2003. سخنرانی های پیشرفته: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای معماری نرم افزار: سومین مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری: معماری نرم افزار، SFM 2003، Bertinoro، ایتالیا، 22-27 سپتامبر 2003. سخنرانی های پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی برای معماری نرم افزار: سومین مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری: معماری نرم افزار، SFM 2003، Bertinoro، ایتالیا، 22-27 سپتامبر 2003. سخنرانی های پیشرفته
در حدود ده سال گذشته، معماری نرم افزار به عنوان یک مفهوم اصلی در توسعه سیستم های نرم افزاری پیچیده ظاهر شده است. معماری نرم افزار در حال حاضر در جامعه تحقیق و توسعه مهندسی نرم افزار به عنوان یک انتزاع قابل مدیریت و معنی دار از سیستم در حال توسعه پذیرفته شده است و در طول چرخه عمر توسعه نرم افزار، از تجزیه و تحلیل نیازمندی ها و اعتبار سنجی، طراحی و تا سطح کد و اجرا به کار می رود.
این کتاب سخنرانی های آموزشی ارائه شده توسط مقامات برجسته در مدرسه بین المللی سوم در مورد روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری، SFM 2003، که در برتینورو، ایتالیا، در سپتامبر 2003 برگزار شد، ارائه می کند. این کتاب برای دوره‌های پیشرفته معماری نرم‌افزار و همچنین برای آموزش مداوم مهندسان نرم‌افزار با استفاده از روش‌های رسمی در کار حرفه‌ای روزانه مناسب است.
توضیحاتی درمورد کتاب به خارجی
In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level.
This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.
فهرست مطالب
Front Matter....Pages -
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events....Pages 1-24
From System Goals to Software Architecture....Pages 25-43
Software Architecture Modeling & Analysis: A Rigorous Approach....Pages 44-51
The Application of Dependence Analysis to Software Architecture Descriptions....Pages 52-62
Validating Distributed Object and Component Designs....Pages 63-91
Software Architecture for Correct Components Assembly....Pages 92-121
Formal Methods in Testing Software Architectures....Pages 122-147
Architecture Based Evolution of Software Systems....Pages 148-181
Software Architecture for Mobile Computing....Pages 182-206
Performance Evaluation at the Software Architecture Level....Pages 207-258
Software Architecture and Dependability....Pages 259-285
Back Matter....Pages -
