Many companies are fighting a continuous battle to remain competitive, and find ways to improve innovativeness. Consequently they tend to imitate successful modes of organizing, translating ideas to fit their particular contexts. This study focuses on the translation process of Open Source Software Development into a practical set of behavior patterns and work structures within Hewlett-Packard and its partners. Through this process of translation, a hybrid mode of Open Source Software Development work organization emerged, The Progressive Open Source. This instance of translation conveys a process of adopting and subsequently reconstructing a non-traditional form of work organization within the boundaries of the traditional organization. Some of the central characteristics of Open Source Software Development were adopted, reshaped, or compromised. The study argues that the Internet continues to change the way work is conducted, and it is protecting and promoting a new era of collaborative, participatory and global approach towards innovation. Openness is the hallmark of these new processes. Moreover, openness has emerged as a viable strategy for organizations. Catharina Melian is a researcher at the Stockholm School of Economics and the Centre for Media and Economic Psychology. / Diss. Stockholm : Handelshögskolan i Stockholm, 2007

Usability is one of the most important aspects of software. A multitude of methods and techniques intended to support the development of usable systems has been provided, but the impact on industrial software development has been limited. One of the reasons for this limited success is the gap between traditional academic theory generation and commercial practice. Another reason is the gap between usability engineering and established requirements engineering practice. This thesis is based on empirical research and puts a usability focus on three important aspects of requirements engineering: elicitation, specification and release planning. There are two main themes of investigation. The first is concerned with the development and introduction of a usability-oriented method for elicitation and specification of requirements, with an explicit focus on utilizing the skills of technical communicators. This longitudinal, qualitative study, performed in an industrial setting in the first half of the nineties, provides ample evidence in favor of a closer collaboration between technical communicators and system developers. It also provides support for the benefits of a task-oriented approach to requirements elicitation. The results are also reflected upon in a retrospective paper, and the experiences point in the direction of an increased focus on the specification part, in order to bridge the gap between usability engineering and established requirements management practice. The second represents a usability-oriented approach to understanding and supporting release planning in software product development. Release planning is an increasingly important part of requirements engineering, and it is complicated by intricate dependencies between requirements. A survey performed at five different companies gave an understanding of the nature and frequency of these interdependencies. This knowledge was then turned into the design and implementation of a support tool, with the purpose of provoking a deeper understanding of the release planning task. This was done through a series of cooperative evaluation sessions with release planning experts. The results indicate that, although the tool was considered useful by the experts, the initial understanding of the task was overly simplistic. As a result, a number of design implications are proposed. / On the day of the public defence the status of article VI was: Submitted.

Programmers worldwide share components and jointly develop components on a global scale in contemporary software development. An important aspect of such library-based programming is the need for technical communication with regard to libraries – library communication. As part of their work, programmers must discover, study, and learn as well as debate problems and future development. In this sense, the electronic, networked media has fundamentally changed programming by providing new mechanisms for communication and global interaction through global networks such as the Internet. Today, the baseline for library communication is hypertext documentation. Improvements in quality, efficiency, cost and frustration of the programming activity can be expected by further developments in the electronic aspects of library communication. This thesis addresses the use of the electronic networked medium in the activity of library communication and aims to discover design knowledge for communication tools and processes directed towards this particular area. A model of library communication is provided that describes interaction among programmer as webs of interrelated library communities. A discussion of electronic, networked tools and processes that match such a model is also provided. Furthermore, research results are provided from the design and industrial valuation of electronic reference documentation for the Java domain. Surprisingly, the evaluation did not support individual adaptation (personalization). Furthermore, global library communication processes have been studied in relation to open-source documentation and user-related bug handling. Open-source documentation projects are still relatively uncommon even in open-source software projects. User-related Open-source does not address the passive behavior users have towards bugs. Finally, the adaptive authoring process in electronic reference documentation is addressed and found to provide limited support for expressing the electronic, networked dimensions of authoring requiring programming skill by technical writers. Library communication is addressed here by providing engineering knowledge with regards to the construction of practical electronic, networked tools and processes in the area. Much of the work has been performed in relation to Java library communication and therefore the thesis has particular relevancefor the object-oriented programming domain. A practical contribution of the work is the DJavadoc tool that contributes to the development of reference documentation by providing adaptive Java reference documentation. / On the day of the public defence the title of article I was: Designing Electronic Library Reference Documentation.

