Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings
type: Item
instance of: scholarly article
title: Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings
zbMATH Open document ID: 1056.68014
published in: Lecture Notes in Computer Science
publication date: 2005-02-21T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Rodríguez, Ismael; Núñez, Manuel; Rubio, Fernando}, Specification of autonomous agents in e-commerce systems, 30-44 [Zbl 1111.68335] \textit{López, Natalia; Núñez, Manuel; Rodríguez, Ismael}, Formal specification of symbolic-probabilistic systems, 114-127 [Zbl 1111.68511] \textit{Ruiz, M. Carmen; Cazorla, Diego; Cuartero, Fernando; Pardo, J. José; Macià, Hermenegilda}, A bounded true concurrency process algebra for performance evaluation, 143-155 [Zbl 1111.68545] \textit{Qin, Guangping; Wu, Jinzhao}, Branching time equivalences for interactive Markov chains, 156-169 [Zbl 1111.68544] \textit{Vinck, Bart; Bruneel, Herwig}, System contents versus system delay for discrete-time queueing systems with renewal arrivals, 170-183 [Zbl 1111.68366] \textit{Gao, Peixia; Wittevrongel, Sabine; Bruneel, Herwig}, Delay analysis for a discrete-time GI-D-c queue with arbitrary-length service times, 184-195 [Zbl 1111.68361] \textit{Jalili-Kharaajoo, Mahdi}, Adaptive fuzzy queue management and congestion avoidance in TCP/AQM networks, 196-208 [Zbl 1111.68362] \textit{Zuberek, W. M.}, Modeling and analysis of dual block multithreading, 209-219 [Zbl 1111.68370] \textit{Sridhar, K. N.; Ciobanu, Gabriel}, Describing IEEE 802.11 wireless mechanisms by using the \(\pi\)-calculus and performance evaluation process algebra, 233-247 [Zbl 1111.68350] \textit{Núñez, Manuel; Rodríguez, Ismael; Rubio, Fernando}, Testing of autonomous agents described as utility state machines, 322-336 [Zbl 1111.68331]
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 2135267
MaRDI profile type: Publication
full work available at URL: b100825
OpenAlex ID: W2497925506
DOI: 10.1007/B100825
Recommended article: Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers.
Recommended article: Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21--25, 2002. Proceedings
Recommended article: Q2381090
Recommended article: Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings.
Recommended article: Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers.
Recommended article: Formal approaches to software testing. Third international workshop on formal approaches to testing of software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised papers
Recommended article: The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
Recommended article: FME 2003: Formal methods. International symposium of formal methods Europe, Pisa, Italy, September 8--14, 2003. Proceedings
Recommended article: Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings
Recommended article: Q1962884
description: scientific article; zbMATH DE number 2135267