Formal specification of an object oriented-graphics kernel

• المؤلف الرئيسي: Sison, Raymund C.
• التنسيق: text
• اللغة: English
• منشور في: Animo Repository 1990
• الموضوعات: Computer graphics; Programming languages (Electronic computers); Computer Sciences
• الوصول للمادة أونلاين: https://animorepository.dlsu.edu.ph/etd_masteral/1380

Most, if not all, computer graphics software packages exhibit two limitations: their highest level of abstraction is procedural, and their specification is informal. Data abstraction and object-orientation lead to the simplification of software development formal specifications result in precise and...