دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.) سری: Lecture Notes in Computer Science 2852 ISBN (شابک) : 3540203036, 9783540203032 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 518 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب روش های رسمی برای اجزا و اشیاء: اولین سمپوزیوم بین المللی، FMCO 2002، لیدن، هلند، 5-8 نوامبر 2002، سخنرانی های تجدید نظر شده: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، سیستم عامل ها، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای اجزا و اشیاء: اولین سمپوزیوم بین المللی، FMCO 2002، لیدن، هلند، 5-8 نوامبر 2002، سخنرانی های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
سیستمهای نرمافزاری بزرگ و پیچیده امروز زیرساختهای لازم را در همه صنایع فراهم میکنند. برای ساختن چنین سیستمهای بزرگی به شیوهای سیستماتیک، تمرکز در متدولوژیهای توسعه در دو دهه گذشته از مسائل عملکردی به مسائل ساختاری تغییر کرده است: هم دادهها و هم توابع در واحدهای نرمافزاری محصور شدهاند که توسط سیستمهای بزرگ ادغام شدهاند. ابزاری از تکنیک های مختلف پشتیبانی از قابلیت استفاده مجدد و تغییرپذیری. این اصل کپسوله سازی هم برای پارادایم های مهندسی نرم افزار مبتنی بر شی گرا و هم جدیدتر ضروری است. روش های رسمی در برنامه های با اندازه متوسط در طراحی پروتکل و سخت افزار به طور موفقیت آمیزی به کار گرفته شده اند. با این حال، کاربرد آنها در سیستمهای بزرگ مستلزم توسعه بیشتر تکنیکهای مشخصات و تأیید است که از مفاهیم قابلیت استفاده مجدد و قابلیت تغییر پشتیبانی میکنند. به منظور گرد هم آوردن محققان و دست اندرکاران در زمینه های مهندسی نرم افزار و روش های رسمی، ما اولین S-Posium بین المللی در مورد روش های رسمی برای اجزا و اشیاء (FMCO) را در لیدن، هلند، 5 تا 8 نوامبر 2002 برگزار کردیم. این برنامه شامل آموزش های دعوت شده و ارائه های فنی بیشتر بود که توسط کارشناسان برجسته در حوزه های علوم کامپیوتر نظری و مهندسی نرم افزار ارائه شده بود. این سمپوزیوم با حضور بیش از 100 نفر برگزار شد. این جلد شامل مشارکت سخنرانان دعوت شده به FMCO 2002 است. ما معتقدیم که مطالب ارائه شده ترکیبی منحصر به فرد از ایده ها در مورد مهندسی نرم افزار و روش های رسمی را ارائه می دهد که امیدواریم الهام بخش کسانی باشد که قصد دارند شکاف بین تئوری و تئوری را پر کنند. تمرین مهندسی نرم افزار.
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5–8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.
Front Matter....Pages -
A Tool-Supported Proof System for Multithreaded Java....Pages 1-32
Abstract Behavior Types: A Foundation Model for Components and Their Composition....Pages 33-70
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML....Pages 71-98
Live and Let Die: LSC-Based Verification of UML-Models....Pages 99-135
Reactive Animation....Pages 136-153
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software....Pages 154-181
Equivalent Semantic Models for a Distributed Dataspace Architecture....Pages 182-201
Java Program Verification Challenges....Pages 202-219
ToolBus: The Next Generation....Pages 220-241
High-Level Specifications: Lessons from Industry....Pages 242-261
How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification....Pages 262-284
Finding Implicit Contracts in .NET Components....Pages 285-318
From Co-algebraic Specifications to Implementation: The Mihda Toolkit....Pages 319-338
A Calculus for Modeling Software Components....Pages 339-360
Specification and Inheritance in CSP-OZ....Pages 361-379
Model-Based Testing of Object-Oriented Systems....Pages 380-402
Concurrent Object-Oriented Programs: From Specification to Code....Pages 403-423
Design with Asynchronously Communicating Components....Pages 424-442
Composition for Component-Based Modeling....Pages 443-466
Games for UML Software Design....Pages 467-486
Making Components Move: A Separation of Concerns Approach....Pages 487-507
Back Matter....Pages -