|
Web
Education
Viewing 1-3 of 3 total results
Managing Software Change Request Process: Temporal Data ...
Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP). 8 J. Laassiri , S. E. Hajji and M. Bouhdadi, “Verifying ODP Computational Behavioral Specification by using B-Method”, International Journal of Computer Science and Security (IJCSS), 4(1 ...
 Specifying Data Bases Management Systems by Using RM-ODP ...
semantics part [4] for the specification of ODP concepts. Unfortunately, up to now, no formal method is suitable to specify and verify every aspect of an ODP system. The inherent characteristics of ODP systems imply the need to integrate different specification languages and to handle non-behavioral properties of ODP systems that is the QoS...
Data Security and risks for IoT in intercommunicating objects
an integral part of any computational specification, which is specified in ODP in terms of environment contracts. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that
|
