VDM Interfaces for PCTE

Informacje na temat projektu

VIP

Identyfikator umowy o grant: 1283

Projekt został zamknięty

Data rozpoczęcia 1 Listopada 1986

Data zakończenia 1 Listopada 1989

Finansowanie w ramach

• European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988

Koszt całkowity € 0,00

Wkład UE Brak danych

Koordynowany przez

Computer General Electronic Design
United Kingdom

Cel

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.

Program(-y)

• FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988

Temat(-y)

Data not available

Zaproszenie do składania wniosków

Data not available

System finansowania

Data not available

Koordynator

Computer General Electronic Design

• Wkład UE: Brak danych
• Adres: 20 Manvers Street ; BA1 1PX Bath ; Zjednoczone Królestwo
• Koszt całkowity: Brak danych

Uczestnicy (2)

CWI-CENTRUM VOOR WISKUNDE & INFORMATICA

Niderlandy

• Wkład UE: Brak danych
• Adres: KRUISLAAN 413 Postbus 4079 ; 1098 SJ AMSTERDAM
• Koszt całkowity: Brak danych

OCE-NEDERLAND BV

Niderlandy

• Wkład UE: Brak danych
• Adres: ST. URBANUSSTRAAT Postbus 101 ; 5900 MA VENLO
• Koszt całkowity: Brak danych