Parental and Successor Liability in EU Competition Law Infringements

Under EU competition law, parent companies may be held jointly and severally liable for the competition law infringements committed by their subsidiaries. The possibility of holding parent companies liable demonstrates a significant exception from the idea of separate legal entities. However, it is not the only deviation developed under EU competition law. In cases, where the legal entity responsible for the anti-competitive conduct has changed its form, liability can be attributed to the new operator, in particular, to its successor. The principles of legal certainty and legitimate expectations are issues that surround the doctrines of parental and successor liability. The aim of this thesis is to present a comprehensive comparative analysis of the parental and successor liability doctrines and to clarify the conditions under which it is possible to attribute liability for the infringements of EU competition law. The main purpose is therefore to demonstrate the problems related to the allocation of liability and to discuss whether these liability principles, established to assure the effective enforcement of the EU competition rules, are good solutions. The research methods used in this thesis are the legal dogmatic approach and the comparative law approach. The former enables the possibility of using the case law and legislation as a framework in which the difficulties concerning the application of parental and successor liability can be discussed while the latter ensures the comparison of the characteristics and judgments. The doctrines of parental and successor liability are both well established, but the application practice has caused several difficulties. These problems derive from, inter alia, the broadness and disjointed developed of the doctrines. There has been much recent case law dealing with these issues and having the potential to open up a considerable risk and to allocate strict liability for parent and successor companies.

Using time and stochastic models for software reliability forecasting and analysis

Tämä työ luo katsauksen ajallisiin ja stokastisiin ohjelmien luotettavuus malleihin sekä tutkii muutamia malleja käytännössä. Työn teoriaosuus sisältää ohjelmien luotettavuuden kuvauksessa ja arvioinnissa käytetyt keskeiset määritelmät ja metriikan sekä varsinaiset mallien kuvaukset. Työssä esitellään kaksi ohjelmien luotettavuusryhmää. Ensimmäinen ryhmä ovat riskiin perustuvat mallit. Toinen ryhmä käsittää virheiden ”kylvöön” ja merkitsevyyteen perustuvat mallit. Työn empiirinen osa sisältää kokeiden kuvaukset ja tulokset. Kokeet suoritettiin käyttämällä kolmea ensimmäiseen ryhmään kuuluvaa mallia: Jelinski-Moranda mallia, ensimmäistä geometrista mallia sekä yksinkertaista eksponenttimallia. Kokeiden tarkoituksena oli tutkia, kuinka syötetyn datan distribuutio vaikuttaa mallien toimivuuteen sekä kuinka herkkiä mallit ovat syötetyn datan määrän muutoksille. Jelinski-Moranda malli osoittautui herkimmäksi distribuutiolle konvergaatio-ongelmien vuoksi, ensimmäinen geometrinen malli herkimmäksi datan määrän muutoksille.

Software Security Design and Testing

Elektroninen kaupankäynti ja pankkipalvelut ovat herättäneet toiminnan jatkuvuuden kannalta erittäin kriittisen kysymyksen siitä, kuinka näitä palveluja pystytään suojaamaan järjestäytynyttä rikollisuutta ja erilaisia hyväksikäyttöjä vastaan.

Software testing design and implementation in a small software company

Monet ohjelmistoyritykset ovat alkaneet kiinnittää yhä enemmän huomiota ohjelmistotuotteidensa laatuun. Tämä on johtanut siihen, että useimmat niistä ovat valinneet ohjelmistotestauksen välineeksi, jolla tätä laatua voidaan parantaa. Testausta ei pidä rajoittaa ainoastaan ohjelmistotuotteeseen itseensä, vaan sen tulisi kattaa koko ohjelmiston kehitysprosessi. Validaatiotestauksessa keskitytään varmistamaan, että lopputuote täyttää sille asetetut vaatimukset, kun taas verifikaatiotestausta käytetään ennaltaehkäisevänä testauksena, jolla pyritään poistamaan virheitä jo ennenkuin ne pääsevät lähdekoodiin asti. Työ, johon tämä diplomityö perustuu, tehtiin alkukevään ja kesän aikana vuonna 2003 Necsom Oy:n toimeksiannosta. Necsom on pieni suomalainen ohjelmistoyritys, jonka tutkimus- ja kehitysyksikkö toimii Lappeenrannassa.Tässä diplomityössä tutustutaan aluksi ohjelmistotestaukseen sekä eri tapoihin sen organisoimiseksi. Tämän lisäksi annetaan yleisiä ohjeita testisuunnitelmien ja testaustapausten tekoon, joita onnistunut ja tehokas testaus edellyttää. Kun tämä teoria on käyty läpi, esitetään esimerkkinä kuinka sisäinen ohjelmistotestaus toteutettiin Necsomilla. Lopuksi esitetään johtopäätökset, joihin päädyttiin käytännön testausprosessin seuraamisen jälkeen ja annetaan jatkotoimenpide-ehdotuksia.

