Tekijä: | Niemi, Jari |
Työn nimi: | Emerging markets for software testing tools based on formal methods and modelling |
Formaaleihin menetelmiin ja mallinnukseen perustuvien ohjelmiston testaustyökalujen kasvavat markkinat | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 2004 |
Sivut: | 69 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
Oppiaine: | Telecommunications management (T-124) |
Valvoja: | Smeds, Riitta |
Ohjaaja: | Huima, Antti |
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 Aalto | Arkisto |
Avainsanat: | emerging market market analysis software testing tool formal methods modelling test automation kehittyvä markkina markkina-analyysi ohjelmiston testaustyökalu formaalit menetelmät mallinnus testiautomaatio |
ED: | 2005-01-24 |
INSSI tietueen numero: 26686
+ lisää koriin
INSSI