Eliminating Software Failures - A Literature Survey

Software faults are expensive and cause serious damage, particularly if discovered late or not at all. Some software faults tend to be hidden. One goal of the thesis is to figure out the status quo in the field of software fault elimination since there are no recent surveys of the whole area. Basis for a structural framework is proposed for this unstructured field, paying attention to compatibility and how to find studies. Bug elimination means are surveyed, including bug knowhow, defect prevention and prediction, analysis, testing, and fault tolerance. The most common research issues for each area are identified and discussed, along with issues that do not get enough attention. Recommendations are presented for software developers, researchers, and teachers. Only the main lines of research are figured out. The main emphasis is on technical aspects. The survey was done by performing searches in IEEE, ACM, Elsevier, and Inspect databases. In addition, a systematic search was done for a few well-known related journals from recent time intervals. Some other journals, some conference proceedings and a few books, reports, and Internet articles have been investigated, too. The following problems were found and solutions for them discussed. Quality assurance is testing only is a common misunderstanding, and many checks are done and some methods applied only in the late testing phase. Many types of static review are almost forgotten even though they reveal faults that are hard to be detected by other means. Other forgotten areas are knowledge of bugs, knowing continuously repeated bugs, and lightweight means to increase reliability. Compatibility between studies is not always good, which also makes documents harder to understand. Some means, methods, and problems are considered method- or domain-specific when they are not. The field lacks cross-field research.

Lakeus 1-5

Digitoitu 15. 8. 2008.

Hoffmannin kertomukset

Esityskieli: suomi.

Sinfonia g-molli

Digitoitu 15. 7. 2008.

Jazz : Sibelius-Akatemian Jazzstudio

Digitoitu 15. 10 2008.

[Don Juan]

Digitoitu 8. 9. 2008.

Merihistoria

Suomen Merimuseon merihistorian kokoelma on osa Tietokeskus Vellamon lainattavaa kokoelmaa, joka sijaitsee Merikeskus Vellamossa Kotkassa. Kokoelma koostuu runsaasta 6000 niteestä monografioita ja n. 100 jatkuvasta julkaisusta (tiedot maaliskuulta 2009). Merihistorian kokoelmaa kartutetaan erityisesti Suomen Merimuseon toimintaa tukevilta aloilta. Kokoelmaa on kartutettu pitkällä aikavälillä merenkulun ja sen historian eri aloilta. Suurimpia aihealueita ovat merenkulun historia, laivanrakennus, sotahistoria, vesiurheilu, saaristo- ja sisävesietnologia, merenkulkuoppi ja kauppamerenkulku. Kokoelmaan kuuluu myös merenkulun hallintoa ja merioikeutta, luotsi- ja majakkalaitosta ja satamia käsittelevää kirjallisuutta sekä purjehdusselostuksia ja alusten historiikkeja. Myös meriaiheista kaunokirjallisuutta, paikallishistorioita, yritysten ja yhdistysten historiikkeja sekä alan hakuteoksia ja kausijulkaisuja on runsaasti. Rariteetteja on huomattava määrä (n. 330 nidettä). Kokoelma on monikielistä. Suurimmat kieliryhmät ovat: englanti 28 %, suomi 27 %, ruotsi 25 % ja saksa 8 %. Muunkielistä aineistoa on 12 %. Kokoelma on ajallisesti laaja: uusinta, 1990-2000 –luvuilla julkaistua aineistoa on n. 25 %, mutta myös jo ennen 1950-lukua julkaistua kirjallisuutta on yli 30 %. Merihistorian kokoelma on osa Museoviraston kirjaston kokoelmia, mutta se on luetteloitu KYMI-tietokantaan kokoelman muutettua Kymenlaakson ammattikorkeakoulun merikirjaston ja Kymenlaakson museon käsikirjaston kanssa Tietokeskus Vellamoon. Kokoelman kirjoja ja lehtiä saa lainaan sekä Tietokeskus Vellamosta Kotkasta että Museoviraston kirjaston kautta Helsingistä.

De responso Elisaei, 2. Regum VIII: v. 10

Invocatio: Q.F.F.Q.S.

De natura salium simplicium

Dedicatio: Daniel Lithander.

De orthoëpia & orthographia linguae fennicae

Dedicatio: Jac. Tengström.

De nomine sefer

Arkit: 1 arkintunnukseton lehti, A4 B2.

De voluntate perficienda

Invocatio: Q.B.V.

Examen fontium historiae Svecanae antiquae

Invocatio: D.D.

De Ganymede, vivente, in Olympum surrepto

Arkit: 1 arkintunnukseton lehti, A4 B2.

De centro oscillationis

Painovuosi nimekkeestä.