Homepage | Staff | Studies | Projects | Events | Reports

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.
Linkki aiempien julkaisujen sivulle | Linkki TTY:n eKirjaston sivulle, mistä löydät lisää tietoa julkaisuista

Tampere
University of Technology, Institute of Software Systems