Jyrki Nummenmaa, Outi Sievi-Korte, Erkki Mäkinen (editors)
This volume contains the papers of SPLST'15: 14th Symposium on Programming Languages and Software Tools held on October 9-10, 2015, in Tampere, Finland.
The symposium series started in Szeged, Hungary, in 1989, and since then, the symposium has been established as a bi-annual event. From the initial FinnoUgric event, the symposia have developed into a conference series aimed to attract scientist from other countries as well, even though the majority of the authors still come from the Estonia, Finland, and Hungary - the countries where the symposia is normally organized.
The original pro le "Programming Languages and Software Tools" has maintained its importance over the times, with the research topics evolving over time. This year's topics included metrics, metrics and testing, software tools, data types and structures, security, data collection and analysis, and products, models, and requirements.
The conference papers were selected through peer reviewing. Each paper had 2-3 reviews and the selection was strictly based on the outcome of the reviews. The paper submission, reviews, selection, and proceedings production were all performed with the help of the EasyChair system. There were 29 completed submissions for the conference, out of which 21 were selected to be presented and included in the proceedings.
In addition to the peer-reviewed papers, the conference programme included two invited key note talks: One by prof. Aarne Ranta, University of Gothenburg, on the topic "Grammars for the Working Programmer: GF and BNFC" and the other one by Dr. Veli-Pekka Eloranta, from software company Vincit, on the topic "From trenches: Software development for medical devices".
The editors want to express their gratitude to the Program Committee and the external evaluators, and to the University of Tampere for providing the facilities for the conference.
September 28, 2015 Tampere Jyrki Nummenmaa
Outi Sievi-Korte
Erkki Makinen
Hassan Charaf Tibor Gyimothy Pekka Kilpelainen Akos Kiss Tamas Kozsik Ville Leppanen Tommi Mikkonen Erkki Makinen Jyrki Nummenmaa Andras Pataricza Jari Peltonen Jaan Penjam Attila Peth}o Outi Sievi-Korte Antti Tapani Siirtola Kari Systa Antti Valmari Margus Veanes Horvath Zoltan
Tampere University of Technology (retired) Tallinn University of Technology Eotvos Lorand University, Budapest Model-based technology of software development in large : : : : : : : : : : : : : : : 149
Enn Tyugu and Jaan Penjam
Requirements management in GitHub with lean approach : : : : : : : : : : : : : : 164
Risto Salo, Timo Poranen and Zheying Zhang
Priority Queue Classes with Priority Update : : : : : : : : : : : : : : : : : : : : : : : : : 179
Matti Rintala and Antti Valmari Two set-based implementations of quotients in type theory : : : : : : : : : : : : : 194
Niccolo Veltri
Preventing malicious attacks by diversifying Linux shell commands : : : : : : 206
Joni Uitto, Sampsa Rauti, Jari-Matti Makela and Ville Leppanen Phishing Knowledge based User Modelling in Software Design : : : : : : : : : : 221
Linfeng Li, Timo Nummenmaa, Eleni Berki and Marko Helenius Securing Scrum for VAHTI : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 236
Kalle Rindell, Sami Hyrynsalmi and Ville Leppanen
Collecting Issue Management Data for Analysis with a Uni ed Model and API Descriptions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 251
Otto Hylli, Anna-Liisa Mattila and Kari Systa LOGDIG log le analyzer for mining expected behavior from log les : : : : 266
Esa Heikkinen and Timo D. Hamalainen Mining Knowledge on Technical Debt Propagation : : : : : : : : : : : : : : : : : : : : 281
Tomi 'Bgt' Suovuo, Johannes Holvitie, Jouni Smed and Ville Leppanen Pattern recognition with Spiking Neural Networks: a simple training method : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 296 Francois Christophe, Tommi Mikkonen, Vafa Andalibi, Kai Koskimies and Teemu Laukkarinen
Author Index 149 31, 164 61 206 236 179 119