TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Tietotekniikka

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Experiences on Applying OMT to Large Scale Systems

    Aalto, J-M., 1994, Proc. of Conceptual Modeling and Object-Oriented Progr. Symposium, Nov. 5 1993, Tampere. Finnish Artificial Intelligence Society

    Tutkimustuotos

  2. Julkaistu

    Resolution of the left-right ambiguity in submarine passive sonar systems

    Aalto, T., Pesonen, H., Stien, M. & Terragni, F., 2005, Proceedings of the European Student Workshop on Mathematical Modelling in Industry, 19th ECMI Modelling week, 1. - 11.9.2005, Barcelona, Spain. Alabert, A. (toim.). s. 75-91

    Tutkimustuotos

  3. Julkaistu

    Object-Oriented Development of Interactive Systems with OMT++

    Aalto, J-M. & Jaaksi, A., 1994, TOOLS 14, Technology of Object-Oriented Languages & Systems. Ege, R., Singh, M. & Meyer, B. (toim.). PRENTICE HALL, s. 205-218

    Tutkimustuotos

  4. Julkaistu

    Regression analysis utilizing subjective evaluation of emotional experience in PET studies on emotions

    Aalto, S., Wallius, E., Näätänen, P., Hiltunen, J., Metsähonkala, L., Sipilä, H. & Karlsson, H., 2005, julkaisussa : Brain Research Protocols. 15, 3, s. 142-154

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Neuroanatomical substrata of amusement and sadness: a PET activation study using film stimuli

    Aalto, S., Näätänen, P., Wallius, E., Metsähonkala, E., Stenman, H., Niemi, P. M. & Karlsson, H., 2002, julkaisussa : NeuroReport. 13, 1, s. 67-73

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Formal Approaches to Testing of Software

    Aaltonen, T. & Helin, J., 2002, Formal Approaches to Testing of Software, FATES'02, A Satellite Workshop of CONCUR'02, Brno, Czech Republic, August 24th 2002, Proceedings. Hierons, T. & Jeron, T. (toim.). s. 65-78

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    From Mashup Applications to Open Data Ecosystems

    Aaltonen, T., Mikkonen, T., Peltola, H. & Salminen, A., 2014, Proceedings of The International Symposium on Open Collaboration, OpenSym 2014, August 27-29, 2014, Berlin, Germany. New York, NY: ACM, s. 1-15 15 Sivumäärä (OpenSym).

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Validating correctness with behavioural abstractions

    Aaltonen, T., 2005, Tampere: Tampere University of Technology. (Tampereen teknillinen yliopisto, Julkaisu; painos 550)

    Tutkimustuotos

  9. Julkaistu

    TDP-a Distributed Parameter Systems Simulator

    Aaltonen, M., Tanttu, J. & Pohjolainen, S., 1984, Tampere: Unknown Publisher. (Tampere Univ. of Tech., Dept. of Elect.Eng., Mathematics, Report; nro 45)

    Tutkimustuotos

  10. Julkaistu

    Verifying Real-Time Joint Action Specifications Using Timed Automata

    Aaltonen, T., Katara, M. & Pitkänen, R., 2000, Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. Yulin, F. (toim.). Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing, s. 516-525

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Three views to open source: Architectures, developers and a newborn community

    Aaltonen, T. & Järvensivu, J., 2006, Unknown Publisher.

    Tutkimustuotos

  12. Julkaistu

    Coordinating Aspects and Objects

    Aaltonen, T., Helin, J., Katara, M., Kellomäki, P. & Mikkonen, T., 2003, Electronic Notes in Theoretical Computer Science, Preliminary Proceedings, FOCLASA'02, International Workshop on the Foundations of Coordination Languages and Software Architectures, Brno, Czech Republic, August 24, 2002, Satellite event of Concur'02.

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    DisCo Toolset - The New Generation

    Aaltonen, T., Katara, M. & Pitkänen, R., 2001, julkaisussa : Journal of Universal Computer Science. 7, 1, s. 3-18

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    On horizontal specification architectures and their aspect-oriented implementations

    Aaltonen, T., Katara, M., Kurki-Suonio, R. & Mikkonen, T., 2006, julkaisussa : Lecture Notes in Computer Science. 4242, s. 1-29 29 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Defining Observation Objectives for Reactive and Distributed Systems

    Aaltonen, T., 2003, Formal Approaches to Testing of Software. Proceedings of FATES 2003. A Satellite Workshop of the International Conference on Automated Software Engineering 2003, Montreal, Quebec, Canada, October 6, 2003. Petrenko, A. & Ulrich, A. (toim.). s. 156-163

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    Managing Software Evolution with a Formalized Abstraction Hierarchy

    Aaltonen, T. & Mikkonen, T., 2002, Proceedings, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2-4 December 2002, Greenbelt, Maryland. s. 224-231

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

    Aaltonen, T. & Pitkänen, R., 1999, Tampere: Tampereen teknillinen korkeakoulu. 27 Sivumäärä (Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti; nro 19)

    Tutkimustuotos

  18. Julkaistu

    Managing software evolution with a formalised abstraction hierarchy

    Aaltonen, T. & Mikkonen, T., 2008, julkaisussa : International Journal of Computer Applications in Technology. 31, 1/2, s. 120-130

    Tutkimustuotosvertaisarvioitu

  19. Julkaistu

    OSS architecture and implications

    Aaltonen, T., Järvensivu, J. & Mikkonen, T., 2006, Unknown Publisher.

    Tutkimustuotos

  20. Julkaistu

    A distributed parameter systems simulator

    Aaltonen, M., Tanttu, J. & Pohjolainen, S., 1986, Simulation. Tampere, s. 145-151

    Tutkimustuotos

Edellinen 1 2 3 4 5 6 7 8 ...492 Seuraava

ID: 18403956