No 1 / 1
Correct Component Software (CoCoS)
Date: | 1.1.1996-31.12.1998 |
Code: | 2665 |
Department: | Åbo Akademi University / Faculty of Mathematics and Natural Sciences (MNF), Dept. of Computer Science |
Address: |
Lemminkäinengatan 14, FIN-20520 Åbo
Phone +358-2-2154 673 Fax +358-2-2154 732 E-mail Jockum.Wright@abo.fi |
Project leader: |
FD Ralph-Johan Back, professor
(1.1.1996-31.12.1998) |
Researchers: |
FD Kaisa Sere (1.1.1996-31.12.1998) FD Joakim von Wright (1.1.1996-31.12.1998) |
Type of research: |
0 (0=Within duty, 1=Ordered research, 2=Co-operation)
- basic research 100 % |
Finnish funding organizations: |
Finlands Akademi, Helsingfors () FIM 1400000 |
Man months: | 12 months in 1998; Totally: 36 months |
Keywords: | programmering, ohjelmointi, mjukvarokomponenter, formella metoder, preciseringskalkyl, mekanisk verifiering, inbäddade system, software components, formal methods, refinement calculus, mechanical verification, embedded systems, |
The project will investigate the theory and logic of buildning large software systems using software component technology, the computer tools needed to support this, and using the tools for experimentsin software construction.
21.3.1996 / 4.3.1998