↓ Skip to main content

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

Overview of attention for book
Cover of 'Applying Formal Methods: Testing, Performance, and M/E-Commerce'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Analysis of the Internet Open Trading Protocol
  3. Altmetric Badge
    Chapter 2 Life-Cycle E-commerce Testing with OO-TTCN-3
  4. Altmetric Badge
    Chapter 3 Specification of Autonomous Agents in E-commerce Systems
  5. Altmetric Badge
    Chapter 4 An Approach for Assessment of Electronic Offers
  6. Altmetric Badge
    Chapter 5 A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges
  7. Altmetric Badge
    Chapter 6 A Construction Kit for Modeling the Security of M-commerce Applications
  8. Altmetric Badge
    Chapter 7 A Minimal Market Model in Ephemeral Markets
  9. Altmetric Badge
    Chapter 8 A Process-Oriented Approach Towards Structured Market Modelling
  10. Altmetric Badge
    Chapter 9 Formal Specification of Symbolic-Probabilistic Systems
  11. Altmetric Badge
    Chapter 10 How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
  12. Altmetric Badge
    Chapter 11 A Bounded True Concurrency Process Algebra for Performance Evaluation
  13. Altmetric Badge
    Chapter 12 Branching Time Equivalences for Interactive Markov Chains
  14. Altmetric Badge
    Chapter 13 System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals
  15. Altmetric Badge
    Chapter 14 Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times
  16. Altmetric Badge
    Chapter 15 Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks
  17. Altmetric Badge
    Chapter 16 Modeling and Analysis of Dual Block Multithreading
  18. Altmetric Badge
    Chapter 17 Performance Evaluation of a SNAP-Based Grid Resource Broker
  19. Altmetric Badge
    Chapter 18 Describing IEEE 802.11 Wireless Mechanisms by Using the π -Calculus and Performance Evaluation Process Algebra
  20. Altmetric Badge
    Chapter 19 An Analytical Design of a Practical Replication Protocol for Distributed Systems
  21. Altmetric Badge
    Chapter 20 PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
  22. Altmetric Badge
    Chapter 21 Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation
  23. Altmetric Badge
    Chapter 22 Symbolic Performance and Dependability Evaluation with the Tool CASPA
  24. Altmetric Badge
    Chapter 23 Modeling and Testing Agent Systems Based on Statecharts
  25. Altmetric Badge
    Chapter 24 Testing of Autonomous Agents Described as Utility State Machines
  26. Altmetric Badge
    Chapter 25 Generation of Integration Tests for Self-Testing Components
  27. Altmetric Badge
    Chapter 26 Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
  28. Altmetric Badge
    Chapter 27 A Meta-model for TTCN-3
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Published by
Springer Berlin Heidelberg, September 2004
DOI 10.1007/b100825
ISBNs
978-3-54-023169-1, 978-3-54-030233-9
Editors

Núñez, Manuel, Maamar, Zakaria, Pelayo, Fernando L., Pousttchi, Key, Rubio, Fernando

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 75%
Researcher 1 25%
Professor > Associate Professor 1 25%
Readers by discipline Count As %
Computer Science 4 100%
Social Sciences 1 25%