Näytetään 1 - 7 yhteensä 7 tuloksesta haulle 'Kaijanaho, Antti-Juhani', hakuaika: 0,02s
Tarkenna hakua
-
1
The formal method known as B and a sketch for its implementation Tekijä Kaijanaho, Antti-Juhani
Julkaistu 2002Hyllypaikka: Lataa…Hae kokoteksti
Sijainti: Lataa…
Pro gradu -
2
The formal method known as B and a sketch for its implementation Tekijä Kaijanaho, Antti-Juhani
Julkaistu 2002Pro gradu -
3
Muistinhallinta siivousmenetelmien avulla Tekijä Kaijanaho, Antti-Juhani
Julkaistu 2001Kandityö -
4
Evidence-based programming language design : a philosophical and methodological exploration Tekijä Kaijanaho, Antti-Juhani, kirjoittaja
Julkaistu 2015Hyllypaikka: Lataa…JYX-julkaisuarkisto / JYX Digital Archive
Sijainti: Lataa…
Väitöskirja -
5
The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study Tekijä Kaijanaho, Antti-Juhani, kirjoittaja
Julkaistu 2014Hyllypaikka: Lataa…JYX-julkaisuarkisto / JYX Digital Archive
Sijainti: Lataa…
Lisensiaatintyö -
6
Evidence-based programming language design : a philosophical and methodological exploration Tekijä Kaijanaho, Antti-Juhani, kirjoittaja
Julkaistu 2015Hyllypaikka: Lataa…Linkki verkkoaineistoon
Sijainti: Lataa…
Väitöskirja -
7
The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study Tekijä Kaijanaho, Antti-Juhani, kirjoittaja
Julkaistu 2014Hyllypaikka: Lataa…Linkki verkkoaineistoon
Sijainti: Lataa…
Lisensiaatintyö
Työkalut:
RSS-syöte
Liittyvät aiheet
empiirinen tutkimus
evidence-based paradigm
kehittäminen
kirjallisuuskatsaukset
näyttöön perustuvat käytännöt
ohjelmointi
ohjelmointikielet
programming language design
programming languages
suunnittelu
systematic mapping study
Ebba
Mathematical Information Technology
Tietotekniikka
automaattinen päättely
coder agreement analysis
efficacy
evidence
formaalinen logiikka
historia
kuvauskielet
käsiteanalyysi
metodologia
philosophical analysis
research methods
thematic synthesis
tutkimusmenetelmät
vertailu
602
atk-ohjelmat