✦ LIBER ✦

Consistent specification of interface suites in UML

✍ Scribed by E.E. Roubtsova; L.C.M. van Gool; R. Kuiper; H.B.M. Jonkers

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification of Real-Time Systems in UM

✍ E.E. Roubtsova; J. van Katwijk; W.J. Toetenel; C. Pronk; R.C.M. de Rooij 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 161 KB

Preface of “Specification and Validation

✍ Susanne Graf; Oystein Haugen; Ileana Ober; Bran Selic 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 155 KB

A suite of definitions for consistency c

✍ Michel Raynal; André Schiper 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 937 KB

Consistency of formalized specifications

✍ V. P. Panfilenko 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 672 KB

A Case Study in the Specification and An

✍ David Duke; Bob Fields; Michael D. Harrison 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 155 KB

Ab initioself-consistent theory of ionic

✍ I. Nachev; M. Balkanski 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 240 KB