دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
دانلود کتاب روشهای رسمی برای کاربردهای صنعتی: تعیین و برنامه نویسی کنترل دیگ بخار
مشخصات کتاب
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.) سری: Lecture Notes in Computer Science 1165 ISBN (شابک) : 3540619291, 9783540619291 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 519 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب روشهای رسمی برای کاربردهای صنعتی: تعیین و برنامه نویسی کنترل دیگ بخار: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، سیستم ها و نظریه اطلاعات در مهندسی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی برای کاربردهای صنعتی: تعیین و برنامه نویسی کنترل دیگ بخار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی برای کاربردهای صنعتی: تعیین و برنامه نویسی کنترل دیگ بخار
این کتاب، با CD-ROM گنجانده شده، مستندی از یک تلاش مشترک
منحصر به فرد در ارزیابی روش های رسمی برای استفاده تحت محدودیت
های صنعتی است: تکنیک های اصلی برای مشخصات، طراحی و تأیید
برنامه های بزرگ و سیستم های پیچیده به طور رسمی پشتیبانی می
شود. به یک مشکل غیر پیش پا افتاده و غیر آکادمیک که برای
مشخصات الزامات غیررسمی صنعتی معمول است، اعمال می شود.
21 مقاله موجود در کتاب، همراه با یک مقدمه و گزارش رقابت، از
33 راه حل نامزد انتخاب شدند. این کتاب همراه با یک CD-ROM
شامل، علاوه بر مقالات چاپی، کد قابل اجرا، تعاریف کامل تمام
قسمت های مشخصات، و توضیحات مفصل در مورد مسائل اساسی در صورت
لزوم است.
توضیحاتی درمورد کتاب به خارجی
This book, with the CD-ROM included, is the documentation of
a unique collaborative effort in evaluating formal methods
for usage under industrial constraints: the major techniques
for formally supported specification, design, and
verification of large programs and complex systems are
applied to a non-trivial and non-academic problem which is
typical for industrial informal requirements
specifications.
The 21 papers included in the book, together with an
introduction and competition report, were selected from 33
candidate solutions. This book comes with a CD-ROM
containing, besides the printed papers, executable code, full
definitions of all parts of the specifications, and detailed
descriptions of foundational matters where appropriate.
فهرست مطالب
The steam boiler case study: Competition of formal program specification and development methods....Pages 1-12
Structural synthesis of programs from refined user requirements (Programming boiler control in NUT)....Pages 13-34
Using Focus, Lustre and probability theory for the design of a reliable control program....Pages 35-51
Refining abstract machine specifications of the steam boiler control to well documented executable code....Pages 52-78
An algebraic specification of the Steam-Boiler Control System....Pages 79-108
A steam-boiler control specification with statecharts and Z....Pages 109-128
An action system approach to the steam boiler problem....Pages 129-148
The Steam Boiler problem in Lustre....Pages 149-164
The steam-boiler problem — A TLT solution....Pages 165-183
The real-time behavior of the steam-boiler....Pages 184-202
Specifying and verifying the Steam Boiler Problem with SPIN....Pages 203-217
TRIO specification of a steam boiler controller....Pages 218-232
A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state....Pages 233-264
Using HyTech to synthesize control parameters for a steam boiler....Pages 265-282
A VDM specification of the steam-boiler problem....Pages 283-317
Proving safety properties of the steam boiler controller....Pages 318-338
Steam boiler control specification problem: A TLA solution....Pages 339-358
Specifying optimal design for a steam-boiler system....Pages 359-378
An object-oriented algebraic steam-boiler control specification....Pages 379-402
Refinement from a control problem to programs....Pages 403-427
VDM specification of the steam-boiler control using RSL notation....Pages 428-452
Assertional specification and verification using PVS of the steam boiler control system....Pages 453-472
Specifying and verifying the steam boiler control system with Time Extended LOTOS....Pages 473-492
Simulation of a steam-boiler....Pages 493-499
Steam-boiler control specification problem....Pages 500-509
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Learn Fortran [Fortran Tutorial]
دانلود کتاب Git Recipes A Problem-Solution Approach
دانلود کتاب MCSE Training Kit Upgrading to Microsoft Windows 2000: MCSE Training for Exam 70-222
دانلود کتاب Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures
دانلود کتاب Windows Forms in Action: Second Edition of Windows Forms Programming with C#
دانلود کتاب Ask the Expert Guide to Microsoft Money 2001
دانلود کتاب Sams Teach Yourself C++ in 24 Hours, Complete Starter Kit
دانلود کتاب 5-Star Programming and Services for Your 55+ Library Customers (Ala Programming Guides)
دانلود کتاب Systems Analysis and Design
