دانلود کتاب Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

عنوان فارسی :

دانلود کتاب روشهای رسمی یکپارچه: هفتمین کنفرانس بین المللی ، IFM 2009 ، دوسلدورف ، آلمان ، 16-19 فوریه ، 2009. مجموعه مقالات

عنوان انگلیسی :

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

زبان : English

موضوع : Computers

نویسندگان : Thai Son Hoang Hironobu Kuruma David Basin Jean-Raymond Abrial (auth.) Michael Leuschel Heike Wehrheim (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

ISBN (شابک) : 3642002544, 9783642002540

تعداد صفحات : 367\376

سال نشر : 2009     ویرایش : 1

حجم : 5 MB       فرمت : pdf

قیمت : 20000 تومان

فهرست :



Table of contents :
Front Matter....Pages -
Developing Topology Discovery in Event-B....Pages 1-19
Decomposition Structures for Event-B....Pages 20-38
Taming the Unbounded for Hardware Synthesis....Pages 39-39
Verifying UML/OCL Operation Contracts....Pages 40-55
Property Specifications for Workflow Modelling....Pages 56-71
Formal Verification Based on Guided Random Walks....Pages 72-87
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format....Pages 88-102
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B....Pages 103-117
CSP with Hierarchical State....Pages 118-135
Predicate Abstraction in a Program Logic Calculus....Pages 136-150
Mechanised Translation of Control Law Diagrams into Circus ....Pages 151-166
Realizability of Choreographies Using Process Algebra Encodings....Pages 167-182
Modelling Divergence in Relational Concurrent Refinement....Pages 183-199
SAL-Based Symbolic Scheduling in Time-Triggered Networks....Pages 200-214
Incremental Reasoning for Multiple Inheritance....Pages 215-230
Model Checking LTL Formulae in RAISE with FDR....Pages 231-245
An Introduction to Grammar Convergence....Pages 246-260
Application of Graph Transformation in Verification of Dynamic Systems....Pages 261-276
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays....Pages 277-291
Challenges in the Specification of Full Contracts....Pages 292-306
Partial Order Reduction for State/Event LTL....Pages 307-321
Dynamic Path Reduction for Software Model Checking....Pages 322-336
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions....Pages 337-351
Decompositional Petri Net Reductions....Pages 352-366
Back Matter....Pages -





کتاب های پزشکی

دانلود کتاب Physics in Nuclear Medicine: Expert Consult - Online and Print, 4e

دانلود کتاب The Birth of the Clinic

دانلود کتاب Principles of Neurosurgery

دانلود کتاب CURRENT Medical Diagnosis and Treatment 2009 (LANGE CURRENT Series)

دانلود کتاب Surgical anatomy of the scull base

کتاب های کامپیوتر

دانلود کتاب Algorithms and Programming: Problems and Solutions

دانلود کتاب Aspectj in Action: Enterprise AOP with Spring Applications

دانلود کتاب Head First iPhone Development: A Learner's Guide to Creating Objective-C Applications for the iPhone

دانلود کتاب Pro Visual Studio Team System with Team Edition for Database Professionals

دانلود کتاب North American T-28 Trojan (Naval Fighters Series No 5)

کتاب های ریاضی

دانلود کتاب Mathematics of the Rubik's cube

دانلود کتاب Separable Boundary-Value Problems in Physics

دانلود کتاب Second order differential equations: Special functions and their classification

دانلود کتاب Seminar on Transformation Groups.

دانلود کتاب Mathematical methods for robotics and vision

کتاب های تکنولوژی

دانلود کتاب Protein-Protein Interactions: A Molecular Cloning Manual, Second Edition

دانلود کتاب Advanced Technology for Design and Fabrication of Composite Materials and Structures: Applications to the Automotive, Marine, Aerospace and Construction Industry

دانلود کتاب Molecular Biological Technologies for Ocean Sensing

دانلود کتاب Graphene and Its Fascinating Attributes

دانلود کتاب Nanotalk: Conversations With Scientists And Engineers About Ethics, Meaning, And Belief in the Development of Nanotechnology

کتاب های مذهبی

دانلود کتاب Kabbalah and Modernity

دانلود کتاب The Idea of Women in Fundamentalist Islam

دانلود کتاب The Blind Watchmaker: Why the Evidence of Evolution Reveals a Universe without Design

دانلود کتاب Practical Reasoning and Ethical Decision

دانلود کتاب Religion in Mind: Cognitive Perspectives on Religious Belief, Ritual, and Experience

کتاب های فیزیولوژی

دانلود کتاب The Little Blue Reasoning Book: 50 Powerful Principles for Clear and Effective Thinking

دانلود کتاب Reclaiming Your Sexual Self: How You Can Bring Desire Back Into Your Life

دانلود کتاب Activities Linking Science With Mathematics, Grades 5–8 (ALSM)

دانلود کتاب Standard Practice in Sexual Medicine

دانلود کتاب Bilingual Youth: Spanish in English-speaking societies

کتاب های تاریخی

دانلود کتاب The Grand Scuttle: The Sinking of the German Fleet at Scapa Flow in 1919

دانلود کتاب Vickers FB5

دانلود کتاب World War II Medal of Honor Recipients (2): Army & Corps

دانلود کتاب PZL Mil Mi-2

دانلود کتاب Top 10 Mallorca (Eyewitness Top 10 Travel Guides)

کتاب های زیست شناسی

دانلود کتاب Neutrophil Methods and Protocols

دانلود کتاب Cell-Based Assays for High-Throughput Screening: Methods and Protocols

دانلود کتاب Biointerface Characterization by Advanced IR Spectroscopy

دانلود کتاب Calcium Signaling Protocols

دانلود کتاب Online Worlds: Convergence of the Real and the Virtual

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

دانلود کتاب Strategic Supply Chain Management

دانلود کتاب Network Management, MIBs and MPLS: Principles, Design and Implementation

دانلود کتاب Managerial Accounting 2010 Edition

دانلود کتاب MCSA/MCSE: Windows Server 2003 Network Infrastructure Implementation, Management, and Maintenance Study Guide (70-291)

دانلود کتاب Oracle Automatic Storage Management for 10g and 11g

کتاب های آموزشی

دانلود کتاب Software Reuse: Methods, Techniques, and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings

دانلود کتاب Soviet Tank-Transporter and Heavy-Duty Truck MAZ-535 and MAZ-537

دانلود کتاب Day Trading For Dummies

دانلود کتاب Astronomy demystified

دانلود کتاب Japanese Sword Drawing - A Source Book For Iaido Students

کتاب های حقوق

دانلود کتاب The Arab Revolt 1916-18: Lawrence sets Arabia ablaze (Campaign)

دانلود کتاب Cyber Crime Investigator's Field Guide

دانلود کتاب An Introduction to Islamic Law

دانلود کتاب Philosophy and Law: Contributions to the Understanding of Maimonides and His Predecessors

دانلود کتاب In the Name of Hate: Understanding Hate Crimes

کتاب های علوم انسانی

دانلود کتاب Shakespeare And Philosophy

دانلود کتاب Biographia Literaria

دانلود کتاب The Fragments of Parmenides: A Critical Text With Introduction and Translation, the Ancient Testimonia and a Commentary

دانلود کتاب Aubrey Beardsley

دانلود کتاب The paradox of choice: why more is less