By Topic

29th Annual IEEE/NASA Software Engineering Workshop

6-7 April 2005

Filter Results

Displaying Results 1 - 25 of 41
  • 29th Annual IEEE/NASA Software Engineering Workshop - Cover

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

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

    Publication Year: 2005, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (81 KB)
    Freely Available from IEEE
  • 29th Annual IEEE/NASA Software Engineering Workshop - Table of contents

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

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

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

    Publication Year: 2005, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (66 KB)
    Freely Available from IEEE
  • Is My Software "Good Enough" to Release? - A Probabilistic Assessment

    Publication Year: 2005, Page(s):5 - 13
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB) | HTML iconHTML

    We present the basics of a probabilistic methodology to assess the overall quality of software preparatory to its release through the evaluation of process and product evidence, the " 'good enough' to release" (GETR) methodology, in this paper. GETR methodology has three main elements: a model whose elements represent activities and artifacts identified in the literature as being effective assesso... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting Software Release Planning Decisions for Evolving Systems

    Publication Year: 2005, Page(s):14 - 26
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (319 KB) | HTML iconHTML

    Large-scale software systems constantly change during system evolution for feature enhancement. Most of the features originate from diverse stakeholders that require their needs to be met despite resource and risk constraints. In such large systems, the number of features requested during the different releases of the system typically exceeds the available resources. Release planning involves deci... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Engineering Sub-Ontology for Specific Software Development

    Publication Year: 2005, Page(s):27 - 33
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (637 KB) | HTML iconHTML

    In this paper we propose software engineering sub-ontology. We called it application-specific ontology, for specific software development. It enables remote team members browsing, searching, sharing, and authoring ontological data under the distributed software engineering projects environment. We transform explicit meaningful human knowledge into application-specific ontology, where knowledge str... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bridging the Gap between Systems Design

    Publication Year: 2005, Page(s):34 - 46
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (535 KB) | HTML iconHTML

    A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by software engineers. In this paper we describe our experience working with NASA engineers to develop an approach and toolset for automating the generation of space systems software from architectural specifications. Our experienc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System Availability Analysis Considering Hardware/Software Failure Severities

    Publication Year: 2005, Page(s):47 - 56
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB) | HTML iconHTML

    Model-based analysis is a well-established approach to assess the influence of several factors on system availability within the context of system structure. Prevalent availability models in the literature consider all failures to be equivalent in terms of their consequences on system services. In other words, all the failures are assumed to be of the same level of severity. In practice, failures ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Global Software Processes Definition in a Distributed Environment

    Publication Year: 2005, Page(s):57 - 65
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (268 KB) | HTML iconHTML

    Global software development projects are passing through the boundaries of a company or a country. In order to manage global teams effectively, it is necessary to define a software process adapted to different organizational cultures. A global software process gives all team members a common language to define tasks and activities allowing the better understanding of the business domain terms and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Qualitative Evaluation of a Software Development and Re-Engineering Project

    Publication Year: 2005, Page(s):66 - 75
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (686 KB) | HTML iconHTML

    The VizzAnalyzer is a framework for analyses and visualizations of software. It has been developed over years, to a great deal by students and PhD students. In between it has been re-engineered to improve the software quality. In this paper, we publish the results of the software quality measurements over different versions of the VizzAnalyzer framework with well established quality metrics. Some ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and Analysis of Space Based Transceivers

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

    This paper presents the tool chain, methodology, and initial results of a study to provide a thorough, objective, and quantitative analysis of the design alternatives for space software defined radio (SDR) transceivers. The approach taken was to develop a set of models and tools for describing communications requirements, the algorithm resource requirements, the available hardware, and the alterna... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis

    Publication Year: 2005, Page(s):89 - 96
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (393 KB) | HTML iconHTML

    This paper presents an implementation and critical analysis of a technique for automated, rigorous scientific program comprehension and error detection. The procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, symbolically executing the user's code, and recognizing semantic concepts from the symbolic expressions generated. This analysis provi... View full abstract»

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

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

    Because of their strong economic impact, complexity and maintainability are among the most widely used terms in software engineering. But, they are also among the most weakly understood. A multitude of software metrics attempts to analyze complexity and a proliferation of different definitions of maintainability can be found in text books and corporate quality guide lines. The trouble is that none... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements Capture for Cougaar Model-Driven Architecture System

    Publication Year: 2005, Page(s):109 - 117
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (497 KB) | HTML iconHTML

    The cognitive agent architecture (Cougaar) is a distributed agent architecture framework originally developed to build large scale logistics applications for the Department of Defense. In order to facilitate rapid development of complex military and commercial Cougaar applications, we are devising "recipes" on how to automate the Cougaar application development process. The envisioned Cougaar mode... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities

    Publication Year: 2005, Page(s):118 - 130
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (715 KB) | HTML iconHTML

    This paper presents a framework that guides the requirements engineer in the implementation and execution of an effective requirements generation process. We achieve this goal by providing a well-defined requirements engineering model and a criteria based process for optimizing method selection for attendant activities. Current models address only portions of the requirements process or include ac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Predicting Risk as a Function of Risk Factors

    Publication Year: 2005, Page(s):131 - 141
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (449 KB) | HTML iconHTML

    In previous research, we showed that risk factors have a significant negative effect on reliability (e.g., failure occurrence). In this research, we show that it is feasible to predict risk (i.e., the probability that risk factors are related to discrepancy reports occurring on a software release). This is an important advance over the previous research because discrepancy reports are available in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Risk Assessment Model of Embedded Software Systems

    Publication Year: 2005, Page(s):142 - 149
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (251 KB) | HTML iconHTML

    Assessing risk associated with safety or mission-critical embedded systems often lacks detailed considerations of software, if at all. Performing risk assessment, which considers software in its entirety, is challenging, yet necessary. This necessity stems from the need to understand the contribution of software to the risks associated with a system. We propose a modeling approach that extends dyn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Quantitative Safety Assessment for Safety-Critical Software

    Publication Year: 2005, Page(s):150 - 162
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (261 KB) | HTML iconHTML

    The software fault failure rate bound is discussed and generalized for different reliability growth models. The fault introduction during testing and the fault removal efficiency are modeled to relax the two common assumptions made in software reliability models. Three approaches are introduced for the fault content estimation, and thus they are applied to software coverage estimation. A three-sta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ADLARS: An Architecture Description Language for Software Product Lines

    Publication Year: 2005, Page(s):163 - 173
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (285 KB) | HTML iconHTML

    Software product line (SPL) engineering has emerged to become a mature domain for maximizing reuse within the context of a family of related software products. Within the process of SPL, the variability and commonality among the different products within the scope of a family is captured and modeled into a system's `feature model'. Currently, there are no architecture description languages (ADLs) ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Generative Style-driven Framework for Software Architecture Design

    Publication Year: 2005, Page(s):173 - 182
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (301 KB) | HTML iconHTML

    Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specifications in the design. This paper proposes a generative style-driven framework for software architecture specification based on a visual language formalism. In this framework, the designer uses graphical notations to define arc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Indicators of Structural Stability of Object-Oriented Designs: A Case Study

    Publication Year: 2005, Page(s):183 - 192
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (222 KB) | HTML iconHTML

    The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from one release to the next. This paper empirically investigates potential indicators of measures of structural stability of OODs. Both product-related and process-related indicators are considered. These indicators were evalua... View full abstract»

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