Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. The approach is based on conventional inspection in the style of Fagan, but extended with elements of formal verification in the style of Hoare. In Hoare’s approach a program is annotated with assertions. Assertions express conditions on program variables and are used to specify the intended behavior of the program. Hoare introduced a logic for formally proving the correctness of a program with respect to the assertions. Our main contribution concerns the predicates used to express assertions. In contrast to Hoare, we allow an incomplete axiomatization of those predicates beyond the point where a formal proof of the correctness of the program may no longer be possible. In our approach predicates may be defined in a completely informal manner (e.g. using natural language). Our hypothesis is, that relaxing the requirements on formal rigor makes it easier for the average developer to express and reason about software artifacts while still allowing the automatic generation of relevant, focused questions that help in finding defects. The questions are addressed in the inspection, thus filling the somewhat loosely defined steps of conventional inspection with a very concrete content. As a side-effect our approach facilitates a novel systematic, asynchronous inspection process based on collecting and assessing the answers to the questions. We have adapted the method to the inspection of code as well as the inspection of early designs. More precisely, we developed prototype tools for the inspection of programs written in a subset of Java and early designs expressed in a subset of UML. We claim that the method can be adapted to other notations and (intermediate) steps of the software process. Technically, our approach is working and has successfully been applied to small but non-trivial code (up to 1000 lines) and designs (up to five objects and ten messages). An in-depth industrial evaluation requires an investment of substantial resources over many years and has not been conducted. Despite this lack of extensive assessment, our experience shows that our approach indeed makes it easier to express and reason about assertions at a high level of abstraction.

In the competitive environment of today’s global markets, the demands of customers are increasing. They expect to get the best product at the lowest price with immediate availability. Logistics, including transportation, inventory maintenance, order processing, purchasing, warehousing, materials handling, packaging, customer service standards, and product scheduling must continuously be developed to meet the challenges of the market. The globalization, with longer distances to customers and suppliers, and the progressing trend of outsourcing are examples of why the importance of logistics has increased over the last few years. A considerable part of the final product cost is frozen during the early product development phases. In the early phases of the product development process, the cost of making design changes is low compared to making changes later in the product development process. The product development decisions made in the early phases of the product development process have considerable impact on future manufacturing and logistics activities as well. The objective of this research project is to develop a framework supporting the collaboration between the logistics- and the product development process. To do this, it has been essential to analyze which parameters influence the efficiency of the logistics process and the interface between the logistics- and the product development process. Also, to investigate how the logistics department can be integrated earlier in the product development process has been of interest. This has been done through both a theoretical review and also through a number of case studies. The result and conclusion of this project is a framework that gives support for what to focus on, how to collaborate, in which phases collaboration is meaningful, and which persons need to be involved in the different product development phases. Working as the framework suggests will, hopefully, give closer collaboration between the logistics- and the product development process than without this supportive framework. The expectation of the collaboration is an earlier integration of the logistics department in the product development process and through this influence and increase the efficiency of the logistics process.

Microelectromechanical systems (MEMS) are miniaturized devices with high functionality. In recent years, MEMS products have become increasingly dominant in every aspect of the commercial market place. As the MEMS technology is in its infant stage and has several unique features compared to macro-scale products, it is faced with several challenges. One of them is that design and fabrication knowledge is very intrigue and thus very difficult to be accessible. An effective computer support to the MEMS product development is thus very important. This thesis study undertakes a thorough investigation into the MEMS product development process and its computer support. Specifically, the study examines the state-of-the-art in computer aided design systems in light of the support of product functionality. It is shown that MEMS product development involves high degree of uncertainty, which calls for an unconventional computer support. At this point, this study proposes an approach to construct a knowledge base in a fairly flexible and real-time manner. This approach is based on the extended function-behavior-structure framework and the template technique proposed in this thesis. The other finding is that the MEMS product development resembles the one-of-a-kind product (OKP) development. Therefore software tools for the OKP product development process can be applied to the MEMS product development process. These tools are examined, and further extensions upon them are proposed. Throughout the thesis, a microdispensing system is used as an example for illustration of concepts described in this thesis.

Microelectromechanical systems (MEMS) are miniaturized devices with high functionality. In recent years, MEMS products have become increasingly dominant in every aspect of the commercial market place. As the MEMS technology is in its infant stage and has several unique features compared to macro-scale products, it is faced with several challenges. One of them is that design and fabrication knowledge is very intrigue and thus very difficult to be accessible. An effective computer support to the MEMS product development is thus very important. This thesis study undertakes a thorough investigation into the MEMS product development process and its computer support. Specifically, the study examines the state-of-the-art in computer aided design systems in light of the support of product functionality. It is shown that MEMS product development involves high degree of uncertainty, which calls for an unconventional computer support. At this point, this study proposes an approach to construct a knowledge base in a fairly flexible and real-time manner. This approach is based on the extended function-behavior-structure framework and the template technique proposed in this thesis. The other finding is that the MEMS product development resembles the one-of-a-kind product (OKP) development. Therefore software tools for the OKP product development process can be applied to the MEMS product development process. These tools are examined, and further extensions upon them are proposed. Throughout the thesis, a microdispensing system is used as an example for illustration of concepts described in this thesis.

