Cel
PROSPECTRA-D aimed to show the feasibility of applying the PROSPECTRA methodology and its support tools to real-life industrial projects, as well as providing feedback to PROSPECTRA itself. The two projects were tightly coupled.
PROSPECTRA (project 390) provided a rigorous methodology for developing correct software based on transformations, together with a comprehensive support system. Both the method and the tools represent a significant departure from current practice in the industry.
PROGRESS AND RESULTS
Technology transfer actions by means of courses taught by some academic members of the PROSPECTRA project were undertaken. The transfer has also been made more effective by having some members of the PROSPECTRA-D project participate directly in PROSPECTRAitself.
Preliminary experiments were conducted on specifying some examples with the specification language PANNDAA-S. Data was collected about the way the PROSPECTRA methodology is understood by its users, and this feedback has influenced the PROSPECTRA system design and architecture.
EXPLOITATION
The partners have gradually introduced this new technology into their industrial practice. Its effectiveness and efficiency are being tested by applying both the methodology and the support system to a class of larger problems.
The project aimed to show the feasibility of applying the PROSPECTRA methodology and its support tools to real life industrial projects, as well as providing feedback to PROSPECTRA itself. The two projects were tightly coupled. PROSPECTRA provided a rigorous methodology for developing correct software based on transformations, together with a comprehensive support system. Both the method and the tools represent a significant departure from current practice in the industry. Technology transfer actions by means of courses taught by some academic members of the PROSPECTRA project were undertaken. The transfer has also been made more effective by having some members of the project participate directly in PROSPECTRA itself. Preliminary experiments were conducted on specifying some examples with the specification language PANNDAA-S. Data was collected about the way the PROSPECTRA methodology is understood by its users, and this feedback has influenced the PROSPECTRA system design and architecture.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Brak dostępnych danych
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Brak dostępnych danych
Koordynator
28045 MADRID
Hiszpania
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.