[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || Testing from Formal Specifications, a Generic Approach

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || Transaction Support for Ada

✍ Craeynest, Dirk; Strohmeier, Alfred 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 221 KB

Building Formal Requirements Models For Reliable Software / Axel Van Lamsweerde -- Using Ada In Interactive Digital Television Systems / Pascal Heraud And Thierry Lelegard -- Testing From Formal Specifications, A Generic Approach / Marie-claude Gaudel -- Logic Versus Magic In Critical Systems / Pete

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || Using Ada in Interactive Digital Television Systems

✍ Craeynest, Dirk; Strohmeier, Alfred 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 229 KB

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || MaRTE OS: An Ada Kernel for Real-Time Embedded Applications

✍ Craeynest, Dirk; Strohmeier, Alfred 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 209 KB

Building Formal Requirements Models For Reliable Software / Axel Van Lamsweerde -- Using Ada In Interactive Digital Television Systems / Pascal Heraud And Thierry Lelegard -- Testing From Formal Specifications, A Generic Approach / Marie-claude Gaudel -- Logic Versus Magic In Critical Systems / Pete

[Lecture Notes in Computer Science] Reli

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 || Formal Verification of AADL Specifications in the Topcased Environment

✍ Kordon, Fabrice; Kermarrec, Yvon 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 274 KB

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the confe

[Lecture Notes in Computer Science] Test

[Lecture Notes in Computer Science] Tests and Proofs Volume 6706 || Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications

✍ Gogolla, Martin; Wolff, Burkhart 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 325 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