✦ LIBER ✦

Writing and executing ODP computational viewpoint specifications using Maude

✍ Scribed by José Raúl Romero; Antonio Vallecillo; Francisco Durán

Book ID: 113558062
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 907 KB
Volume: 29
Category: Article
ISSN: 0920-5489
DOI: 10.1016/j.csi.2006.11.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using Maude to write and execute ODP inf

Using Maude to write and execute ODP information viewpoint specifications

✍ Francisco Durán; Manuel Roldán; Antonio Vallecillo 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 817 KB

[IEEE Comput. Soc. Press 8th Internation

[IEEE Comput. Soc. Press 8th International Workshop on Software Specification and Design - Schloss Velen, Germany (22-23 March 1996)] Proceedings of the 8th International Workshop on Software Specification and Design - Requirements elicitation driven by interviews: the use of viewpoints

✍ Do Prado Leite, J.C.S.; Gilvaz, A.P.P. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 872 KB

[IEEE 2014 Recent Advances in Engineerin

[IEEE 2014 Recent Advances in Engineering and Computational Sciences (RAECS) - Chandigarh, India (2014.03.6-2014.03.8)] 2014 Recent Advances in Engineering and Computational Sciences (RAECS) - Malicious data classification using structural information and behavioral specifications in executables

✍ Kumar, Sandeep; Rama Krishna, C.; Aggarwal, Naveen; Sehgal, Rakesh; Chamotra, Sa 📂 Article 📅 2014 🏛 IEEE ⚖ 300 KB

[Lecture Notes of the Institute for Comp

[Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering] Advances in Communication, Network, and Computing Volume 108 || Specification – Based Approach for Implementing Atomic Read/ Write Shared Memory in Mobile Ad Hoc Networks Using Fuzzy Logic

✍ Das, Vinu V.; Stephen, Janahanlal 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 648 KB

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Advances in Communication, Network, and Computing, CNC 2012, held in Chennai, India, February 24-25, 2012. The 41 revised full papers presented together with 29 short papers and 14 poster papers were c

[IEEE Comput. Soc HICSS33: Hawaii Intern

[IEEE Comput. Soc HICSS33: Hawaii International Conference on System Sciences - Maui, HI, USA (4-7 Jan. 2000)] Proceedings of the 33rd Annual Hawaii International Conference on System Sciences - Developing and verifying rigorous specifications with viewpoints, use cases, and sequence-based specification methods

✍ Walton, G.H. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 68 KB