Program Development as a Formal Activity
Uloženo v:
| Vydáno v: | IEEE Transactions on Software Engineering vol. 7, no. 1 (Jan 1981), p. 14 |
|---|---|
| Hlavní autor: | |
| Další autoři: | |
| Vydáno: |
IEEE Computer Society
|
| Témata: | |
| On-line přístup: | Citation/Abstract Full Text - PDF |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 195592829 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 0098-5589 | ||
| 022 | |a 1939-3520 | ||
| 024 | 7 | |a 10.1109/TSE.1981.230815 |2 doi | |
| 035 | |a 195592829 | ||
| 045 | 2 | |b d19810101 |b d19810131 | |
| 084 | |a 00135399 | ||
| 084 | |a 17010 |2 nlm | ||
| 100 | 1 | |a Broy, M | |
| 245 | 1 | |a Program Development as a Formal Activity | |
| 260 | |b IEEE Computer Society |c Jan 1981 | ||
| 513 | |a PERIODICAL | ||
| 520 | 3 | |a 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. | |
| 653 | |a Software | ||
| 653 | |a Programs | ||
| 653 | |a Programming languages | ||
| 653 | |a Manipulation | ||
| 653 | |a Engineering | ||
| 653 | |a Development | ||
| 653 | |a Computer programming | ||
| 653 | |a Algorithms | ||
| 653 | |a Optimization techniques | ||
| 653 | |a Mathematical functions | ||
| 653 | |a Software engineering | ||
| 653 | |a Semantics | ||
| 700 | 1 | |a Pepper, P | |
| 773 | 0 | |t IEEE Transactions on Software Engineering |g vol. 7, no. 1 (Jan 1981), p. 14 | |
| 786 | 0 | |d ProQuest |t ABI/INFORM Global | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/195592829/abstract/embedded/Y2VX53961LHR7RE6?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/195592829/fulltextPDF/embedded/Y2VX53961LHR7RE6?source=fedsrch |