New technical and procedural interventions are less likely to be adopted in industry, unless they are smoothly integrated into the existing practices of professionals. In this paper, we provide a case study of the use...
详细信息
ISBN:
(纸本)9781450322539
New technical and procedural interventions are less likely to be adopted in industry, unless they are smoothly integrated into the existing practices of professionals. In this paper, we provide a case study of the use of ethnographic methods for studying software bug-fixing activities at an industrial engineering conglomerate. We aimed at getting an in-depth understanding of software developers" everyday practices in bug-fixing related projects and in turn inform the design of novel productivity tools. the use of ethnography has allowed us to look at the social side of software maintenance practices. In this paper, we highlight 1) organizational issues that influence bugfixing activities, 2) social role of bug tracking systems, and 3) social issues specific to different phases of bug-fixing activities. Copyright 2013 ACM.
Reo is an exogenous coordination language for compositional construction of the coordinating subsystem of a component-based software. Constraint automaton is defined as the operational semantics of Reo. the main goal ...
详细信息
ISBN:
(纸本)9789898111043
Reo is an exogenous coordination language for compositional construction of the coordinating subsystem of a component-based software. Constraint automaton is defined as the operational semantics of Reo. the main goal of this work is to prepare a model checking based verification environment for component-based systems, which their component connectors are modeled by Reo networks and Constraint Automata. We use compositional minimization and abstraction methods of model checking for verification of component-based systems and their component connectors modeled by Reo.
Resource scheduling in distributed systems aims at achieving maximal system performance by utilizing the available system resources efficiently. Large distributed systems, comprising hundreds or thousands of nodes and...
详细信息
ISBN:
(纸本)0818681365
Resource scheduling in distributed systems aims at achieving maximal system performance by utilizing the available system resources efficiently. Large distributed systems, comprising hundreds or thousands of nodes and spanning vast geographical distances (e.g. Internet), require resource scheduling to be scalable. Scalability has become a common requirement in the design and development of distributed software. this paper describes a comprehensive approach to software development, leading from the stage of requirements specification, through design and algorithm assessment to a prototype implementation of a scalable resource scheduling policy. Scalability is achieved by system partitioning. Communication delays may limit scalability and degrade system performance. In this work, delays are handled to improve the performance of a scheduling policy. the paper demonstrates performance results obtained in simulation under communication and computation overload conditions. the simulation code is later used for prototype implementation. Finally, we examine the software design issues and applicability of the prototype to different distributed environments, providing the example of PVM [7].
computer supported cooperative work (CSCW) has been recognized as a crucial enabling technology for multi-user computer-based systems, particularly in cases where synchronous human-human interaction is required betwee...
详细信息
the primary purpose for holding the FM89 workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. the workshop was to complete the following tasks: (i) assess ...
详细信息
ISBN:
(纸本)0818620269
the primary purpose for holding the FM89 workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. the workshop was to complete the following tasks: (i) assess the problems retarding the development of trustworthy critical systems, (ii) determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems, (iii) determine the R&D required to facilitate a broader application of formal methods techniques, (iv) identify 'example systems' that would be useful in determining the effectiveness of formal methods, and (v) identify how to improve international coordination and communications of formal methods research. the author briefly describes the purposes of the workshop, the material covered, and the resulting recommendations and conclusions.
Recently, dynamic behaviors in embedded system for ubiquitous environment and service-oriented system have needed a dynamic coupling metric to evaluate the quality of the software system more accurately. the embedded ...
详细信息
ISBN:
(纸本)9780769528670
Recently, dynamic behaviors in embedded system for ubiquitous environment and service-oriented system have needed a dynamic coupling metric to evaluate the quality of the software system more accurately. the embedded systems are designed by a component-based system and the component-based system is designed by one object-oriented. therefore, coupling between the classes in the object-oriented model are brought into relief more clearly. But, in spite of a great deal of study and effort, most coupling metrics between classes suggest metrics that measure the coupling based on a static dependency relationship. In this paper, we propose a dynamic coupling metric in order to measure the coupling accurately between classes allowing the dynamic property in the object level. In addition, we prove the theoretical soundness of the proposed metric by the axioms of Briand et al. and suggest the accuracy of the proposed metric through a comparison with conventional metrics.
the proceedings contain 20 papers. the special focus in this conference is on softwareengineering. the topics include: Keynote address;medium size project model;a controlled software maintenance project;models for un...
ISBN:
(纸本)9783540545026
the proceedings contain 20 papers. the special focus in this conference is on softwareengineering. the topics include: Keynote address;medium size project model;a controlled software maintenance project;models for undergraduate project courses in softwareengineering;the establishment of an appropriate softwareengineering training program;industrial training for software engineers;softwareengineering: graduate-level courses for AFIT professional continuing education;computing curricula 1991 its implications for softwareengineering education;computer based systemsengineering workshop;teaching about process issues in softwareengineering;a layered approach to teaching software project management;seven lessons to teach design;design evolution: implications for academia and industry;teaching software design in the freshman year;teaching softwareengineering for real-time design;industry-academia collaboration to provide CASE tools for softwareengineering classes;developing se expertise;what we have learned about softwareengineering expertise;instruction for softwareengineering expertise and knowledge elicitation for softwareengineering expertise.
the diversity, randomness, suddeness and disorder are the typical characteristics of the type of complex system such as unconventional emergency. the paper proposes a complexity measurement model Based on information ...
详细信息
In this paper we present a technique for comparing multiple tests and workloads. We show how to automatically determine what each test does uniquely and how to present the information as succinctly as possible. this t...
详细信息
ISBN:
(纸本)9783642192364
In this paper we present a technique for comparing multiple tests and workloads. We show how to automatically determine what each test does uniquely and how to present the information as succinctly as possible. this technology has a number of uses, including in understanding the contribution of tests in regression buckets, especially of legacy systems, and in evaluating what is missing in tests compared to customer usage. We also show that the technology used in the analysis is superior to previous technology in that it can automatically find holes that were previously only found manually.
Analytical modelling and experimental measurements are both useful techniques for evaluating the performance of networks. Models provide insight while measurement provides realism. Mathematical analysis can provide va...
详细信息
暂无评论