Software Development Process Modeling. Developers Perspective to Contemporary Modeling Techniques

Formal software development processes and well-defined development methodologies are nowadays seen as the definite way to produce high-quality software within time-limits and budgets. The variety of such high-level methodologies is huge ranging from rigorous process frameworks like CMMI and RUP to more lightweight agile methodologies. The need for managing this variety and the fact that practically every software development organization has its own unique set of development processes and methods have created a profession of software process engineers. Different kinds of informal and formal software process modeling languages are essential tools for process engineers. These are used to define processes in a way which allows easy management of processes, for example process dissemination, process tailoring and process enactment. The process modeling languages are usually used as a tool for process engineering where the main focus is on the processes themselves. This dissertation has a different emphasis. The dissertation analyses modern software development process modeling from the software developers’ point of view. The goal of the dissertation is to investigate whether the software process modeling and the software process models aid software developers in their day-to-day work and what are the main mechanisms for this. The focus of the work is on the Software Process Engineering Metamodel (SPEM) framework which is currently one of the most influential process modeling notations in software engineering. The research theme is elaborated through six scientific articles which represent the dissertation research done with process modeling during an approximately five year period. The research follows the classical engineering research discipline where the current situation is analyzed, a potentially better solution is developed and finally its implications are analyzed. The research applies a variety of different research techniques ranging from literature surveys to qualitative studies done amongst software practitioners. The key finding of the dissertation is that software process modeling notations and techniques are usually developed in process engineering terms. As a consequence the connection between the process models and actual development work is loose. In addition, the modeling standards like SPEM are partially incomplete when it comes to pragmatic process modeling needs, like light-weight modeling and combining pre-defined process components. This leads to a situation, where the full potential of process modeling techniques for aiding the daily development activities can not be achieved. Despite these difficulties the dissertation shows that it is possible to use modeling standards like SPEM to aid software developers in their work. The dissertation presents a light-weight modeling technique, which software development teams can use to quickly analyze their work practices in a more objective manner. The dissertation also shows how process modeling can be used to more easily compare different software development situations and to analyze their differences in a systematic way. Models also help to share this knowledge with others. A qualitative study done amongst Finnish software practitioners verifies the conclusions of other studies in the dissertation. Although processes and development methodologies are seen as an essential part of software development, the process modeling techniques are rarely used during the daily development work. However, the potential of these techniques intrigues the practitioners. As a conclusion the dissertation shows that process modeling techniques, most commonly used as tools for process engineers, can also be used as tools for organizing the daily software development work. This work presents theoretical solutions for bringing the process modeling closer to the ground-level software development activities. These theories are proven feasible by presenting several case studies where the modeling techniques are used e.g. to find differences in the work methods of the members of a software team and to share the process knowledge to a wider audience.

Arvostetut tuotantotyön kompetenssit - esimiesnäkökulma teollisuusyrityksen rekrytointikäytänteisiin

The main objective of this study is to clarify which competencies are most valued in production work and by which recruitment methods employees with these competencies can best be found. The theoretical part of this study focuses on competencies as the basis for recruitment, and the recruitment process itself. The empirical part of the study consists of a combination of interviews of the foremen from Fazer Bakeries & Confectionery. The interviews were conducted and analyzed using a qualitative research method. The results indicate that the foremen participating in the recruitment process mainly seek after the following characteristics in potential employees: sense of responsibility, co-operative skills and briskness. Prior work experience and appropriate studies are the most valued task related skills. For foremen making the final selections personal characteristics are more important factors than industry-specific studies or work experience. The research shows that the long-term goals of the recruitment process need to be taken into account also in the process of recruiting employees for seasonal jobs. The best skilled professionals in the industry have in most cases started from the ground level and worked their way up while at the same time gathered valuable experience. The research reveals that correct recruitment processes and better prior knowledge given to the candidates help them form a realistic picture of the job they are applying for and to perceive possibilities for later career opportunities within the company. Professional recruitment also helps the company in creating a positive corporate image.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Benefits of gas driven ground source heat pump systems

This thesis studies energy efficiencies and technical properties of gas driven ground source heat pumps and pump systems. The research focuses on two technologies: gas engine driven compressor heat pump and thermally driven gas absorption heat pump. System consist of a gas driven compressor or absorption ground source heat pump and a gas condensing boiler, which covers peak load. The reference system is a standard electrically powered compressor heat pump with electric heating elements for peak load. The systems are compared through primary energy ratios. Coefficient of performances of different heat pump technologies are also compared. At heat pump level, gas driven heat pumps are having lower coefficient of performances as compared with corresponding electric driven heat pump. However, gas heat pumps are competitive when primary energy ratios, where electricity production losses are counted in, are compared. Technically, gas heat pumps can potentially achieve a slightly higher temperatures with greater total energy efficiency as compared to the electric driven heat pump. The primary energy ratios of gas heat pump systems in relation to EHP-system improves when the share of peak load increases. Electric heat pump system's overall energy efficiency is heavily dependent on the electricity production efficiency. Economy as well as CO2-emissions were not examined in this thesis, which however, would be good topics for further study.

Changes in understorey biomass and species composition after water level drawdown on pine mires in southern Finland

Tiivistelmä: Vedenpinnan alenemisen vaikutus sararämeen pintakasvillisuuden biomassaan ja lajistoon

Effect of feeding level during autumn and winter on breeding weight and result in single and pair-housed minks

Selostus: Syys- ja talviruokinnan vaikutus yksin ja pareittain kasvatettujen minkkien lisääntymistulokseen

Impact of precipitation on the water table level of different ombrotrophic raised bog complexes, central Estonia

Sadannan vaikutus vedenpinnan tasoon kohosuolla