The history of Lapland : wherein are shewed the original manners, habits, marriages, conjurations, &c. of that people : written by John Scheffer, professor of law and rhetoric at Upsal in Sweden.

Added engraved title page: The history of Lapland.

A Case Study of Agile Software Engineering Methods and Practices in the MeeGo Harmattan Open Source and Product Context

The aim of this master’s thesis is to study how Agile method (Scrum) and open source software are utilized to produce software for a flagship product in a complex production environment. The empirical case and the used artefacts are taken from the Nokia MeeGo N9 product program, and from the related software program, called as the Harmattan. The single research case is analysed by using a qualitative method. The Grounded Theory principles are utilized, first, to find out all the related concepts from artefacts. Second, these concepts are analysed, and finally categorized to a core category and six supported categories. The result is formulated as the operation of software practices conceivable in circumstances, where the accountable software development teams and related context accepts a open source software nature as a part of business vision and the whole organization supports the Agile methods.

Opportunistisen sopimusrikkomuksen ongelmasta, erityisesti Suomen vahingonkorvaus- ja rikoslainsäädännön näkökulmasta tarkasteltuna. Law and Economics -näkökulma.

Tämä pro gradu -tutkielma käsittelee opportunistisen sopimusrikkomuksen ongelmaa erityisesti Suomen vahingonkorvaus- ja rikoslainsäädännön näkökulmasta tarkasteltuna. Tutkielman lähestymistapa on oikeustaloustieteellinen (engl. Law and Economics). Opportunistisella sopimusrikkomuksella tarkoitetaan toimintaa, jossa sopimusosapuoli rikkoo sopimuksen tarkoituksellisesti, pyrkimyksenään tällä toiminnalla saavuttaa enemmän hyötyä kuin sopimuksessa pysymällä. Opportunistinen sopimusrikkomus on mahdollista toteuttaa tilanteessa, jossa sopimusasetelma itsessään antaa mahdollisuuden enemmän hyödyn saavuttamiseen rikkomus toteuttamalla kuin sopimus asianmukaisesti täyttämällä. Suomalaisessa vahingonkorvausjärjestelmässä sovelletaan sopimusrikkomusten osalla positiivisen sopimusedun mukaista vahingonkorvausta, joka hyvittää rikotulle osapuolelle sopimussuhteeseen ryhtymisestä syntyneet kustannukset sekä sopimusrikkomuksen johdosta saamatta jääneen tuoton. Positiivisen sopimusedun soveltaminen ei kuitenkaan ole opportunistisen sopimusrikkomuksen ehkäisemiseksi riittävää, sillä opportunistisesti toimiva sopimusosapuoli voi jäädä rikkomuksensa johdosta voitolle vielä sen jälkeenkin, kun kärsineelle osapuolelle on jo positiivista sopimusetua noudattaen korvattu sopimussuhteessa syntyneet kustannukset sekä rikkomuksen johdosta saamatta jäänyt tuotto. Keskeinen ongelma koskien opportunististen sopimusrikkomustilanteiden syntyä onkin juuri vallitsevan sääntelyn liiallinen keskittyminen rikotun osapuolen kärsimän vahingon kompensoimiseen, ei rikkomustilanteiden synnyn ennaltaehkäisemiseen. Suomen vahingonkorvausjärjestelmää tulisi kehittää suuntaan, jossa järjestelmä paremmin ennaltaehkäisisi opportunististen sopimusrikkomustilanteiden syntyä. Common law -oikeusjärjestelmässä käytössä olevan disgorgement principle -suuntaisen ajattelun, jossa korvauksen perustana toimisi rikkomuksella saatu hyöty kärsityn vahingon sijaan, omaksuminen olisi yksi mahdollinen kehityskulku. Olennaista olisi kuitenkin se, että järjestelmää kehitettäisiin suuntaan, jossa rikkomus ei enää voisi tulla rikkojalle kannattavaksi. Opportunistisen toiminnan kannustimet tulisi lainsäädäntöä tarkistamalla poistaa. Tällä olisi sekä sopimusinstituutiota turvaavaa että vaihdantaa edistävää vaikutusta.

