fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Wiles / Hogrefe

Testing of Communicating Systems

15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

Medium: Buch
ISBN: 978-3-540-40123-0
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 08.05.2003
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe

Kundenservice

Telefon: +49 69 943 329 50
E-Mail: webshop@sack.de

» Kontaktformular

Bücher

Unsere Bücher sind versandkostenfrei erhältlich

Rücksendung

kostenlose Rücksendungen für Bücher

Noch Fragen?

Unser Kundenservice hilft gerne weiter
the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli.

Produkteigenschaften

  • Artikelnummer: 9783540401230
  • Medium: Buch
  • ISBN: 978-3-540-40123-0
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 08.05.2003
  • Sprache(n): Englisch
  • Auflage: 2003
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 505 g
  • Seiten: 312
  • Format (B x H x T): 155 x 235 x 19 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

Wiles, Anthony

Hogrefe, Dieter

Keynote Speech I.- Prediction = Power.- Next Generation Networks, IP and UMTS.- UMTS Terminal Testing: A Practical Perspective.- Testing of 3G 1xEV-DV Stack — A Case Study.- Testing SIP Call Flows Using XML Protocol Templates.- Towards Modeling and Testing of IP Routing Protocols.- TTCN-3.- An Intuitive TTCN-3 Data Presentation Format.- The UML 2.0 Testing Profile and Its Relation to TTCN-3.- Realizing Distributed TTCN-3 Test Systems with TCI.- TimedTTCN-3 Based Graphical Real-Time Test Specification.- Keynote Speech II.- Interoperabolity Events Complementing Conformance Testing Activities.- Automata-Based Methodology.- Testing Transition Systems with Input and Output Testers.- Generating Checking Sequences for a Distributed Test Architecture.- Conformance of Distributed Systems.- An Automata-Based Approach to Property Testing in Event Traces.- Fault Diagnosis in Extended Finite State Machines.- A Guided Method for Testing Timed Input Output Automata.- Interoperability Testing.- Interoperability Testing Based on a Fault Model for a System of Communicating FSMs.- Framework and Model for Automated Interoperability Test and Its Application to ROHC.- Keynote Speech III.- TestNet: Let’s Test Together!.- Test Design, Tools and Methodology.- An Open Framework for Managed Regression Testing.- TUB-TCI An Architecture for Dynamic Deployment of Test Components.- Fast Testing of Critical Properties through Passive Testing.