مايو 06, 2025
مايو 01, 2025
مايو 01, 2025
The emergence of an object-oriented paradigm has been beneficial for complex software development, and this paradigm has been used to develop architectures for distributed systems. Many object-oriented architectures have been suggested for developing object-based software, and several attempts have been made to specify object behaviors formally. Nevertheless, investigations into bridging the gap between object implementation and object formal models are limited. This paper presents a formal app...
حقوق الطبع والنشر © 2026 جامعة العين . جميع الحقوق محفوظة.