Doctoral Dissertation

4.12. Lic.Ph. Antti-Juhani Kaijanaho (Faculty of Information Technology, Information Technology)

Time:

4.12.2015 12:00 — 15:00


Location: Seminaarinmaki , S212
Release: Evidence-Based Programming Language Design – A Philosophical and Methodological Exploration
Lic.Ph. Antti-Juhani Kaijanaho defends his doctoral dissertation in Information Technology ”Evidence-Based Programming Language Design - A Philosophical and Methodological Exploration”. Opponent Professor Lutz Prechelt (Freie Universität Berlin, Germany) and custos Professor Tommi Kärkkäinen (University of Jyväskylä). The doctoral dissertation is held in English.

Antti-Juhani Kaijanaho. Kuvaaja Antti-Jussi LakanenLic.Ph. Antti-Juhani Kaijanaho defends his doctoral dissertation in Information Technology ”Evidence-Based Programming Language Design - A Philosophical and Methodological Exploration”. Opponent Professor Lutz Prechelt (Freie Universität Berlin, Germany) and custos Professor Tommi Kärkkäinen (University of Jyväskylä). The doctoral dissertation is held in English.

Abstract in English  

Background: Programming language design is not usually informed by empirical studies.  In other fields similar problems have inspired an evidence-based paradigm of practice. Such a paradigm is practically inevitable in language design, as well. Aims: The content of evidence-based programming design (EB-PLD) is explored, as is the concept of evidence in general.  Additionally, the extent of evidence potentially useful for EB-PLD is mapped, and the appropriateness of Cohen's kappa for evaluating coder agreement in a secondary study is evaluated. Method: Philosophical analysis and explication are used to clarify the unclear.  A systematic mapping study was conducted to map out the existing body of evidence. Results: Evidence is a report of observations that affects the strength of an argument.  There is some but not much evidence.  EB-PLD is a five-step process for resolving uncertainty about design problems. Cohen's kappa is inappropriate for coder agreement evaluation in systematic secondary studies. Conclusions: Coder agreement evaluation should use Scott's pi, Fleiss' kappa, or Krippendorff's alpha. EB-PLD is worthy of further research, although its usefulness was out of scope here.

 The dissertation is published in the series Jyväskylä Studies in in Computing number 222, 256 s, Jyväskylä 2015, ISSN 1456-5390, ISBN 978-951-39-6387-3 (nid.), ISBN 978-951-39-6388-0 (PDF). It is available at the University Library’s Publications Unit, +358 (0)40 805 3825, myynti@library.jyu.fi. E-publication: http://urn.fi/URN:ISBN:978-951-39-6388-0

Further information:
Antti-Juhani Kaijanaho, antti-juhani.kaijanaho@jyu.fi, +358408053269
Communications Officer Anitta Kananen, tiedotus@jyu.fi, puh. +358 40 805 4142

More information

Antti-Juhani Kaijanaho

None

antti-juhani.kaijanaho@jyu.fi