Building Successful, Open Repository Software Ecosystems: Technology and Community

Panel at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Software development methods and quality assurance: Special focus on South Korea

The purpose of this study was to explore software development methods and quality assurance practices used by South Korean software industry. Empirical data was collected by conducting a survey that focused on three main parts: software life cycle models and methods, software quality assurance including quality standards, the strengths and weaknesses of South Korean software industry. The results of the completed survey showed that the use of agile methods is slightly surpassing the use of traditional software development methods. The survey also revealed an interesting result that almost half of the South Korean companies do not use any software quality assurance plan in their projects. For the state of South Korean software industry large number of the respondents thought that despite of the weakness, the status of software development in South Korea will improve in the future.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

Is All Fair in Law and War? The Ambiguous Principle of Proportionality of Collateral Damage and the CIA Drone Attacks in Pakistan

Tutkielma käsittelee Yhdysvaltain CIAn miehittämättömiä lennokki-iskuja Pakistanissa kansainvälisen humanitaarisen oikeuden suhteellisuusperiaatteen näkökulmasta. Suhteellisuusperiaatteen mukaan aseellisista iskuista saatavan sotilaallisen hyödyn tulee olla suhteellinen verrattuna siviileille aiheutuvaan haittaan. CIAn iskuja Pakistanissa on kritisoitu, että ne eivät täytä suhteellisuusperiaatteen asettamia vaatimuksia. Tutkielmassa perehdytään ensinnäkin selvittämään ne velvollisuudet, jotka suhteellisuusperiaate asettaa hyökkääjille. Sen jälkeen CIAn lennokki-iskuja tutkitaan näiden velvollisuuksien valossa. Tutkielmassa pyritään selvittämään antaako suhteellisuusperiaatteen luomat oikeudelliset velvollisuudet riittävää suojaa Pakistanin siviileille lennokki-iskujen tuhoja vastaan. Lisäksi pyritään selvittämään, onko lennokki-iskuissa viitteitä suhteellisuusperiaatteen vastaisista iskuista. Tutkimusmenetelmänä käytetään positivistista lainopin metodia, jonka avulla selvitetään voimassa olevaa kansainvälisen humanitaarisen tapaoikeuden suhteellisuusperiaatteen sisältöä. Oikeudellisina lähteinä käytetään pääasiassa humanitaarista tapaoikeutta, mutta tulkinnallisena apuna myös kansainvälisiä sopimuksia sekä oikeuden päätöksiä. Lisäksi oikeudellinen kirjallisuus on tutkimuksessa tärkeässä asemassa. Tutkimuksessa päädytään siihen, että suhteellisuusperiaatteen asettamat velvollisuudet hyökkääjälle ovat niin epämääräiset, että ne eivät anna riittävää suojaa siviileille. Ensinnäkin hyökkääjä voi määrittää sotilaallisen hyödyn omien päämääriensä mukaisesti suhteellisuusanalyysissä. Lisäksi kynnys sille, mikä katsotaan suhteellisuusperiaatteen vastaisuudeksi on hyvin epämääräinen ja korkea. Tämän vuoksi varotoimenpiteet iskujen suunnittelussa ovat hyvin tärkeässä asemassa myös suhteellisuusanalyysissä. Kuitenkin jos hyökkääjä edes jossain määrin osoittaa, että on tehnyt iskut hyvässä uskossa niiden laillisuudesta, iskujen katsotaan yleensä olevan suhteellisuusperiaatteen mukaisia. CIAn lennokki-iskuissa Pakistanissa on viitteitä suhteellisuusperiaatteen vastaisuudesta erityisesti ”tunnusmerkki-iskujen” osalta. ”Tunnusmerkki-iskut” johtavat yleensä vain vähäiseen sotilaalliseen hyötyyn aiheuttaen silti siviiliuhreja. Lisäksi erityisesti tunnusmerkki-iskuissa edellytetään korkeampaa tarkkuutta varotoimenpiteissä. Kuitenkin useat siviiliuhrit voivat merkitä sitä, että näitä varotoimenpiteitä ei ole noudatettu iskuissa.

The new geopolitics : the world system and Northern Europe seen from a modern geopolitical perspective

Finnish Defence Studies is published under the auspices of the National Defence College, and the contributions reflect the fields of research and teaching of the College. Finnish Defence Studies will occasionally feature documentation on Finnish Security Policy. Views expressed are those of the authors and do not necessarily imply endorsement by the National Defence College.