✦ LIBER ✦

On the development of a standard for conformance testing based on formal specifications

✍ Scribed by Dieter Hogrefe

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Formal Model for SDL Specifications Ba

✍ L.J. Steggles; P. Kosiuczenko 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 153 KB

Development of formal models and conform

✍ N. V. Pakulin; A. V. Khoroshilov 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 207 KB

Automated Generation of Strictly Conform

✍ A. S. Kossatchev; P. Kutter; M. A. Posypkin 📂 Article 📅 2004 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 111 KB

Conformance testing of ODA documents and

✍ Wolfgang Appelt; Richard Carr; Nikolas Tetteh-Lartey 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 737 KB

A formal approach based on UML and B for

✍ Amel Mammar; Régine Laleau 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 472 KB

Effects of structure on the comprehensib

✍ Finney, K.; Fenton, N.; Fedorec, A. 📂 Article 📅 1999 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 739 KB