Ziel
The objective of the VIP project was to produce a formal specification giving a precise semantic description of the interfaces to the kernel of the PCTE.
This project was associated with projects 1252 (AMADEUS), 1262 (SFINX), 1277 (SAPPHIRE), 1282 (PAVE).
The objective of the project was to produce a formal specification giving a precise semantic description of the interfaces to the kernel of the portable common tool environment (PCTE). The PCTE specifications were produced using an extended version of VDM (VVSL-VIP VDM specification language). Both tooland user interfaces were specified using the same style of language and partially verified and validated. The project also demonstrated the feasibility of using formal methods to specify systems of this type. The availability of a precise and correct interface specification supports the reduction in the costs of evolutionary development. Tool writers now have access to the precise specification needed to derive a PCTE environment and to support tools emerging from other projects. Implementations can be compared against the formal specification by rapid prototyping using a precise specification. The formal specification can be used to derive an improved natural language specification.
The PCTE specifications were produced using an extended version of VDM (VVSL-VIP VDM specification language).
Both tool and user interfaces were specified using the same style of language and partially verified and validated.
The project also demonstrated the feasibility of using formal methods to specify systems of this type. The formal specifications were published in early 1989.
Exploitation
The availability of a precise and correct interface specification supports the reduction in the costs of evolutionary development. Tool writers now have access to the precise specification needed to derive a PCTE environment and to support tools emerging from other ESPRIT projects. Implementations can be compared against the formal specification by rapid prototyping using a precise specification. The formal specification can be used to derive an improved natural language specification.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Dieses Projekt wurde noch nicht bei EuroSciVoc klassifiziert.
Schlagen Sie die Wissenschaftsbereiche vor, die Ihrer Einschätzung nach besonders relevant sind, und helfen Sie uns, unseren Klassifizierungsdienst zu verbessern.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Daten nicht verfügbar
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Daten nicht verfügbar
Koordinator
BA1 1PX Bath
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.