✦ LIBER ✦

Predictive software metrics based on a formal specification

✍ Scribed by WB Samson; DG Nevill; PI Dugard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The EEC workshop on formal specification

✍ D.A Duce 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 273 KB

A formal requirements specification meth

✍ Shaoying Liu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 983 KB

Towards UML-based formal specifications

✍ Vieri del Bianco; Luigi Lavazza; Marco Mauri; Giuseppe Occorso 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 306 KB

Software complexity and ada rendezvous:

✍ Srinivasarao Damerla; Sol M. Shatz 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 962 KB

From Statecharts to Verilog: a formal ap

✍ Shengchao Qin; Wei-Ngan Chin; Jifeng He; Zongyan Qiu 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 509 KB

A Graph-Based Metamodel for Object-Orien

✍ Tom Mens; Michele Lanza 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 722 KB