دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings
دانلود کتاب روشهای رسمی و مهندسی نرم افزار: پنجمین کنفرانس بین المللی روشهای مهندسی رسمی، ICFEM 2003، سنگاپور، 5-7 نوامبر 2003. پرونده ها
مشخصات کتاب
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings
ویرایش: [1 ed.] نویسندگان: Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.) سری: Lecture Notes in Computer Science 2885 ISBN (شابک) : 354020461X, 9783540204619 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 682 [693] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 82,000
در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی و مهندسی نرم افزار: پنجمین کنفرانس بین المللی روشهای مهندسی رسمی، ICFEM 2003، سنگاپور، 5-7 نوامبر 2003. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی و مهندسی نرم افزار: پنجمین کنفرانس بین المللی روشهای مهندسی رسمی، ICFEM 2003، سنگاپور، 5-7 نوامبر 2003. پرونده ها
این جلد شامل مجموعه مقالات کنفرانس بینالمللی روشهای مهندسی رسمی در سال 2003 (ICFEM 2003) است. این کنفرانس پنجمین کنفرانسی بود که در سال 1997 آغاز شد. ICFEM 2003 در سنگاپور در طی 5 تا 7 نوامبر 2003 برگزار شد. ICFEM 2003 با هدف گرد هم آوردن محققان و دست اندرکاران از صنعت، دانشگاه و دولت برای پیشبرد وضعیت کشور انجام شد. هنر در روشهای مهندسی رسمی و تشویق به پذیرش گستردهتر روشهای رسمی در صنعت. کمیته برنامه 91 ارسال را از بیش از 20 شرکت در مناطق مختلف دریافت کرد. پس از بررسی هر مقاله توسط حداقل سه داور در هر بخش مربوطه، 34 مقاله با کیفیت بالا بر اساس اصالت، محتوای فنی، ارائه و ارتباط با روشهای رسمی و مهندسی نرمافزار پذیرفته شد. مایلیم صمیمانه از همه نویسندگانی که آثار خود را برای بررسی ارسال کردند تشکر کنیم. همچنین مایلیم از اعضای کمیته برنامه و سایر بازبینان به خاطر اقدامات عالی آنها در فرآیند بررسی و انتخاب تشکر کنیم. مدیون سه سخنران اصلی، پروفسور یان هایسافت دانشگاه کوئینزلند، پروفسور ماتای جوزف از مرکز تحقیقات، توسعه و طراحی تاتا، و دکتر کولین او هالورانوف کینتی کیو، دعوت ما برای سخنرانی در کنفرانس را پذیرفتند.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers,Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre,andDr.ColinO’HalloranofQinetiQ,foracceptingourinvitation to address the conference.
فهرست مطالب
Front Matter....Pages -
Programs as Paths: An Approach to Timing Constraint Analysis....Pages 1-15
Model Based Code Verification....Pages 16-25
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? ....Pages 26-33
Using Formal Methods to Serialize Synchronization Events....Pages 34-47
An AMBA-ARM7 Formal Verification Platform....Pages 48-67
Formalization, Testing and Execution of a Use Case Diagram....Pages 68-85
Service-Based Systems Engineering: Consistent Combination of Services....Pages 86-104
Using State Diagrams to Describe Concurrent Behaviour....Pages 105-124
The Equivalence of Statecharts....Pages 125-143
Generic Interacting State Machines and Their Instantiation with Dynamic Features....Pages 144-166
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language....Pages 167-186
Formalising an Integrated Language in PVS....Pages 187-205
Modeling SystemC Fixed-Point Arithmetic in HOL....Pages 206-225
Adding Action Refinement to Stochastic True Concurrency Models....Pages 226-245
Incremental Derivation of Abstraction Relations for Data Refinement....Pages 246-265
Comparison of Data and Process Refinement....Pages 266-285
Compilation by Refinement for a Practical Assembly Language....Pages 286-305
Java Card Code Generation from B Specifications....Pages 306-318
Efficient Path Finding with the Sweep-Line Method Using External Storage....Pages 319-337
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates....Pages 338-358
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures....Pages 359-374
A Z Based Approach to Verifying Security Protocols....Pages 375-395
A Refinement Tool for Z....Pages 396-415
The Common Semantic Constructs of XML Family....Pages 416-431
Controller Synthesis for Object Petri Nets....Pages 432-451
Towards a Workflow Model of Real-Time Cooperative Systems....Pages 452-470
New Developments in Closed-Form Computation for GSPN Aggregation....Pages 471-490
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata....Pages 491-503
Analyzing the Redesign of a Distributed Lift System in UPPAAL....Pages 504-522
Verification of Timeliness QoS Properties in Multimedia Systems....Pages 523-540
A Calculus for Set-Based Program Development....Pages 541-559
Compositional Verification of a Switch Fabric from Nortel Networks....Pages 560-578
Constraint-Based Model Checking of Data-Independent Systems....Pages 579-598
A Formal Model for the Block Device Subsystem of the Linux Kernel....Pages 599-619
A Mathematical Framework for Safecharts....Pages 620-640
A Relational Model for Formal Object-Oriented Requirement Analysis in UML....Pages 641-664
From Specification to Hardware Device: A Synthesis Algorithm....Pages 665-681
Back Matter....Pages -
