دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.) سری: Lecture Notes in Computer Science 5902 Programming and Software Engineering ISBN (شابک) : 9783642104510, 9783642104527 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 360 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب روش های رسمی: مبانی و برنامه های کاربردی: 12 سمپوزیوم برزیل در روش های رسمی، SBMF 2009، گرامادو، برزیل، 19-21 اوت، 2009 تجدید نظر شده مقاله های انتخاب شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی: مبانی و برنامه های کاربردی: 12 سمپوزیوم برزیل در روش های رسمی، SBMF 2009، گرامادو، برزیل، 19-21 اوت، 2009 تجدید نظر شده مقاله های انتخاب شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل دوازدهمین سمپوزیوم برزیلی روشهای رسمی، SBMF 2009، برگزار شده در گرامادو، برزیل، در اوت 2009 است -- که با SAST 2009، کارگاه آموزشی برزیل در مورد تست سیستماتیک و خودکار نرم افزار.
20 مقاله کامل اصلاح شده ارائه شده همراه با 3 مقاله دعوت شده با دقت از بین ارسال های متعدد طی دو دور بررسی و بهبود انتخاب شدند. این مقالات به انتشار توسعه و استفاده از روشهای رسمی برای طراحی و تأیید سیستمهای محاسباتی اختصاص دارد. این سمپوزیوم فرصتی را برای محققان با طیف گسترده ای از علایق در روش های رسمی برای توسعه سیستم های محاسباتی و نرم افزار فراهم کرد تا در مورد پیشرفت های اخیر در این زمینه بحث کنند.
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.
Front Matter....Pages -
Speeding Up Simulation of SystemC Using Model Checking....Pages 1-16
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering....Pages 17-22
Satisfiability Modulo Theories: An Appetizer....Pages 23-36
Interruption Testing of Reactive Systems....Pages 37-53
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS....Pages 54-69
Concurrent Models of Flash Memory Device Behaviour....Pages 70-83
Corecursive Algebras: A Study of General Structured Corecursion....Pages 84-100
Formalizing FreeRTOS: First Steps....Pages 101-117
A Mechanized Strategy for Safe Abstraction of CSP Specifications....Pages 118-133
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B....Pages 134-152
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model....Pages 153-169
Towards Safe Design of Synchronous Bus Protocols in Event-B....Pages 170-185
Mechanising Data-Types for Kernel Design in Z....Pages 186-203
A Complete Set of Object Modeling Laws for Alloy....Pages 204-219
Undecidability Results for Distributed Probabilistic Systems....Pages 220-235
Formalisation and Analysis of Objects as CSP Processes....Pages 236-250
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System....Pages 251-265
Low-Level Code Verification Based on CSP Models....Pages 266-281
Formal Modelling of a Microcontroller Instruction Set in B....Pages 282-289
Defining Behaviours by Quasi-finality....Pages 290-305
Verifying Compiled File System Code....Pages 306-320
Reasoning about General Quantum Programs over Mixed States....Pages 321-335
A Simple and General Theoretical Account for Abstract Types....Pages 336-349
Back Matter....Pages -