نوفمبر 11, 2025
أكتوبر 15, 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...
سبتمبر 30, 2025
حقوق الطبع والنشر © 2026 جامعة العين . جميع الحقوق محفوظة.