PROGRAM DEVELOPMENT BY SPECIFICATION AND TRANSFORMATION

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.

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.

Specialty Definition: PROGRAM DEVELOPMENT BY SPECIFICATION AND TRANSFORMATION