Hannu-Matti Järvinen

Tutkimustuotos

Tutkimustuotoksia vuodessa 1989 1989 1990 2021 2023 2023

• 44 Konferenssiartikkeli
• 9 Tutkimusraportti
• 6 Kokoomateos
• 3 Kirja
• 4 Lisää
  • 3 Artikkeli
  • 1 Väitöskirja

Tutkimustuotoksia vuodessa

Tutkimustuotoksia vuodessa

Hakutulokset

• 1998

  KOLA-ohjelma teknillisen korkeakoulutuksen arvioinnissa

  Mattila, M., Andersson, P., Heljo, J. & Järvinen, H.-M., 1998, Helsinki: Edita. 20 Sivumäärä

  Tutkimustuotos: Tutkimusraportti
• 1995

  Perusopetuksen laatu

  Mattila, M., Joensivu, L., Järvinen, H.-M., Kivikoski, M., Mäkinen, J., Sandelin, A., Syrjänen, S., Tiainen, T., Torikka, K. & Virvalo, T., 1995, Tampere: Tampereen teknillinen korkeakoulu. 9 Sivumäärä

  Tutkimustuotos: Tutkimusraportti
• 1990

  DisCo Specification Language: Marriage of Actions and Objects

  Julkaisun otsikon käännös: DisCo Specification Language: Marriage of Actions and ObjectsJärvinen, H.-M. & Kurki-Suonio, R., 1990, Tampere University of Technology. (Tampere University of Technology, Software Systems Laboratory, Report 10)

  Tutkimustuotos: Tutkimusraportti

• The Disco Language

  Julkaisun otsikon käännös: The Disco LanguageJärvinen, H.-M. & Kurki-Suonio, R., 1990, Tampere University of Technology. (Tampere University of Technology, Software Systems Laboratory, Report 8)

  Tutkimustuotos: Tutkimusraportti

• The DisCo Language and Temporal Logic of Actions

  Julkaisun otsikon käännös: The DisCo Language and Temporal Logic of ActionsJärvinen, H.-M. & Kurki-Suonio, R., 1990, Tampere University of Technology. (Tampere University of Technology, Software Systems Laboratory, Report 11)

  Tutkimustuotos: Tutkimusraportti
• 1989

  Action system approach to the specification and design of distributed systems

  Julkaisun otsikon käännös: Action system approach to the specification and design of distributed systemsKurki-Suonio, R. & Järvinen, H.-M., 1989, Tampere: Tampere University of Technology. (TUT/Software Systems Laboratory, Report; nro 5)

  Tutkimustuotos: Tutkimusraportti

  13 Sitaatiot (Scopus)

• Action system approach to the specification and design of distributed systems

  Julkaisun otsikon käännös: Action system approach to the specification and design of distributed systemsKurki-Suonio, R. & Järvinen, H.-M., 1989, Espoo: VALTION TEKNILLINEN TUTKIMUSKESKUS. (VTT Symposium; Vuosikerta 104)

  Tutkimustuotos: Tutkimusraportti

  13 Sitaatiot (Scopus)

• Object-oriented specification of reactive systems

  Julkaisun otsikon käännös: Object-oriented specification of reactive systemsJärvinen, H.-M., Kurki-Suonio, R., Sakkinen, M. & Systä, K., 1989, Tampere: Tampere University of Technology. (TUT/Software Systems Laboratory, Report; nro 6)

  Tutkimustuotos: Tutkimusraportti

• UNIX-ylläpitäjän opas

  Julkaisun otsikon käännös: UNIX-ylläpitäjän opasJärvinen, H.-M., 1989, Tampere: Modeemi ry. (Modeemi ry:n kirjasarja, C; nro 4)

  Tutkimustuotos: Tutkimusraportti