[Search form] [Info about the database] [Search tips]

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.

Publication(s)

21.3.1996 / 4.3.1998