دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
دانلود کتاب ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی: برنامه اولویتی SoftSpez بنیاد تحقیقاتی آلمان (DFG) ، گزارش نهایی
مشخصات کتاب
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.) سری: Lecture Notes in Computer Science 3147 ISBN (شابک) : 3540231358, 9783540278634 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 639 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 73,000
کلمات کلیدی مربوط به کتاب ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی: برنامه اولویتی SoftSpez بنیاد تحقیقاتی آلمان (DFG) ، گزارش نهایی: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی: برنامه اولویتی SoftSpez بنیاد تحقیقاتی آلمان (DFG) ، گزارش نهایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی: برنامه اولویتی SoftSpez بنیاد تحقیقاتی آلمان (DFG) ، گزارش نهایی
این کتاب مستندات نتیجه علمی برنامه اولویت دار ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی است که توسط بنیاد تحقیقات آلمان (DFG) حمایت می شود. این شامل مشارکت های اصلی پروژه های برنامه اولویت دار و کارشناسان بین المللی اضافی در این زمینه است. برخی از مقالات ارائه شده در سومین کارگاه بین المللی مرتبط با موضوع، INT 2004، که در بارسلونا، اسپانیا در مارس 2004 برگزار شد، ارائه شد. ویراستاران به دقت بررسی و برای گنجاندن در کتاب انتخاب شدند. مقالات در بخشهای موضوعی در مورد اتوماسیون تولید مطالعه موردی مرجع، سیستمهای کنترل ترافیک مطالعه موردی مرجع، شبکههای پتری و رویکردهای مرتبط در مهندسی، نمودارها، راستیآزمایی و مدلسازی یکپارچه سازماندهی شدهاند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004.
The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.
فهرست مطالب
Front Matter....Pages -
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results....Pages 1-8
Basic Principles for Software Specification....Pages 9-22
Challenges of Next Generation Manufacturing Systems....Pages 23-28
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0....Pages 29-47
An Engineer’s Workstation to Support Integrated Development of Flexible Production Control Systems....Pages 48-68
A Formal Component Concept for the Specification of Industrial Control Systems....Pages 69-88
Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems....Pages 89-95
Reference Case Study “Traffic Control Systems” for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator....Pages 96-118
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements....Pages 119-144
Executable HybridUML and Its Application to Train Control Systems....Pages 145-173
The Use of UML for Development of a Railway Interlocking System....Pages 174-198
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering ....Pages 199-205
Specification and Formal Verification of Temporal Properties of Production Automation Systems....Pages 206-226
STOP – Specification Technique of Operational Processes....Pages 227-247
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks....Pages 248-269
A Guide to Modelling and Control with Modules of Signal Nets....Pages 270-300
Conceptual Design of an Engineering Model for Product and Plant Automation....Pages 301-321
Introduction to Subject Area “Charts”....Pages 322-324
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)....Pages 325-354
Interactive Verification of Statecharts....Pages 355-373
Live Sequence Charts....Pages 374-399
A Unifying Semantics for Sequential Function Charts....Pages 400-418
Introduction to Subject Area “Verification”....Pages 419-422
“UML–ising” Formal Techniques....Pages 423-450
Model Based Formal Verification of Distributed Production Control Systems....Pages 451-473
Combining Formal Methods and Safety Analysis – The ForMoSA Approach....Pages 474-493
Formal Verification of LSCs in the Development Process....Pages 494-516
Verification of PLC Programs Given as Sequential Function Charts....Pages 517-540
Modeling and Formal Verification of Production Automation Systems....Pages 541-566
On Model Integration and Integration Modelling....Pages 567-581
On the Integration of Modular Heterogeneous Specifications....Pages 582-601
Semantical Integration of Object-Oriented Viewpoint Specification Techniques....Pages 602-626
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Optimal, Predictive and Adaptive Control
دانلود کتاب Knowledge Science, Engineering and Management: Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings
دانلود کتاب Automatic Control for Mechanical Engineers
دانلود کتاب Rhythmic Advantages in Big Data and Machine Learning
دانلود کتاب Using the Engineering Literature (Routledge Studies in Library and Information Science)
دانلود کتاب Global Positioning: Technologies and Performance (Wiley Survival Guides in Engineering and Science)
دانلود کتاب Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism (The Springer International Series in Engineering and Computer Science)
دانلود کتاب 05.Biomedical Engineering
دانلود کتاب Blind deconvolution
