Applying Formal Methods: Testing, Performance, and M/E-Commerce

TheFormEMC.- Formal Analysis of the Internet Open Trading Protocol.- Life-Cycle E-commerce Testing with OO-TTCN-3.- Specification of Autonomous Agents in E-commerce Systems.- An Approach for Assessment of Electronic Offers.- A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges.- A Construction Kit for Modeling the Security of M-commerce Applications.- A Minimal Market Model in Ephemeral Markets.- A Process-Oriented Approach Towards Structured Market Modelling.- EPEW.- Formal Specification of Symbolic-Probabilistic Systems.- How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results.- A Bounded True Concurrency Process Algebra for Performance Evaluation.- Branching Time Equivalences for Interactive Markov Chains.- System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals.- Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times.- Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks.- Modeling and Analysis of Dual Block Multithreading.- Performance Evaluation of a SNAP-Based Grid Resource Broker.- Describing IEEE 802.11 Wireless Mechanisms by Using the ?-Calculus and Performance Evaluation Process Algebra.- An Analytical Design of a Practical Replication Protocol for Distributed Systems.- PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application.- Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation.- ITM.- Symbolic Performance and Dependability Evaluation with the Tool CASPA.- Modeling and Testing Agent Systems Based on Statecharts.- Testing of Autonomous Agents Described as Utility State Machines.- Generationof Integration Tests for Self-Testing Components.- Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.- A Meta-model for TTCN-3.