Software is one of the core elements that drive the modern economy, with visible use in areas such as personal computing, telecommunications and banking, and background use in areas such as aircraft traffic management, nuclear power generation, and automotive control systems. Organizations that build software are unique in that they span industrial domains, and at their core of what they do is codifying human knowledge. When we talk about software organizations, we think of organizations that work in the three broad areas of shrink wrapped application software, software-intensive systems, or software services.  By shrink wrapped application software, we refer to the software that one can buy in a retail store for use on his or her computer. Software-intensive systems are part of a larger system such as air traffic management, and software services focus on making software work for other organizations. This thesis uses studies of eight software organizations to understand how these organizations are able to identify changes to their environment, and create the required capabilities to meet those changes – in other words, how these organizations gain enterprise agility. To understand enterprise agility, we ask three simple questions, namely how does the organization improve what it currently does? What does the organization do? and Who does the work that the organization chooses to do? By answering each of these questions in the context of software organizations, we identify the three mechanisms of Software Process Improvement (SPI), Creating Systems of Innovation (CSI), and Leveraging Globally Available Capabilities (LGAC). These three mechanisms are interconnected and interdependent. By creating rich descriptions of how these mechanisms are implemented in the organizations that we studied in the thesis, we are able to build confidence that these mechanisms are an accurate representation of the approaches that organizations use. In addition to identifying the mechanisms, by analyzing across the cases, we identify the four organizational enablers of stakeholder alignment, employee empowerment, group & organizational learning, and governance. Organizations can create enterprise agility by ensuring the presence of the four organizational enablers and leveraging some combination of the three mechanisms. While it is possible for the organization to create enterprise agility in the absence of these mechanisms, we believe that the agility generated is not sustainable. To survive in the tough economic conditions of today, software organizations need to be aware of, and actively manage both the enablers and the mechanisms for sustained success. This thesis is a first step in finding more effective ways to manage software organizations as a whole, rather than as a collection of individual projects. It presents a philosophy of thinking about software organizations that addresses the uniqueness of these organizations while at the same time leveraging best practices and thought leadership from the disciplines of software engineering, quality,  knowledge management, strategy, organizational theory, and stakeholder theory.

The ubiquitous nature of software demands that software is released without faults. However, software developers inadvertently introduce faults into software during development. To remove the faults in software, one of the tasks developers perform is debugging. However, debugging is a difficult, tedious, and time-consuming process. Several semi-automated techniques have been developed to reduce the burden on the developer during debugging. These techniques consist of experimental, statistical, and program-structure based techniques. Most of the debugging techniques address the part of the debugging process that relates to finding the location of the fault, which is referred to as fault localization. The current fault-localization techniques have several limitations. Some of the limitations of the techniques include (1) problems with program semantics, (2) the requirement for automated oracles, which in practice are difficult if not impossible to develop, and (3) the lack of theoretical basis for addressing the fault-localization problem. The thesis of this dissertation is that statistical causal analysis combined with program analysis is a feasible and effective approach to finding the causes of software failures. The overall goal of this research is to significantly extend the state of the art in fault localization. To extend the state-of-the-art, a novel probabilistic model that combines program-analysis information with statistical information in a principled manner is developed. The model known as the probabilistic program dependence graph (PPDG) is applied to the fault-localization problem. The insights gained from applying the PPDG to fault localization fuels the development of a novel theoretical framework for fault localization based on established causal inference methodology. The development of the framework enables current statistical fault-localization metrics to be analyzed from a causal perspective. The analysis of the metrics show that the metrics are related to each other thereby allowing the unification of the metrics. Also, the analysis of metrics from a causal perspective reveal that the current statistical techniques do not find the causes of program failures instead the techniques find the program elements most associated with failures. However, the fault-localization problem is a causal problem and statistical association does not imply causation. Several empirical studies are conducted on several software subjects and the results (1) confirm our analytical results, (2) demonstrate the efficacy of our causal technique for fault localization. The results demonstrate the research in this dissertation significantly improves on the state-of-the-art in fault localization.

