✦ LIBER ✦

[Lecture Notes in Computer Science] SDL 2007: Design for Dependable Systems Volume 4745 || Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile

✍ Scribed by Gaudin, Emmanuel; Najm, Elie; Reed, Rick

Book ID: 120299270
Publisher: Springer Berlin Heidelberg
Year: 2007
Weight: 452 KB
Category: Article
ISBN: 3540749845
DOI: 10.1007/978-3-540-74984-4_6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 17 UML 2.0 Testing Profile

✍ Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 432 KB

Testing Is The Primary Hardware And Software Verification Technique Used By Industry Today. Usually, It Is Ad Hoc, Error Prone, And Very Expensive. In Recent Years, However, Many Attempts Have Been Made To Develop More Sophisticated Formal Testing Methods. This Coherent Book Provides An In-depth Ass

[Lecture Notes in Computer Science] Trus

[Lecture Notes in Computer Science] Trust and Privacy in Digital Business Volume 4083 || Towards a UML 2.0 Extension for the Modeling of Security Requirements in Business Processes

✍ Fischer-Hübner, Simone; Furnell, Stevel; Lambrinoudakis, Costas 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 332 KB

This book constitutes the refereed proceedings of the Third International Conference on Trust and Privacy in Digital Business, TrustBus 2006, held in conjunction with DEXA 2006. The book presents 24 carefully reviewed, revised full papers, organized in topical sections on privacy and identity manage