A relational model for object-oriented designs

• المؤلفون الرئيسيون: Jifeng, H., Liu, Z., Li, X., Qin, S.
• مؤلفون آخرون: SINGAPORE-MIT ALLIANCE
• التنسيق: مقال
• منشور في: 2014
• الموضوعات: Object Orientation; Refinement; Semantics; UTP
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/114611

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)