دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
دانلود کتاب اعمال روش های رسمی: تست، عملکرد و M / E-Commerce: کارگاه های آموزشی FORTE 2004 FormEMC، EPEW، ITM، Toledo، Spain، 1-2 اکتبر 2004. پرونده ها
مشخصات کتاب
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
ویرایش: 1 نویسندگان: Chun Ouyang, Jonathan Billington (auth.), Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.) سری: Lecture Notes in Computer Science 3236 ISBN (شابک) : 9783540231691, 9783540302339 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 391 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب اعمال روش های رسمی: تست، عملکرد و M / E-Commerce: کارگاه های آموزشی FORTE 2004 FormEMC، EPEW، ITM، Toledo، Spain، 1-2 اکتبر 2004. پرونده ها: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، عملکرد و ارزیابی سیستم، کامپیوتر و جامعه
در صورت تبدیل فایل کتاب Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اعمال روش های رسمی: تست، عملکرد و M / E-Commerce: کارگاه های آموزشی FORTE 2004 FormEMC، EPEW، ITM، Toledo، Spain، 1-2 اکتبر 2004. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اعمال روش های رسمی: تست، عملکرد و M / E-Commerce: کارگاه های آموزشی FORTE 2004 FormEMC، EPEW، ITM، Toledo، Spain، 1-2 اکتبر 2004. پرونده ها
این کتاب مجموعه مقالات داوری مشترک اولین کارگاه بین‌المللی نظریه‌سازی و روش‌های رسمی در تجارت الکترونیک/موبایل، TheFormEMC، اولین کارگاه مهندسی عملکرد اروپا، EPEW، و اولین کارگاه بین‌المللی ادغام روش‌های تست، ITM است. ، به طور مشترک با FORTE 2004 در تولدو، اسپانیا، در اکتبر 2004 برگزار شد.
27 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از مجموع 62 مقاله ارسالی انتخاب شدند. مقالات در سه بخش موضوعی مرتبط با موضوعات کارگاه گروه بندی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004.
The 27 revised full papers presented were carefully reviewed and selected from a total of 62 submissions. The papers are grouped in three topical sections corresponding to the workshop topics.
فهرست مطالب
Front Matter....Pages -
Formal Analysis of the Internet Open Trading Protocol....Pages 1-15
Life-Cycle E-commerce Testing with OO-TTCN-3....Pages 16-29
Specification of Autonomous Agents in E-commerce Systems....Pages 30-43
An Approach for Assessment of Electronic Offers....Pages 44-57
A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges....Pages 58-71
A Construction Kit for Modeling the Security of M-commerce Applications....Pages 72-85
A Minimal Market Model in Ephemeral Markets....Pages 86-100
A Process-Oriented Approach Towards Structured Market Modelling....Pages 101-113
Formal Specification of Symbolic-Probabilistic Systems....Pages 114-127
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results....Pages 128-142
A Bounded True Concurrency Process Algebra for Performance Evaluation....Pages 143-155
Branching Time Equivalences for Interactive Markov Chains....Pages 156-169
System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals....Pages 170-183
Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times....Pages 184-195
Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks....Pages 196-208
Modeling and Analysis of Dual Block Multithreading....Pages 209-219
Performance Evaluation of a SNAP-Based Grid Resource Broker....Pages 220-232
Describing IEEE 802.11 Wireless Mechanisms by Using the π -Calculus and Performance Evaluation Process Algebra....Pages 233-247
An Analytical Design of a Practical Replication Protocol for Distributed Systems....Pages 248-261
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application....Pages 262-277
Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation....Pages 278-292
Symbolic Performance and Dependability Evaluation with the Tool CASPA....Pages 293-307
Modeling and Testing Agent Systems Based on Statecharts....Pages 308-321
Testing of Autonomous Agents Described as Utility State Machines....Pages 322-336
Generation of Integration Tests for Self-Testing Components....Pages 337-350
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing....Pages 351-365
A Meta-model for TTCN-3....Pages 366-379
Back Matter....Pages -
