Innovación y Aprendizaje: un nuevo modelo para la formación universitaria: ¿Por qué y para qué? = Innovation and Learning: a New Model for University Education: Why and for What?

The legislative reforms in university matters driven in recent years, beyond the provoked controversies, offer to universities the possibility to develop a new model in line with the European environment, focusing on quality aims and adapting to the socioeconomic current challenges. A new educational model centered on the student, on the formation of specific and transverse competitions, on the improvement of the employability and the access to the labor market, on the attraction and fixation of talent, is an indispensable condition for the effective social mobility and for the homogeneous development of a more responsible and sustainable socioeconomic and productive model

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.

An impact evaluation of the Ontario ban on smoking in schools and on school property : does the ban on smoking influence high school students' intentions to smoke cigarettes?

The Ontario Tobacco Control Act of 1994 imposed a total ban on smoking in schools, and on school property for every school in the province. The imposition of this policy created problems for school administrators. For instance, students who were smoking on walkways and properties adjacent to school boundaries, clashed with neighbouring property owners who were angry about the resulting damage and disruption. The enforcement of this policy consumes valuable resources at each school; therefore, knowledge about the impact of the policy is important. If effective, this policy has the potential to improve the health of students over their lifetime, by preventing or delaying smoking behaviour. Alternatively, an ineffective policy will continue to create administrative problems for the school and serve no legitimate purpose. Therefore, knowledge about the impact of the smoking ban policy on students' smoking intentions assists policy makers and school administrators in their understanding of the policy's impact within the schools. This research provided an impact evaluation of the ban on smoking in schools and on school property in Ontario. A total of 2069 students, from five high schools, in the Niagara Region, provided complete responses to a survey, designed to test whether smoking intentions were affected by the imposition of the policy. The study used Ajzen's theory of planned behaviour (Ajzen, 1991), specifically, the perceived behavioural control measure, to gain some understanding of students' perceptions of control over smoking imposed by the ban. The findings indicate the policy has the potential to influence students' overall smoking intentions. The ban on smoking policy was found to be a significant predictor of the smoking intentions of high school students. As well, attitude, social norms, and perceptions of control were significant predictors of smoking intentions. Exploratory findings also indicated differences between the control beliefs of students from different high schools, indicating potential differences in the enforcement of the smoking ban between schools. The findings also support the utility of the theory of planned behaviour as a methodology for evaluating the influence of punitive policies. This research study should be continued by utilizing the full theory of planned behaviour, including two phases of data collection and the measurement of actual smoking behaviour.

Corporal punishment : understanding the debate in Canada

There has been considerable debate over whether corporal punishment against children should be prohibited in Canada. Various organizations, most notably the Canadian Foundation for Children, Youth and the Law, have argued that the Canadian Government should ban the use of corporal punishment by repealing the specific section of the Canadian Criminal Code that provides parents with a legal defence to use corporal punishment against their children; this provision is outlined in Section 43 of the Criminal Code. Recently, the Canadian Foundation for Children, Youth and the Law challenged the constitutionality of Section 43 before the Supreme Court of Canada. The organization claimed Section 43 is unconstitutional. It violates children's Charter rights, such as the right to security of a person (Section 7), the right to be protected from cruel and unusual treatment (Section 12), and denies children the same protection adults receive under the law. Both the Canadian government and the Supreme Court of Canada reject the Foundation's arguments. Examining the federal government and the judicial system's rationale for refusing to remove Section 43 of the Canadian Criminal Code discloses how the parent-child relationship is perceived. This thesis examines how the parent-child relationship is perceived by the Canadian government and the issues that arise from such a view. This examination is essential for the comprehension of why Canada's corporal punishment law was enacted and remains in effect today.

A case study of the Ottawa Valley whitewater rafting industry : standards and risks

This qualitative case study identifies and discusses the standards and risk management practices of the Ottawa Valley whitewater rafting industry and the impacts of the government enforced Special-purpose Vessels Regulations are discussed. Data collection occurred using a single case study design, which included interviews and document analysis. This study found that internal, industry, and actual standards are influenced through a variety of sources. These standards were found to affect the risk management practices of commercial whitewater rafting providers. In general, these standards promoted a high level of risk management within the Ottawa Valley rafting industry. The Special-purpose Vessels Regulations were found to be non-influential in raising the risk management standards of the Ottawa Valley whitewater rafting industry.