ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

دانلود کتاب SDL 2007: طراحی برای سیستم های قابل اعتماد: سیزدهمین انجمن بین المللی SDL پاریس، فرانسه، 18-21 سپتامبر 2007 مجموعه مقالات

SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

مشخصات کتاب

SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 4745 : Computer Communication Networks and Telecommunications 
ISBN (شابک) : 3540749837, 9783540749837 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 299 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب SDL 2007: طراحی برای سیستم های قابل اعتماد: سیزدهمین انجمن بین المللی SDL پاریس، فرانسه، 18-21 سپتامبر 2007 مجموعه مقالات: سیستم های کامپیوتری سازمان و شبکه های ارتباطی، مهندسی نرم افزار، منطق و معانی برنامه ها، مدیریت سیستم های محاسباتی و اطلاعاتی



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

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


در صورت تبدیل فایل کتاب SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب SDL 2007: طراحی برای سیستم های قابل اعتماد: سیزدهمین انجمن بین المللی SDL پاریس، فرانسه، 18-21 سپتامبر 2007 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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



فهرست مطالب

Front Matter....Pages -
A Model-Based Standard for SDL....Pages 1-18
Model Driven Development and Code Generation: An Automotive Case Study....Pages 19-34
Experiences in Deploying Model-Driven Engineering....Pages 35-53
TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets....Pages 54-68
Using TTCN for Radio Conformance Test Systems....Pages 69-85
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile....Pages 86-100
Specifying Input Port Bounds in SDL....Pages 101-116
Translatable Finite State Time Machine....Pages 117-132
Enhanced Use Case Map Traversal Semantics....Pages 133-149
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications....Pages 150-165
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications....Pages 166-185
Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator....Pages 186-202
Consistency of UML/SPT Models....Pages 203-224
Formal Verification of Use Case Maps with Real Time Extensions....Pages 225-241
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry....Pages 242-257
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling....Pages 258-271
SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems....Pages 272-288
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی