Reports

• Antti Puhakka & Kirsti Ala-Mutka,
  Survey on the Knowledge and Education Needs of Finnish Software Professionals, 2009.
  raportti pdf-muodossa
• 41. Timo Aaltonen, Jyke Jokinen,
  Demography of Linux Kernel Developers, 2006.
  raportti pdf-muodossa
• 37. Timo Kellomäki, Antti Valmari,
  A Method for Analysing the Performance of Testing Techniques for Concurrent Systems, 2004.
  raportti pdf-muodossa
• 36. Pertti Kellomäki,
  An Annotated Specification of the Consensus Protocol of Paxos Using Superposition in PVS, 2004.
  raportti pdf-muodossa
  PVS 3.1 dump file
• 35. Antti Kervinen, Pablo Virolainen,
  Heuristics for Faster Error Detection with Automated Black Box Testing, 2003.
  
• 34. Maarit Harsu,
  From architectural requirements to architectural design, 2003.
  raportti pdf-muodossa
• 33. K. Ala-Mutka,
  Selvitys ohjelmistotekniikan opetuksesta ja sen kehitystarpeista Tampereen teknillisellä yliopistolla, 2003.
  raportti pdf-muodossa
• 32. M. Pussinen,
  A survey on software product-line evolution, 2002.
  raportti pdf-muodossa
• 31. M. Harsu,
  A survey on domain engineering, 2002.
  raportti pdf-muodossa
• 30. T. Myllymäki,
  Variability management in software product lines, 2002.
  raportti pdf-muodossa
• 29. M. Harsu,
  FAST product-line architecture process, 2002.
  raportti pdf-muodossa
• 28. W.Kuutti,
  Contextual Design -menetelmän soveltaminen, 2002.
  
• 27. K. Ala-Mutka (toim.),
  Tietotekniikka opetuksen tukena ohjelmistotekniikan laitoksella, 2001.
  raportti pdf-muodossa
• 26. D. Landau,
  The study of old texts with the aid of digital technology: the Gothic manuscripts, 2001.
  
• 25. M. Harsu,
  Ohjelmien analysoinnin ja uudelleenmuokkauksen tekniikat, 2001.
  
• 24. A. Puhakka,
  Using Fairness in Process-Algebraic Verification, 2003.
  raportti pdf-muodossa
• 23. M. Harsu,
  A Survey of Product-Line Architectures, 2001.
  raportti pdf-muodossa
• 22. M. Hakala, J. Hautamäki, K. Koskimies, J. Paakki, A. Viljamaa, A. Viljamaa,
  Task-Driven Specialization Support for Object-Oriented Frameworks, 2001.
  
• 21. K. Koskimies,
  Proceedings of OOPSLA 2000 Workshop: Methods and Tools for Object-Oriented Framework Development and Specialization, 2000.
  
• 20. T. Systä,
  Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, 2000.
  
• 19. T. Aaltonen, and R. Pitkänen,
  Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach, 1999.
• 18. T. Mikkonen,
  A Layer-Based Formalization of an On-Board Instrument, 1998.
• 17. A. Valmari, and M. Setälä,
  Visual Verification of Safety and Liveness, 1995.
• 16. A. Valmari, and M. Tienari,
  Compositional Failure-Based Semantic Models for BASIC Lotos, 1993.
• 15. V. Kaufman,
  Pattern Calculus, 1993.
• 14. K.Systä, Pertti Kellomäki, and Rauno Mäkinen (eds.),
  Proceedings of the Nordic Workshop on Programming Environment Research, 1992.
• 13. N.N. Glibovets, R. Kurki-Suonio, K.G. Zadneprovsky,
  An algorithm for the isomorphism problem of connected graphs without loops and folded edges, 1991.
• 12. N. Glibovets,
  The class of neighboring heuristic algorithms for graph coloring, 1991.
• 11. H.-M. Järvinen, and R. Kurki-Suonio,
  The DisCo language and temporal logic of actions, 1990.
  raportti ps-muodossa
• 10. H.-M. Järvinen, and R. Kurki-Suonio,
  DisCo specification language: marriage of actions and objects, 1990.
• 9. P. Jokela (ed.),
  TCP/IP protocol environment, 1990 (in Finnish).
• 8. H.-M. Järvinen, and R. Kurki-Suonio,
  The DisCo language, 1990.
• 7. R. Kurki-Suonio,
  Operational specification with joint actions: serializable databases, 1989.
• 6. H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä,
  Object-oriented specification of reactive systems, 1989.
• 5. R. Kurki-Suonio, and H.-M. Järvinen,
  Action system approach to the specification and design of distributed systems, 1989.
• 4. A. Valmari,
  Some polynomial space complete concurrency problems, 1988.
• 3. Puusaari, P., Sintonen, L. & Virvalo, T.,
  In-machine Communication-A General Solution for Interconnecting Independent Intelligent Actuators, 1988.
• 2. Kurki-Suonio, R.,
  Specification of serializable databases by joint actions, 1988.
• 1. Kurki-Suonio, R. & Kankaanpää, T.,
  On the design of reactive systems, 1988.