haku: @keyword vaatimusten määrittely / yhteensä: 11
viite: 11 / 11
« edellinen | seuraava »
Tekijä: | Huttunen, Ari |
Työn nimi: | Statistical Usage Testing Based on a Formal System Specification |
Formaaliin määrittelykieleen perustuva tilastollinen testaus | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 1996 |
Sivut: | ix + 61 s. + liitt. 6 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
Oppiaine: | Tietojenkäsittelyoppi (Tik-76) |
Valvoja: | Saikkonen, Heikki |
Ohjaaja: | Sjöblom, Johan |
OEVS: | Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa. Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/ Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.
Kirjautuminen asiakaskoneille
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
Sijainti: | P1 Ark T80 | Arkisto |
Avainsanat: | formal specification requirements engineering statistical usage testing usage model reachability graph generation formaali määrittely vaatimusten määrittely tilastollinen käytön testaus käyttömalli saavutettavuusgraafin luominen |
ED: | 1996-09-25 |
INSSI tietueen numero: 11479
+ lisää koriin
« edellinen | seuraava »
INSSI