In this study, we identified one of the reasons of the low correlation between functional size and development effort which is overlooking the similarity of the functions during the mapping of the functional size and development effort. We developed a methodology (SiRFuS) that is based on the idea of the reuse of the similar functions internally to provide high correlation between functional size and development effort. The method is developed for the identification of the similar functions based on the method of Santillo and Abran. Similarity percentages among the functional processes and Similarity Reflective Functional Sizes are computed to attain adjusted functional sizes. The similarity reflective functional sizes were named as Discrete Similarity Reflective Functional Size and Continuous Similarity Reflective Functional Size based on the characteristics of the adjusted functional sizes. The SiRFuS method consists of three stages: measurement of the software product with COSMIC Functional Size Measurement (FSM) method / identification of the functional similarities bases on the measurement results and calculation of the similarity reflective functional sizes. In order to facilitate the detection of similar functions, calculation of the percentage of the similarities and similarity reflective functional sizes / a software tool is developed based on the SiRFuS method. Two case studies were performed in order to identify the improvement opportunities and evaluate the applicability of the method and the tool.

The overall goal of this research is to reduce the cost of software development and improve the quality of software. Symbolic execution is a program-analysis technique that is used to address several problems that arise in developing high-quality software. Despite the fact that the symbolic execution technique is well understood, and performing symbolic execution on simple programs is straightforward, it is still not possible to apply the technique to the general class of large, real-world software. A symbolic-execution system can be effectively applied to large, real-world software if it has at least the two features: efficiency and automation. However, efficient and automatic symbolic execution of real-world programs is a lofty goal because of both theoretical and practical reasons. Theoretically, achieving this goal requires solving an intractable problem (i.e., solving constraints). Practically, achieving this goal requires overwhelming effort to implement a symbolic-execution system that can precisely and automatically symbolically execute real-world programs. This research makes three major contributions. 1. Three new techniques that address three important problems of symbolic execution. Compared to existing techniques, the new techniques * reduce the manual effort that may be required to symbolically execute those programs that either generate complex constraints or parts of which cannot be symbolically executed due to limitations of a symbolic-execution system. * improve the usefulness of symbolic execution (e.g., expose more bugs in a program) by enabling discovery of more feasible paths within a given time budget. 2. A novel approach that uses symbolic execution to generate test inputs for Apps that run on modern mobile devices such as smartphones and tablets. 3. Implementations of the above techniques and empirical results obtained from applying those techniques to real-world programs that demonstrate their effectiveness.

Thesis (MTech. degree in Software Development.)--Tshwane University of Technology, 2011 / With regards to extending component-based and service-oriented system development approaches and solving current problems related to enterprise systems, this study will explore the requirements and challenges of current enterprise systems, and define an SCSD (Service-oriented Component-based System Development) framework which would provide all-round service-oriented component-based support for a complex application environment. The purpose of this study is to create a novel SCSD framework which combines the features of both component-based and service-oriented paradigms, as well as avoid the weaknesses of the existing service and component combination approaches. The SCSD framework combines the re-usability of the component-based paradigm and the flexibility of the service-oriented paradigm. Reusable SCSD-based components and services can reduce costs, shorten development time, and improve service quality when implemented effectively. The SCSD framework offers an alternative to older system development approaches, while it also provides a new solution in order to establish relationships between services and components for current enterprise systems.

M. Tech. Information Technology / Voting is a widely spread and democratic way of making decisions. For centuries, South Africa has been using the popular paper-based voting system though it does not provide the desirable blend of accessibility and efficiency. Missing ballot papers, invalid votes and miscount are some of the challenges that come with the paper-based voting system. Time is precious to everyone and correct information is even more precious in the fast-paced information technology era. Merging all these together we look in for easier, effective, efficient and time managing way of casting a vote. Mobile phones facilitate communication and rapid access to information and their diffusion has reached a larger proportion of the population in a short period of time. In this thesis, we propose designing and developing a mobile phone voting system, which allows users to vote spontaneous and timeous, using existing mobile phone networks and technologies via their mobile phones.

published_or_final_version / Computer Science / Doctoral / Doctor of Philosophy