From: tensu@cs.tut.fi (Tero Ahtee)
Subject: seminaareja TTKK: lla syksyll{ 1992
Originator: tensu@hemppo.cs.tut.fi
Keywords: jatko-opiskelu seminaari 
Organization: Tampere University of Technology
Distribution: sfnet
Date: Thu, 27 Aug 1992 06:52:16 GMT


TTKK:n Ohjelmistotekniikan laitoksen lisensiaattiseminaarit syksyll{ 1992



Laatuj{rjestelm{n kehitt{minen

Seminaarissa k{sitell{{n ohjelmistotuotannon laatuj{rjestelmien
kehitt{miseen liittyvi{ kysymyksi{. Seminaarin tarkoituksena on koota
yhteen alan asiantuntijoita sek{ opetus- ja tutkimuslaitoksista ett{
teollisuudesta. Seminaarin aikataulusta, sis{ll|st{ ja organisoinnista
sovitaan tarkemmin ensimm{isen kokoontumisen yhteydess{. K{sitelt{vi{
aihepiirej{ ovat mm. Laatuj{rjestelm{n arviointi (ISO9000, SEI:n
kypsyysindeksi), laatuj{rjestelm{n sertifiointi, auditointi,
standardit, laadun mittaaminen, todentaminen ja kelpoistaminen
(verification and validation) sek{ projektinhallinta. Seminaarin
luonteesta johtuen osallistujam{{r{{ voidaan joutua rajoittamaan.
Seminaarista kiinnostuneiden tulee ottaa yhteytt{ ennen ensimm{ist{
tilaisuutta Ilkka Haikalaan (162911).

Muoto: seminaariesitelmi{, ryhm{ty|skentely{.
Aika: Iltap{iv{ (torstai) muutamia kertoja kuukaudessa,
j{rjest{ytymistilaisuus 10.9. kello 14:15.
Paikka: TTKK/ohjelmistotekniikka (Hermitec).
Opettaja: Ilkka Haikala.



Reaaliaikak{ytt|j{rjestelm{t

Seminaarissa tutustutaan tarkemmin yhteen esimerkkij{rjestelm{{n
(esimerkki on sulautetun j{rjestelm{n ydin). T{m{n lis{ksi kurssilla
k{sitell{{n joitakin konferenssijulkaisuja, jotka k{sittelev{t mm.
reaaliaikaj{rjestelmien skedulointia ja muita reaaliaikaj{rjestelmi{.
Seminaari voidaan sisallytt{{ joka perustutkintoon tai jatkotutkintoon.

Muoto: seminaariesitelmi{.
Aika: ke 11-14, ensimm{inen tilaisuus 2.9.
Paikka: TTKK/ohjelmistotekniikka (Hermitec).
Vastuuhenkil|: Hannu-Matti J{rvinen.



Foundations of Real-Time Software
Muoto: luentoja.
Aika: viikolla 41/1992.
Paikka: TTKK/ohjelmistotekniikka (Hermitec).
Opettaja: prof. Leo Mtus, Tallinnan teknillinen korkeakoulu.
Ov:t ja tuntim{{r{t: toistaiseksi avoin, tunteja ehk{ 8.



Petriverkot
Muoto: luentoja ja harjoituksia.
Aika: ke 15-17.
Paikka: TTKK/ohjelmistotekniikka (Hermitec).
Opettaja: Antti Valmari.
Ov:t ja tuntim{{r{t: 2 tuntia viikossa, ov-m{{r{ p{{tet{{n my|hemmin.

Kurssilla esitell{{n t{rkeimm{t Petriverkkoluokat, niiden
tavallisimmat analyysimenetelm{t sek{ t{rkeimm{t teoreettiset
tulokset. K{sitelt{v{t verkkoluokat ovat "tavalliset" eli
paikka/transitioverkot, alkeisverkot sek{ v{ritetyt verkot. Niiden
t{rkeimm{t anayysimenetelm{t ovat saavutettavuusanalyysi,
peitt{vyysgraafin muodostaminen ja invarianttimenetelm{.
Teoreettisell{ puolella k{sitell{{n erityisesti erilaisia
Petriverkkojen kaytt{ytymisilmi|it{, paikka/transitioverkkoihin
liittyvi{ kompleksisuustuloksia sek{ "aidosti rinnakaisia"
suoritusmalleja (semantiikkoja). Kurssi ei edellyt{ erityisi{ esitietoja.



-- 
Tero Ahtee * tensu@cs.tut.fi  *  Tampere  *  Finland  *  Europe 
Login ergo sum.   <>   Workload is not killing - it is challenging.
COMMERCIAL : Why should you pay less for a better computer - buy IBM !

-- 
Xref: sparky sfnet.tiede.tietotekniikka.tohtorix:23 comp.groupware:744 comp.multimedia:2596 comp.human-factors:2066 comp.cog-eng:294