The Multidisciplinary Design Optimization (MDO) system is needed to reduce the developing time and production cost in most industries. The MDO is the new technology for optimization design, and considers solid mechanics, dynamics, kinematics, vibration/noise control, and fluid mechanics, simultaneously. Higher product quality, less developing time and lower manufacturing cost will be achieved through a balanced and organic MDO method. In this paper, numerical stress analysis, optimization method, and experimental stress analysis will be conducted to accomplish: 1) production cost; 2) developing time; 3) quality improvement; and 4) service-rate drop. First, the coupled analysis using the finite element method will be performed to obtain the accurate data. Second, OPTISTRUCT, which is commercial optimization software, will be used for shape and size optimization analysis. Third, an experimental stress analysis system will be established to assist the optimization design and numerical analysis.

Right-of-Way (R/W) acquisition is a critical function in the project development process (PDP). Improving this acquisition process requires both a good collaboration among the functions of the PDP and a good understanding of the factors affecting R/W acquisition. This research has two phases. Phase I aims at developing a systematic method for risk and scope management using scope elements that cover the work of all functions of the entire PDP. Phase II aims at studying the inherent factors that might have significant impact on the R/W acquisition schedule. As a result, the Advance Planning Risk Analysis (APRA) was successfully developed. It contains 59 scope elements with descriptions and a mechanism to assess the project’s level of definition. The APRA can provide a platform for project participants to cooperate and coordinate project activities and responsibilities. The method provides a high level approach to improving the effective of the PDP and its functions, including R/W acquisition. In studying the R/W acquisition inherent factors in phase II, the research was able to draw conclusions on the impact of the identified inherent factors on R/W acquisition durations based on statistical analyses. The research was also successful in developing a statistically significant model for predicting the total R/W acquisition duration, from R/W Release to Possession, using inherent factors. This research provides a number of significant contributions toward the better understanding and improvement of the PDP process in general and the R/W acquisition process in particular. Further research in this area and direction was recommended and believed to be promising, productive, and highly valuable. / text

The importance of Information Technologies is growing continually. Small and Medium-sized Enterprises (SME) form the large part of Economy of each country. As a whole SME is the biggest client of Information and Communication Technologies in spite the fact they don't carry out big projects as corporate clients. Currently SME is the fastest growing segment of IT market. It contains the biggest number of companies which make IT development and buying decisions by themselves. For SME's, it is not always effective to built their information systems on the base of large standart packages. This Master Thesis demonstrates how to analyze, design and build accounting information system for small enterprise Lumen, producing the stomatologic equipment. The system is implemented using Access 2003 Database Management System and successfully used by Lumen personnel.

Start-ups face several issues and challenges in the course of their development as a compa-ny. Open innovation has been discussed in research for more than a decade as a concept, which can bring benefits to a company. Even though most of the research has been focus-ing on large enterprises, some researchers discuss also benefits for small companies like start-ups. Nevertheless, it can be observed that some start-ups decide to adopt the opposite of open innovation, namely closed innovation, through not sharing internal knowledge to the outside world. Hence, start-ups perceive the benefits of open innovation differently and decide accordingly whether to adopt open innovation or not. The purpose of this study is to explore if start-ups decide to actually do the former and what reasons they have to do so. Therefore, this study will further discover at what point in the development of their start-up and with whom they adopt open innovation. As an attractive industry for start-ups, the mobile services industry is selected as a scope for this study. Furthermore, Sweden is selected as the country of study, due to its reputation as one of the most innova-tive countries in the world. A qualitative study has been conducted using in-depth interviews with founders and co-founders of start-ups to retrieve narrative stories about their start-up’s development from the first day of an idea to a scalable business, and their experiences and motivations in re-gards to the application of open innovation practices. The analysis of this study detects pat-terns among the interviewed start-ups and concludes that start-ups in the mobile services industry in Sweden adopt open innovation in each phase of their development process. Furthermore, these patterns include several reasons why the start-ups applied open innova-tion practices and with whom, which are changing over the course of their development.

This licentiate thesis deals with effective simulation of multibody dynamic systems in the product development process. Previous work to make simulation more effective has concentrated on developing faster calculation methods. Instead, this approach is to make the process of multibody dynamics simulation more effective by structuring of products, simulation models and their usage. Efforts have been made to clarify how computer tools are used in product development in industry today. Insight into the two domains of product development and multibody dynamics is given. These domains have traditionally been separated but the introduction of concurrent engineering and faster computers puts new demands on the integration of computer support and analysis in the development process. A proposal for performing the multibody dynamics methodology in a modular way in the product development process is given based on the performed work.

Java is a major platform for performance sensitive applications. Unit testing of functionality has already become a common practice in software devel- opment; however, the amount of projects employing performance tests is substantially lower. A comprehensive study in combination with a short sur- vey among developers is made in order to examine the current situation in open-source projects written in Java. Results show that suitable tools for measurements exist, but they are hard to use or the outputs are difficult to understand. To improve the situation in favor of performance evaluation a set of user friendly tools for collecting, comparing and visualizing the data is designed, implemented, and verified on a sample Java project. 1