Obiettivo
The goal of FOR-ME-TOO project was to define, implement and experiment with a technology for the systematic development, verification and validation of software systems, based on the principle of reusability of software components. The software development process, conceived of as a process with special attention given to the reuse of pre-fabricated components and to the structuring of the system to be developed into usable components as building blocks, was characterised as a combination of "top down" and "bottom up" approaches.
Reusability of descriptions and analysis of the sequential aspects of software systems was based on a specification language defined by using some of the primitives of ASL (a kernel specification language with loose semantics).
Reusability of descriptions and analysis of the concurrent aspects of software systems was based on various classes of Petri-nets, ranging from condition-event to high-level and stochastic nets.
An environment of support tools was constructed to assist developers in following a discipline for the stepwise derivation and development of software components, for the retrieval of components and for the composition of software components.
The project was to define, implement and experiment with a technology for the systematic development, verification and validation of software systems, based on the principle of reusability of software components. The software development process, conceived of as a process with special attention given to the reuse of prefabricated components and to the structuring of the system to be developed into usable components as building blocks, was characterized as a combination of "top down" and "bottom up" approaches. Reusability of descriptions and analysis of the sequential aspects of software systems was based on a specification language defined by using some of the primitives of ASL, a kernal specification language with loose semantics. Reusability of descriptions and analysis of the concurrent aspects of software systems was based on various classes of Petri-nets, ranging from condition-event to high-level and stochastic nets. An environment of support tools was constructed to assist developers in following a discipline for the stepwise derivation and development of software components, for the retrieval of components and for the composition of software components. Language de programmation generique (LPG) specification and programming language was studied. A taxonomy of reusable components and requirements for a library of reusable components were determined.
Work was undertaken in the following areas:
-study of the LPG (Langage de Programmation Gnrique) specification and programming language
-taxonomy of reusable components and requirements for a library of reusable components
-investigation of Petri-nets and algebraic techniques.
Exploitation
Through its extensive use of case studies, the FOR-ME-TOO project should improve the general understanding of components reusability within a project development task.
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.
- scienze naturali informatica e scienze dell'informazione software software applicativi software di sistema
- scienze naturali informatica e scienze dell'informazione software sviluppo software
È 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
81739 München
Germania
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.