✦ LIBER ✦

Integrating a formal method into a software engineering process with UML and Java

✍ Scribed by Michael Möller; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A method to elicit architecturally sensi

✍ Tamer Rafla; Pierre N. Robillard; Michel Desmarais 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 313 KB

Software development with Z. A practical

📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 232 KB

Nonlocal integrable partners to generali

✍ A. Degasperis; D. Lebedev; M. Olshanetsky; S. Pakuliak; A. Perelomov; P. Santini 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 843 KB

Integrating analyses of the risk of occu

✍ Urban Kjellén; Snorre Sklet 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 887 KB

Classical and Object-Oriented Software E

✍ Alexandra Poulovassilis 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 29 KB

A method for life cycle assessment envir

✍ Hans Björk; Anders Rasmuson 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 330 KB