By Topic

2006 30th Annual IEEE/NASA Software Engineering Workshop

24-28 April 2006

Filter Results

Displaying Results 1 - 25 of 42
  • 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 - Cover

    Publication Year: 2006, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (57 KB)
    Freely Available from IEEE
  • 30th Annual IEEE/NASA Software Engineering Workshop SEW-30-Title

    Publication Year: 2006, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (42 KB)
    Freely Available from IEEE
  • 30th Annual IEEE/NASA Software Engineering Workshop SEW-30-Copyright

    Publication Year: 2006, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 - TOC

    Publication Year: 2006, Page(s):v - vii
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • Foreword

    Publication Year: 2006, Page(s): viii
    Request permission for commercial reuse | PDF file iconPDF (35 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organizing Committee

    Publication Year: 2006, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (29 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2006, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (28 KB)
    Freely Available from IEEE
  • The Role of Empirical Study in Software Engineering

    Publication Year: 2006, Page(s):3 - 6
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (132 KB) | HTML iconHTML

    Although most scientific and engineering disciplines view empiricism as a basic aspect of their discipline, that view has not been the tradition in software engineering. There should be a symbiotic relationship between the development of theories and empirical studies that test and evolve that theory. This talk discusses of the role of empirical study in the understanding and improvement of the so... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Empirical Study on the Relationship between Defective Requirements and Test Failures

    Publication Year: 2006, Page(s):7 - 10
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB) | HTML iconHTML

    The quality of software products depends on the quality of the requirements used to create them. Expressiveness (i.e., the ability to convey the intended meaning by avoiding ambiguities and readability problems) is an important quality characteristic of natural language requirements. This paper describes an empirical study that used data from an industrial software project to identify possible rel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Qualitative Modeling for Requirements Engineering

    Publication Year: 2006, Page(s):11 - 20
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (313 KB) | HTML iconHTML

    Acquisition of "quantitative" models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining sufficient data. "Qualitative" models, based on expert opinion, can be built quickly and therefore used earlier. Such qualitative models are nondeterminate which makes them hard to use for making categorical policy decisions over... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing and Systematizing Current Traceability Schemas

    Publication Year: 2006, Page(s):21 - 32
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (193 KB) | HTML iconHTML

    The aim of this work is to produce a traceability model to enhance processes and tasks, which make extensive use of traceability information such as, V&V, change management and impact analysis, under the roundtrip engineering approach. This paper analyzes several current traceability approaches, in order to obtain their relevant features, to identify overlaps and inconsistencies between them, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Service Engineering: Linking Business and IT

    Publication Year: 2006, Page(s):33 - 36
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (141 KB) | HTML iconHTML

    Summary form only given. Service-oriented design has long driven the development of the telecommunications infrastructure and applications, especially intelligent network services. Applying the same principles of domain specificity, virtualization, loose coupling, and seamless vertical integration to business processes has the potential to lead to a new generation of personalized, secure, and high... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Comparative Study of Monitoring Tools for Pattern-Centric Behavior

    Publication Year: 2006, Page(s):37 - 46
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (311 KB) | HTML iconHTML

    The benefits of design patterns in the design phase are well-established. We claim that patterns can - and should - play equally important roles in later stages of the lifecycle. But to make this feasible, we need to develop suitable ways to precisely specify the requirements associated with the use of specific patterns, and runtime monitoring tools to identify any violations of these requirements... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Understanding Open Source Software through Software Archaeology: The Case of Nethack

    Publication Year: 2006, Page(s):47 - 58
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (138 KB) | HTML iconHTML

    In this study open source software was examined from an archaeological perspective. The objective: to explore the evolution of a long-lived open source project with the intention of learning how code evolution has progressed over time. This investigation provides a case study of Nethack, an enormously popular open source game that has been in development for more than a decade. The goal question m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Goal-Driven Software Development

    Publication Year: 2006, Page(s):59 - 65
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (227 KB) | HTML iconHTML

    Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither business processes nor requirements can be fully understood in an early stage of a realistic software project. This is not primarily due to inadequate requirements elicitation but the fact that the technical implementati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Understanding Change Requests to Predict Software Impact

    Publication Year: 2006, Page(s):66 - 75
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB) | HTML iconHTML

    During its lifecycle, software experiences numerous changes that are either due to bug fixes or to the incorporation of new features. Implementing such changes is often more difficult than expected, which frequently leads to underestimation of the associated implementation effort. This paper describes work that aims to understand change impact based on the visualization of the characteristics of c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Project Management Tools: Making a Practical Decision Using AHP

    Publication Year: 2006, Page(s):76 - 84
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB) | HTML iconHTML

    The selection of an appropriate software project management tool, as in the selection of many other tools, is often approached using an ad hoc process. Such non-rigorous approaches often based on personal preference, intuition, or marketing hype, can lead to an erroneous result. In this paper a rigorous model for selecting a software project management tool using the analytical hierarchy process (... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems

    Publication Year: 2006, Page(s):85 - 88
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (141 KB) | HTML iconHTML

    Summary form only given. Tackling the daunting challenges of complex software systems development requires a broad stream of research supported by several new technical competencies, including a good understanding of system modeling, the effective use of models, and a modeling theory of discrete event systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Unified Software Method: An Engineering Approach to Software Engineering

    Publication Year: 2006, Page(s):89 - 96
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (302 KB) | HTML iconHTML

    In this paper, we propose an engineering approach to software engineering called "Unified Software Method" (USM). The goal pursued through this work in progress is to offer complete traceability between software requirements and the resulting software application for any kind of application and as a result, establish accountability of a practitioner's work. This paper presents an introduction to U... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams

    Publication Year: 2006, Page(s):97 - 106
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (241 KB) | HTML iconHTML

    Formal methods are nowadays the most rigorous way to produce software. However, the existing formal notations are not easy to use and understand for most people. Our approach proposes to circumvent this shortcoming by producing complementary graphical views on the formal developments. This paper addresses the graphical representation of formal B specifications using UML diagrams. A reverse-enginee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SPDW: A Software Development Process Performance Data Warehousing Environment

    Publication Year: 2006, Page(s):107 - 118
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (487 KB) | HTML iconHTML

    Metrics are essential in the assessment of the quality of software development processes (SDP). However, the adoption of a metrics program requires an information system for collecting, analyzing, and disseminating measures of software processes, products and services. This paper describes SPDW, an SPD data warehousing environment developed in the context of the metrics program of a leading softwa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cross-Platform Development: Software that Lasts

    Publication Year: 2006, Page(s):119 - 122
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (141 KB) | HTML iconHTML

    The design of software that is easy to port or deliberately targeted for multiple platforms is a neglected area of software engineering. A promising solution is to link components and toolkits through XML and reflection View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Simulation to Validate Style-Specific Architectural Refactoring Patterns

    Publication Year: 2006, Page(s):123 - 132
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (207 KB) | HTML iconHTML

    When developing a new domain-specific architectural style, there can be uncertainty about the feasibility of using that style. In particular, the HADES architectural style contains refactoring patterns intended to remove undesirable scheduling features such as deadlock and livelock, but these patterns have not yet been validated. We report on the development of a simulator environment to help vali... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker

    Publication Year: 2006, Page(s):133 - 141
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (298 KB) | HTML iconHTML

    Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level properties (like unhandled exceptions), none of them supports checking of software components against a high-level behavior specification. We present our approach to model checking of software components implemented in Java agai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Eclipse Plug-in for the Java PathFinder Runtime Verification System

    Publication Year: 2006, Page(s):142 - 152
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (272 KB) | HTML iconHTML

    Java PathFinder (JPF) is an explicit state model checker developed by the Automated Software Engineering Group of NASA of the AMES Research Center (California). Eclipse is probably the most important and used Java integrated developing environment (IDE) and not only; it is a framework/environment that can be easily extended with new functionalities by exploiting its plug-in mechanism. Through a JP... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.