✦ LIBER ✦

Vibes: A visual language for specifying behavioral requirements of algorithms

✍ Scribed by Güleşir, Gürcan; Bergmans, Lodewijk; Akşit, Mehmet; van den Berg, Klaas

Book ID: 123403823
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 857 KB
Volume: 24
Category: Article
ISSN: 1045-926X
DOI: 10.1016/j.jvlc.2013.08.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press IEEE Workshop o

[IEEE Comput. Soc. Press IEEE Workshop on Visual Languages - Seattle, WA, USA (15-18 Sept. 1992)] Proceedings IEEE Workshop on Visual Languages - Layout-by-example: a fuzzy visual language for specifying stereotypes of diagram layout

✍ Sugihara, K.; Yamamoto, K.; Takeda, K.; Inaba, M. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press ⚖ 601 KB

[IEEE Comput. Soc. Press 1994 IEEE Sympo

[IEEE Comput. Soc. Press 1994 IEEE Symposium on Visual Languages - St. Louis, MO, USA (4-7 Oct. 1994)] Proceedings of 1994 IEEE Symposium on Visual Languages - DEAL-a language for depicting algorithms

✍ Erwig, M. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 199 KB

[Advances in Experimental Medicine and B

[Advances in Experimental Medicine and Biology] Software Tools and Algorithms for Biological Systems Volume 696 || A Framework for Specifying Safe Behavior of the CIIP Medical System

✍ Arabnia, Hamid R.; Tran, Quoc-Nam 📂 Article 📅 2011 🏛 Springer New York 🌐 English ⚖ 233 KB

“Software Tools and Algorithms for Biological Systems" is composed of a collection of papers received in response to an announcement that was widely distributed to academicians and practitioners in the broad area of computational biology and software tools. Also, selected authors of accepted papers