✦ LIBER ✦

[Lecture Notes in Computer Science] Testing of Communicating Systems Volume 2978 || Generation of Optimized Testsuites for UML Statecharts with Time

✍ Scribed by Groz, Roland; Hierons, Robert M.

Book ID: 120237970
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 522 KB
Category: Article
ISBN: 3540247041
DOI: 10.1007/978-3-540-24704-3_9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Test

[Lecture Notes in Computer Science] Testing of Communicating Systems Volume 2644 || A Guided Method for Testing Timed Input Output Automata

✍ Hogrefe, Dieter; Wiles, Anthony 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 668 KB

[Lecture Notes in Computer Science] SDL

[Lecture Notes in Computer Science] SDL 2001: Meeting UML Volume 2078 || A General Approach for the Specification of Real-Time Systems with SDL

✍ Reed, Rick; Reed, Jeanne 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 285 KB

This book constitutes the refereed proceedings of the 10th International SDL Forum, SDL 2001, held in Copenhagen, Denmark in June 2001. The 26 revised full papers presented were carefully reviewed and selected for presentation. The book offers topical sections on tools, language evolution, combine

[Lecture Notes in Computer Science] Test

[Lecture Notes in Computer Science] Testing of Software and Communication Systems Volume 5826 || Testing Timed Finite State Machines with Guaranteed Fault Coverage

✍ Núñez, Manuel; Baker, Paul; Merayo, Mercedes G. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 314 KB

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 Formal Approaches To Testing Of Software, Fates 2009, Jointly Held In Eindhoven, The Netherlands, In November 2009. Th

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Engineering of Embedded Real-Time Systems Volume 6100 || 8 UML for Software Safety and Certification

✍ Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 615 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advanced Information Systems Engineering Volume 5565 || Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles

✍ van Eck, Pascal; Gordijn, Jaap; Wieringa, Roel 📂 Article 📅 2009 🏛 Springer International Publishing 🌐 English ⚖ 378 KB

This book constitutes the refereed proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE 2009, held in Amsterdam, The Netherlands, on June 8-12, 2009. The 36 papers presented in this book together with 6 keynote papers were carefully reviewed and selecte

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Engineering of Embedded Real-Time Systems Volume 6100 || 4 Semantics of UML Models for Dynamic Behavior

✍ Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 324 KB