مشخصات کتاب

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

ویرایش: 1 
نویسندگان: Nikolaj Bjørner (auth.),  Cliff B. Jones,  Zhiming Liu,  Jim Woodcock (eds.)  
سری: Lecture Notes in Computer Science 4700 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 354075220X, 9783540752202 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 550 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

کلمات کلیدی مربوط به کتاب روش های رسمی و سیستم های زمان واقعی هیبرید: مقالات به افتخار دینس بجرنر و چائوچن ژو در هفتادمین تولدشان: مهندسی نرم افزار، منطق و معانی برنامه ها، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی و سیستم های زمان واقعی هیبرید: مقالات به افتخار دینس بجرنر و چائوچن ژو در هفتادمین تولدشان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش های رسمی و سیستم های زمان واقعی هیبرید: مقالات به افتخار دینس بجرنر و چائوچن ژو در هفتادمین تولدشان



این مجلد Festschrift برای گرامیداشت هر دوی Dines Bjørner و Zhou Chaochen به مناسبت هفتادمین سالگرد تولد آنها در اکتبر و نوامبر 2007 منتشر شده است. این جلد شامل 25 مقاله داوری شده توسط محققان برجسته، همکاران فعلی و سابق است که در یک سمپوزیوم جشن گرد هم آمده اند. در ماکائو، چین، در دوره کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2007 برگزار شد.

این مقالات طیف گسترده‌ای از موضوعات، از مباحث بنیادی و نظری گرفته تا مسائل الگوریتم‌ها و سیستم‌ها و تا برنامه‌های کاربردی، شامل روش‌های رسمی، مدل‌سازی سیستم‌ها، سیستم‌های ترکیبی و بلادرنگ، مشخصات و تأیید، و همچنین منطق زمانی بازه‌ای است.

Dines Bjørner به‌خاطر مشارکت‌های فراوانش در تئوری و عمل روش‌های رسمی شناخته شده است. برای مهندسی نرم افزار با تمرکز ویژه بر انتزاع و مدل سازی، مشخصات سیستم ها و زبان ها، و حوزه ها، نیازمندی ها و طراحی نرم افزار.

Zhou Chaochen به دلیل مشارکت های اساسی خود در تئوری و عمل سیستم های زمان بندی شده و ترکیبی شناخته شده است.

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

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays in October and November 2007. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007.

The papers cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic.

Dines Bjørner is known for his many contributions to the theory and practice of formal methods for software engineering with special focus on abstraction and modelling, specification of systems and languages, and domains, requirements, and software design.

Zhou Chaochen is known for his seminal contributions to the theory and practice of timed and hybrid systems.

فهرست مطالب

Front Matter....Pages -
Models and Software Model Checking of a Distributed File Replication System....Pages 1-23
From “Formal Methods” to System Modeling....Pages 24-44
A Denotational Semantics for Handel-C....Pages 45-66
Generating Polynomial Invariants with DISCOVERER and QEPCAD....Pages 67-82
Harnessing rCOS for Tool Support —The CoCoME Experience....Pages 83-114
Automating Verification of Cooperation, Control, and Design in Traffic Applications....Pages 115-169
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus....Pages 170-187
Relating Domain Concepts Intensionally by Ordering Connections....Pages 188-216
Programmable Messaging for Electronic Government - Building a Foundation....Pages 217-236
Balancing Insight and Effort: The Industrial Uptake of Formal Methods....Pages 237-254
Proving Theorems About JML Classes....Pages 255-279
Specification for Testing....Pages 280-299
Semantics and Verification of a Language for Modelling Hardware Architectures....Pages 300-319
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems....Pages 320-348
Compensable Programs....Pages 349-363
Deriving Specifications for Systems That Are Connected to the Physical World....Pages 364-390
Engineering the Development of Embedded Systems....Pages 391-398
Design Verification Patterns....Pages 399-413
On Revival of Algol-Concepts in Modern Programming and Specification Languages....Pages 414-434
Design in CommUnity with Extension Morphisms....Pages 435-466
Symbolic Test Generation Using a Temporal Logic with Constrained Events....Pages 467-471
Expansive-Bisimulation for Context-Free Processes....Pages 472-482
VDM Semantics of Programming Languages: Combinators and Monads....Pages 483-503
Formal Approach to Railway Applications....Pages 504-520
Services as a Paradigm of Computation....Pages 521-538
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب Recognizing Child Abuse in Radiology

دانلود کتاب Molecular and Supramolecular Information Processing: From Molecular Switches to Logic Systems

دانلود کتاب Mathematical Modeling : Branching Beyond Calculus

دانلود کتاب Las psicoterapias existenciales

دانلود کتاب La participación política de los indígenas durante las Cortes de Cádiz : Lima en el ocaso del régimen español, 1808-1814