mu -Charts are a way of specifying reactive systems, i.e, systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) exa...
详细信息
ISBN:
(纸本)0769509169
mu -Charts are a way of specifying reactive systems, i.e, systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples of translating mu -charts to Z which is itself a well-established language for specifying computational systems with tried and tested methods and support tools which guide its effective use in systems development We undertake this translation in order that investigation of the modelled system can be performed before expensive and lengthy implementation is considered. We also present an extension of the mu -charts and the related Z to deal with a simple command language, local variables and integer-valued signals.
Women are underrepresented in the software development workforce which provides many well-paying jobs and career advancements. Many women utilize various online communities to gain access to technical fields. Among ma...
详细信息
ISBN:
(纸本)9781728119700
Women are underrepresented in the software development workforce which provides many well-paying jobs and career advancements. Many women utilize various online communities to gain access to technical fields. Among many such online communities, online programming Q&A communities are particularly important by serving as knowledge bases for self-directed informal learning and providing opportunities for individuals to exhibit their credible, verifiable expertise for career opportunities and advancements. However, these Q&A communities are often male-oriented, hence may create barriers for women to participate and earn reputations. In this paper, we aim to develop an understanding towards how male and female developers participate in the online Q&A communities and how their participation impacts their successfulness in terms of reputations. Using the data from the Stack Overflow, we quantitative examine the differences in behavior and outcomes between men and women. Our analyses reveal significant differences in how men and women participate in the online Q&A community and how successful they are. For example, women have much lower reputations on average which are mostly resulting from women and men's differences in their activities. We further discuss the potential design implications.
Recently, crowdsourcing has been widely used in many tasks that computers are not good at such as image recognition, entity resolution or some question answering tasks. A key feature of these tasks is that they are al...
详细信息
ISBN:
(纸本)9781467396448
Recently, crowdsourcing has been widely used in many tasks that computers are not good at such as image recognition, entity resolution or some question answering tasks. A key feature of these tasks is that they are all simple tasks even decision making tasks. People can deal with these tasks with common sense knowledge. However, different from crowdsourcing in a general domain, software crowdsourcing is more complex. Only people with software developing skills can finish these tasks which could take a long time. Thus, an essential component of building a successful software crowdsourcing platform is effective developer recommendation, which aims to match a given task to the right crowdworkers. In order to solve this problem, in this paper, we propose a learning to rank framework. Specifically, we first propose a CRF-based model to extract criterias (i.e. skills and locations) from descriptions. Task characteristics learned from their descriptions and developer characteristic distributions extracted from their historical tasks are fed into our learning to rank algorithms for developer recommendation together with some other features such as topic-based features. We have evaluated our approach on a large dataset crawled from a real-world software crowdsourcing platform. The experimental results show that our approach is feasible and effective.
This paper presents the design, implementation and evaluation of an experience repository in a small software organisation. The experience repository was developed and installed as part of an ongoing software process ...
详细信息
ISBN:
(纸本)0769518508
This paper presents the design, implementation and evaluation of an experience repository in a small software organisation. The experience repository was developed and installed as part of an ongoing software process improvement effort and uses software process to structure experience and make it available for reuse. The experience repository is accessed through a web-based process guide with experiences related to particular tasks linked directly to the pages describing those tasks. This way experiences, including examples of documents, checklists or unstructured experiences such as anecdotes and lessons learnt can be easily entered and retrieved by users when required. This paper presents the design of the repository, the implementation and preliminary results regarding its acceptance and use.
Despite the growing attention given to agile methods and practices in developed countries, there is an exiguity of empirical studies showing their successful (or unsuccessful) use in the developing world. After review...
详细信息
ISBN:
(纸本)9780769534466
Despite the growing attention given to agile methods and practices in developed countries, there is an exiguity of empirical studies showing their successful (or unsuccessful) use in the developing world. After reviewing the literature on agile practices in developing countries, especially in asia, this paper adds to the scant literature by describing an experiment on the use of pair programming by students in an undergraduate softwareengineering course at a Philippine university. Results show that defect densities of programs written by pair programming teams were significantly lower than those written by teams that followed the traditional approach of individual coding of units followed by unit and integration testing. The results, which tend to support the positive outcomes of similar studies in the U.S. despite cultural differences, underscore the importance of seriously investigating the use of pair programming and other agile practices in academic as well as industrial settings in asia.
Project managers need timely feedback on the quality of development products to monitor and control project progress. Inspection is an effective method to identify defects and to measure product quality. Objective and...
详细信息
ISBN:
(纸本)0769509150;0769509169
Project managers need timely feedback on the quality of development products to monitor and control project progress. Inspection is an effective method to identify defects and to measure product quality. Objective and subjective models can be used to estimate the total number of defects in a product based on defect data from inspection. This paper reports on a controlled experiment to evaluate the accuracy of individual subjective estimates of developers, who had just before inspected the document, on the number of defects in a software requirements specification. In the experiment mast inspectors underestimated the total number of defects in the document. The number of defects reported and the number of (major) reference defects found were identified as factors that separated groups of inspectors who over- or underestimated an average.
Large-scale and highly reliable concurrent systems are snore and more required and it is indispensable for them to keep on measuring and monitoring in order to ensure their reliability. Some systematic method for deve...
详细信息
ISBN:
(纸本)0769509169
Large-scale and highly reliable concurrent systems are snore and more required and it is indispensable for them to keep on measuring and monitoring in order to ensure their reliability. Some systematic method for developing self-measurement concurrent systems has been needed. Self-measurement programs may be difficult to be developed and maintained in conventional environment for development. This paper presents the concept of the measurement handler, which is an approach to support development of self-measurement systems with programming languages. As a concrete example, we present the programming language Ada MII, which is an extension of Ada 95 with the measurement handler. rn this paper, implementation of a processing system for Ada MH is also presented.
Concurrent programming is pervasive in nowadays software development. Many programmers believe that concurrent programming is difficult, and maintaining concurrency code is error-prone. Although researchers have condu...
详细信息
ISBN:
(纸本)9781538636817
Concurrent programming is pervasive in nowadays software development. Many programmers believe that concurrent programming is difficult, and maintaining concurrency code is error-prone. Although researchers have conducted empirical studies to understand concurrent programming, they still rarely study how programmers maintain concurrent code. To the best of our knowledge, only a recent study explored the modifications on critical sections, and many related questions are still open. In this paper, we conduct an empirical study to explore how programmers maintain concurrent code. We analyze more concurrency-related commits and explore more issues such as the change patterns of maintaining concurrent code than the previous study. We summarize five change patterns according to our analysis on 696 concurrency-related commits. We apply our change patterns to three open source projects, and synthesize three pull requests. Until now, two of them have been accepted. Our results can be useful for programmers to maintain concurrent code and for researchers to implement treating techniques.
暂无评论