Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Daten nicht verfügbar
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Daten nicht verfügbar
Koordinator
81739 München
Deutschland
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.