Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
Questo progetto non è ancora stato classificato con EuroSciVoc.
Suggerisci i campi scientifici che ritieni più rilevanti e aiutaci a migliorare il nostro servizio di classificazione.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Dati non disponibili
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Dati non disponibili
Coordinatore
BA1 1PX Bath
Regno Unito
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.