2009, ISBN: 3642050301
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Forma… More...
Weltbild.de Nr. 20005408. Shipping costs:, 2-5 Werktage, DE. (EUR 0.00) Details... |
2009, ISBN: 9783642050305
Editor: Nunez, Manuel, Editor: Baker, Paul, Editor: Merayo, Mercedes G. Springer, Paperback, Auflage: 2009, 259 Seiten, Publiziert: 2009-10-16T00:00:01Z, Produktgruppe: Book, Hersteller-N… More...
amazon.co.uk Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.46) Details... |
2009, ISBN: 9783642050305
*Testing of Software and Communication Systems* - 21st IFIP WG 6. 1 International Conference TESTCOM 2009 and 9th International Workshop FATES 2009 Eindhoven The Netherlands November 2-4 … More...
Hugendubel.de Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., plus shipping costs. (EUR 7.50) Details... |
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings - used book
2009, ISBN: 9783642050305
[PU: Springer Berlin], Gepflegter, sauberer Zustand. 5946186/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberwei… More...
booklooker.de |
2009, ISBN: 9783642050305
Paperback
21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings, Buch, Softcover, [PU: Spri… More...
lehmanns.de Shipping costs:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2009, ISBN: 3642050301
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Forma… More...
2009, ISBN: 9783642050305
Editor: Nunez, Manuel, Editor: Baker, Paul, Editor: Merayo, Mercedes G. Springer, Paperback, Auflage: 2009, 259 Seiten, Publiziert: 2009-10-16T00:00:01Z, Produktgruppe: Book, Hersteller-N… More...
2009
ISBN: 9783642050305
*Testing of Software and Communication Systems* - 21st IFIP WG 6. 1 International Conference TESTCOM 2009 and 9th International Workshop FATES 2009 Eindhoven The Netherlands November 2-4 … More...
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings - used book
2009, ISBN: 9783642050305
[PU: Springer Berlin], Gepflegter, sauberer Zustand. 5946186/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberwei… More...
2009, ISBN: 9783642050305
Paperback
21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings, Buch, Softcover, [PU: Spri… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Testing of Software and Communication Systems
EAN (ISBN-13): 9783642050305
ISBN (ISBN-10): 3642050301
Hardcover
Paperback
Publishing year: 2009
Publisher: Springer Berlin
246 Pages
Weight: 0,403 kg
Language: eng/Englisch
Book in our database since 2008-12-16T00:02:20+00:00 (London)
Book found last time on 2024-05-25T16:26:43+01:00 (London)
ISBN/EAN: 9783642050305
ISBN - alternate spelling:
3-642-05030-1, 978-3-642-05030-5
Alternate spelling and related search-keywords:
Book author: paul man, meray, baker, mercedes, nunez
Book title: eindhoven, proceedings the 9th international, joaquin sorolla, conférence, workshop, international testing, and, communication, international conference software, lecture notes computer science, manuel, computer systems
Information from Publisher
Author: Manuel Nunez; Paul Baker; Mercedes G. Merayo
Title: Lecture Notes in Computer Science; Computer Communication Networks and Telecommunications; Testing of Software and Communication Systems - 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings
Publisher: Springer; Springer Berlin
247 Pages
Publishing year: 2009-10-16
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 247 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Constraint; Debugging; Erlang; TTCN-3; Web Services; automatic testing; conformance testing; functional testing; model; model checking; model-based testing; requirements engineering; selection; software engineering; testing; Software Engineering; Computer Modelling; Programming Techniques; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computermodellierung und -simulation; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Compiler und Übersetzer; EA
Regular Papers.- Testing Real-Time Systems Using TINA.- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.- Testing k-Safe Petri Nets.- Implementing MSC Tests with Quiescence Observation.- Testing Timed Finite State Machines with Guaranteed Fault Coverage.- Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.- Interaction Coverage Meets Path Coverage by SMT Constraint Solving.- Automatic Testing of Access Control for Security Properties.- Generating Reduced Tests for FSMs with Extra States.- An Approach for Test Selection for EFSMs Using a Theorem Prover.- TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.- Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.- Analyzing Response Inconsistencies in Test Suites.- Short Papers.- Model-Based Testing of Web Applications Using NModel.- Observability and Controllability Issues in Conformance Testing of Web Service Compositions.- Towards Automatic Generation of a Coherent TTCN-3 Template Framework.- OConGraX – Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.- Debugging into Examples.- Structural Analysis of Large TTCN-3 Projects.More/other books that might be very similar to this book
Latest similar book:
9783642050312 Testing of Software and Communication Systems (Manuel Nunez; Paul Baker; Mercedes G. Merayo)
< to archive...