Copyright © Philip M. Parker, INSEAD. Terms of Use.

| Domain | Definition |
Computing | Esprit project for the development of a strict methodology for program development by transformations from formal specification. Source: European Union. (references) |
Source: compiled by the editor from various references; see credits. | |
| The following table is compiled from various sources, across various languages. When English abbreviations or acronyms come from a non-English source, this is noted. | |||
| Entry | Source | Expression | Field |
| PROSPECTRA | English | Program development by specification and transformation | Computing |
Source: compiled by the editor, based on several corpora (additional references). | |||
| Language | Translations for "PROGRAM DEVELOPMENT BY SPECIFICATION AND TRANSFORMATION"; alternative meanings/domain in parentheses. | |
Danish | programudvikling ved specificering og omsætning. (various references) | |
Dutch | programmaontwikkeling door specificatie en transformatie. (various references) | |
Finnish | ohjelmankehitys määrittelyn ja muunnoksen avulla(PROSPECTRA). (various references) | |
French | Développement de programmes par spécification et transformation. (various references) | |
German | Programmentwicklung durch Spezifikation und Transformation. (various references) | |
Greek | ανάπτυξη προγραμμάτων με προδιαγραφές και μετασχηματισμό. (various references) | |
Italian | sviluppo di programmi mediante specifica e trasformazione. (various references) | |
Pig Latin | ogrampray evelopmentday ybay ecificationspay anday ansformationtray.(various references) | |
Portuguese | desenvolvimento de programas por especificação e transformação. (various references) | |
Spanish | desarrollo de programas mediante especificación y transformación. (various references) | |
| Source: compiled by the editor from various translation references. | ||
| 1. Translations: Modern 2. Abbreviations 3. Acronyms 4. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.