Cel 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. Dziedzina nauki natural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwarenatural sciencescomputer and information sciencessoftwaresoftware development 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 Siemens Nixdorf Informationssysteme AG Wkład UE Brak danych Adres Otto-Hahn-Ring 6 81739 München Niemcy Zobacz na mapie Koszt całkowity Brak danych Uczestnicy (3) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko Bull SA Francja Wkład UE Brak danych Adres 68 route de Versailles 78430 Louveciennes Zobacz na mapie Koszt całkowity Brak danych Centro Studi e Laboratori Telecomunicazioni SpA Włochy Wkład UE Brak danych Adres Via G. Reiss Romoli, 274 10148 TORINO Zobacz na mapie Linki Strona internetowa Opens in new window Koszt całkowity Brak danych SYSECA SA Francja Wkład UE Brak danych Adres 315 BUREAUX DE LA COLLINE 92213 SAINT-CLOUD Zobacz na mapie Koszt całkowity Brak danych