Suggested Topics within your search.
- tietokoneohjelmat
- käyttöliittymät 2
- ohjelmistotuotanto 2
- suunnittelu 2
- Ebba 1
- automaattinen päättely 1
- computer programmes 1
- formaalinen logiikka 1
- formaalit menetelmät B 1
- historia 1
- human interaction behavior 1
- human-technology interaction 1
- information technology architecture 1
- innovaatiot 1
- innovative consumer information systems 1
- intentio 1
- intention 1
- kuvauskielet 1
- kuvauskielet Abstract Machine Notation 1
- kuvauskielet Generalized Substitution Language 1
- käytettävyys 1
- käyttäjäkokemus 1
- käyttäjäpsykologia 1
- käyttäjät 1
- loppukäyttäjät 1
- ohjelmistoarkkitehtuuri 1
- ohjelmistokehitys 1
- ohjelmistotekniikka matemaattiset menetelmät B 1
- planning and design 1
- requirements engineering 1
-
1
The formal method known as B and a sketch for its implementation
Published 2002Get full text
Master's thesis -
2
-
3
Architectural improvement of Display Viewer 5 software
Published 2020Get full text Get full textMaster's thesis