Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
This project has not yet been classified with EuroSciVoc.
Be the first one to suggest relevant scientific fields and help us improve our classification service
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
BA1 1PX Bath
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.