Näytetään aineistoja, joilla on samankaltainen nimeke tai asiasanat.

• Symbolic analysis and atomistic model as a basis for a program comprehension methodology 

  Laitila, Erkki (University of Jyväskylä, 2008)

  Erkki Laitila tutki väitöskirjassaan tietokoneohjelmien lähdekoodin automaattista tulkintaa. Hän kehitti ohjelmistojen ymmärtämistä palvelemaan symbolisen analyysin, jossa koodia simuloidaan haluttuina paloina ja tuloksena ...

• Automated transient hypertext support for software maintenance 

  Koskinen, Jussi (University of Jyväskylä, 2000)

• Introducing libeemd: a program package for performing the ensemble empirical mode decomposition 

  Luukko, Perttu; Helske, Jouni; Räsänen, Esa (Springer, 2016)

  t The ensemble empirical mode decomposition (EEMD) and its complete variant (CEEMDAN) are adaptive, noise-assisted data analysis methods that improve on the ordinary empirical mode decomposition (EMD). All these methods ...

• The formal method known as B and a sketch for its implementation 

  Kaijanaho, Antti-Juhani (2002)

• Estimating Programming Exercise Difficulty using Performance Factors Analysis 

  Tirronen, Ville; Tirronen, Maria (IEEE, 2020)

  This Work in Progress Paper studies student and exercise modelling based on pass/fail log data gathered from an introductory programming course. Contemporary education capitalizes on the communications technology and remote ...