Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
3236 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Applying Formal Methods, Testing, Performance, and M/E-Commerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, october 1-2, 2004, proceedings, Manuel N'uñez, Zakaria Maamar, Fernando L. Pelayo ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (XI-379 p.), Lecture notes in computer science, 3-54023169-2 • Applying Formal Methods: Testing, Performance, and M/E-Commerce, Texte imprimé, 9783662164709 |
| LEADER | 04744nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 969199 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155169548 | ||
| 020 | |a 9783540302339 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.131 | ||
| 111 | 2 | |a FORTE Workshops |n (1 |d :2004 |c :Toledo, Spain). | |
| 245 | 1 | 0 | |a Applying formal methods : |b testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings |c [edited by] Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3236 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Commerce électronique | ||
| 650 | |a Systèmes informatiques |x Pannes | ||
| 650 | |a Structure logique | ||
| 650 | |a Culture numérique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a García-Pelayo y Gross, Fernando. |4 pbd | |
| 700 | 1 | |a Nùñez, Manuel, |d 19..- |4 pbd | |
| 700 | 1 | |a Maamar, Zakaria. |4 pbd | |
| 776 | 0 | |0 082052220 |t Applying Formal Methods |o Testing, Performance, and M/E-Commerce |o FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, october 1-2, 2004 |o proceedings |f Manuel N'uñez, Zakaria Maamar, Fernando L. Pelayo ... [et al.] (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (XI-379 p.) |s Lecture notes in computer science |z 3-54023169-2 | |
| 776 | 0 | |t Applying Formal Methods: Testing, Performance, and M/E-Commerce |b Texte imprimé |z 9783662164709 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b100825 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-LMFCFHK1-9 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750676604 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b100825 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75402489X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b100825 |z Accès INSA CVL | |
| 997 | |0 969199 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||