صورة الغلاف

Program Development as a Formal Activity

محفوظ في:
الحاوية / القاعدة:IEEE Transactions on Software Engineering vol. 7, no. 1 (Jan 1981), p. 14
المؤلف الرئيسي: Broy, M
مؤلفون آخرون: Pepper, P
منشور في:
IEEE Computer Society
الموضوعات:
Software
Programs
Programming languages
Manipulation
Engineering
Development
Computer programming
Algorithms
Optimization techniques
Mathematical functions
Software engineering
Semantics
الوصول للمادة أونلاين:Citation/Abstract
Full Text - PDF
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
مستخلص:A methodology has been outlined of program development by transformations. The Warshall algorithm is developed by the methodology to illustrate the methodology. The transition from one program to another is a transformation. Program transformation relations must be reflexive to be valid, and transitive to allow successive application of several transformations. Transformational semantics are used to prove the correctness of transformation rules. Specification techniques and abstract data types allow the description of the language to be modularized as a hierarchy of types. The data structures in the hierarchy provide an algebraic frame for handling data types, transformation rules, and semantics.
تدمد:0098-5589
1939-3520
DOI:10.1109/TSE.1981.230815
المصدر:ABI/INFORM Global