Haku
Viitteet 1-3 / 3
A practice perspective on organizational implementation of information technology
(Turku Centre for Computer Science (TUCS), 2010-12-20)
Implementering av ett informationssystem ur en organisatorisk synvinkel initieras av en idé om ett system och avslutas då användningen av det inte längre kräver en medveten ansträngning. Ifall tolkningen av implementering ...
Combining model-based testing and stepwise formal development
(Turku Centre for Computer Science (TUCS), 2010-10-04)
Tool-supported invariant-based programming
(Turku Centre for Computer Science (TUCS), 2010-08-17)
The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to ...