By Topic

Software Engineering Workshop, 2002. Proceedings. 27th Annual NASA Goddard/IEEE

Date 5-6 Dec. 2002

Filter Results

Displaying Results 1 - 25 of 27
  • An empirical study of modifying the Fagan inspection process and the resulting main effects and interaction effects among defects found, effort required, rate of preparation and inspection, number of team members and product 1st pass quality

    Publication Year: 2002, Page(s):58 - 64
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (446 KB) | HTML iconHTML

    We present findings from a six sigma black belt project. Every black belt project has a charter that defines the customer focus and the goals of the project. This project is designed to identify the key factors that impact effectiveness for software inspections and to compare Fagan inspections and modified Fagan inspections used at Motorola. Empirical data is collected and simulation models of the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a user-friendly design and verification environment

    Publication Year: 2002, Page(s):199 - 208
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (389 KB) | HTML iconHTML

    We present an environment for the verification of complex concurrent software and hardware systems. The tool is targeted at users who are not necessarily expert in formal methods. The underlying mathematical specification language and verification methodologies are hidden to the user by encapsulating them within a high-level environment that supports graphical design, intuitive specification of pr... View full abstract»

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

    Publication Year: 2002, Page(s):51 - 57
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (298 KB) | HTML iconHTML

    Within NASA, there is an increasing awareness that software is of growing importance to the success of missions. Much data has been collected, and many theories have been advanced on how to reduce or eliminate errors in code. However, learning requires experience. We document a new NASA initiative to build a centralized repository of software defect data; in particular, we document one specific ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A simple multi-tasking simulator

    Publication Year: 2002, Page(s):209 - 216
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB) | HTML iconHTML

    The dynamic behaviour of multitasking systems is complex and hard to understand. We explain how a simple multitasking simulator was constructed by implementing scheduling theory's computational model in a commercial simulation toolkit. The resulting simulator displays multitasking behaviours graphically. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Eyekon: augmented reality for battlefield soldiers

    Publication Year: 2002, Page(s):156 - 163
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (307 KB) | HTML iconHTML

    The battlefield is a place of violence, chaos and ruled by uncertainty. Timely knowledge of what's happening around a soldier can mean the difference between life and death. The goals of an enhanced mobile infantry as expressed in Heinlein's timeless Starship Troopers is becoming a reality today through innovative progress being made by the U.S. Army's 21st Century Land Warrior (LW) program. Howev... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards autonomic computing: effective event management

    Publication Year: 2002, Page(s):40 - 47
    Cited by:  Papers (29)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (304 KB) | HTML iconHTML

    Autonomic computing is emerging as a significant new approach for the design of computing systems. Its goal is the production of systems that are self-managing, self-healing, self-protecting and self-optimizing. Achieving this goal involve techniques from both software engineering and artificial intelligence. We discuss one particular aspect of autonomic computing: event management. It considers t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Elemental design patterns: a formal semantics for composition of OO software architecture

    Publication Year: 2002, Page(s):183 - 190
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (320 KB) | HTML iconHTML

    Design patterns are an important concept in the field of software engineering, providing a language and application independent method for expressing and conveying lessons learned by experienced designers. There is a large gap, however, between the aesthetic and elegance of the patterns as intended and the reality of working with an ultimately mathematically expressible system such as code. We des... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed simulation communication through an active real-time database

    Publication Year: 2002, Page(s):147 - 155
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (262 KB) | HTML iconHTML

    We present a communication architecture that uses a distributed active real-time database system as its communication medium. The proposed architecture incorporates a database as the shared "whiteboard" through which every participating node may communicate by writing and reading data. This approach is useful in complex sharing applications such as distributed real-time simulations. The architectu... View full abstract»

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

    Publication Year: 2002, Page(s):82 - 87
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (277 KB) | HTML iconHTML

    We suggest that subjective reliability estimation from the development lifecycle, based on observed behavior or the reflection of one's belief in the system quality, be included in certification. In statistical terms, we hypothesize that a system failure occurs with the estimated probability. Presumed reliability needs to be corroborated by statistical testing during the reliability certification ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guerrilla tactics: motivating design patterns for high-dependability applications

    Publication Year: 2002, Page(s):33 - 39
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (262 KB) | HTML iconHTML

    Hardware and software components are often treated as distinct entities with different development and run-time profiles. Yet, these key design elements and components of embedded and stand-alone computing systems have an inherent vulnerability to human error. Since manufacturers of hardware make extensive use of software in producing masses of integrated devices exhibiting independent failure rat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Packaging and disseminating lessons learned from COTS-based software development

    Publication Year: 2002, Page(s):131 - 138
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (387 KB) | HTML iconHTML

    The appropriate management of experience and knowledge has become a crucially important capability for organizations of all types and software organizations are no exception. We describe an initiative aimed at helping the software engineering community share experience, in the form of lessons learned. The Center for Empirically Based Software Engineering (CeBASE) COTS lessons learned repository (C... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Composite propositions: toward support for formal specification of system properties

    Publication Year: 2002, Page(s):67 - 74
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (320 KB) | HTML iconHTML

    Formal specification and analysis of software properties can be useful in reducing the number of errors in production software. More intuitive methods of specifying constraints and system properties are needed so that developers and other stakeholders can participate in validation of formal software requirements. This work introduces composite propositions, a set of abstractions that define the re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Progressive autonomy: a method for gradually introducing autonomy into space missions

    Publication Year: 2002, Page(s):164 - 171
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (367 KB) | HTML iconHTML

    We present a method under development for introducing autonomy and agent-based software into future space and ground-based missions while both reducing the risk of mission failures and gaining the confidence and support of mission management and principal investigators (PIs). This is being done by using a mechanism to support dynamic agent-community evolution (e.g., agents adapting to community ch... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An investigation of the applicability of design of experiments to software testing

    Publication Year: 2002, Page(s):91 - 95
    Cited by:  Papers (36)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB) | HTML iconHTML

    Approaches to software testing based on methods from the field of design of experiments have been advocated as a means of providing high coverage at relatively low cost. Tools to generate all pairs, or higher n-degree combinations, of input values have been developed and demonstrated in a few applications, but little empirical evidence is available to aid developers in evaluating the effectiveness... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software engineering lessons learned repository

    Publication Year: 2002, Page(s):139 - 143
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (253 KB) | HTML iconHTML

    Most software organizations possess a large, but informal, corporate memory. This corporate memory is comprised of the experiences of every software engineer and manager, yet it is informal because there is seldom an institutionalized mechanism for disseminating the wisdom. In order to exploit this informal corporate memory, the key points of each experience can be placed into a repository for lat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A rigorous approach to reviewing formal specifications

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

    A new approach to rigorously reviewing formal specifications to ensure their internal consistency and validity is forwarded. This approach includes four steps: (1) deriving properties as review targets based on the syntax and semantics of the specification, (2) building a review task tree to present all the necessary review tasks for each property, (3) carrying out reviews based on the review task... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Report on results of discriminant analysis experiment

    Publication Year: 2002, Page(s):9 - 16
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (263 KB) | HTML iconHTML

    This is report #1 in a series of reports on the NASA IV&V Facility Project "investigation of the risk to software reliability and maintainability of requirements changes". This report covers the discriminate analysis experiment. In order to continue to make progress in software measurement, as it pertains to reliability and maintainability, we must shift the emphasis from design and code metrics t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An on-line test platform for component-based systems

    Publication Year: 2002, Page(s):96 - 103
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (339 KB) | HTML iconHTML

    One of the most provocative research areas in software engineering field is the testing of modern component based distributed applications in order to assure required quality parameters. Dynamic interactions and structural embedding, run-time loadable configurations, and services that can be deployed in arbitrary executions environments results in an increased complexity. Moreover, that the variet... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A process for software architecture evaluation using metrics

    Publication Year: 2002, Page(s):191 - 196
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (267 KB) | HTML iconHTML

    Software systems often undergo changes. Changes are necessary not only to fix defects but also to accommodate new features demanded by users. Most of the time, changes are made under schedule and budget constraints and developers lack time to study the software architecture and select the best way to implement the changes. As a result, the code degenerates, making it differ from the planned design... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proactive detection of software aging mechanisms in performance critical computers

    Publication Year: 2002, Page(s):17 - 23
    Cited by:  Papers (9)  |  Patents (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (373 KB) | HTML iconHTML

    Software aging is a phenomenon, usually caused by resource contention, that can cause mission critical and business critical computer systems to hang, panic, or suffer performance degradation. If the incipience or onset of software aging mechanisms can be reliably detected in advance of performance degradation, corrective actions can be taken to prevent system hangs, or dynamic failover events can... View full abstract»

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

    Publication Year: 2002, Page(s):107 - 113
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB) | HTML iconHTML

    Descoping is the strategic abandonment and/or weakening of objectives. It is required whenever limited resources preclude satisfactory attainment of all those objectives. Potential causes of the need for descoping are numerous, and descoping is a recurring phenomenon during project planning and development. We present an approach which facilitates descoping. It is founded upon a quantitative model... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault tree analysis for software design

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

    We present a study on software fault tree analysis (SFTA) conducted at the Software Assurance Technology Center at NASA Goddard Space Flight Center. While researchers have made various attempts at SFTA, software assurance practitioners have been slow to adopt it. One reason is the intense manual effort needed to identify and draw the fault trees for the code of large software projects. Another is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering in science data processing systems

    Publication Year: 2002, Page(s):114 - 120
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (453 KB) | HTML iconHTML

    Science data processing is a component of most research and development programs nationally and internationally and is a prime focus of work performed at NASA 's Goddard Space Flight Center in Greenbelt, Maryland. Requirements engineering is probably the most important phase in the software development lifecycle and there are many ways requirements engineering is performed by different projects. C... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending software change impact analysis into COTS components

    Publication Year: 2002, Page(s):175 - 182
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (269 KB) | HTML iconHTML

    As software components and middleware occupy more and more of the software engineering landscape, interoperability relationships point to increasingly relevant software change impacts. Packaged software now represents over thirty-two percent of the software in most organizations. While traceability and dependency analysis frameworks have effectively supported software impact analysis in the past, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software requirements practices: some real data

    Publication Year: 2002, Page(s):121 - 128
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (311 KB) | HTML iconHTML

    There is little empirical data available on actual practices of software professionals for software requirements elicitation, development of the requirements specification documents and validation of the specification. An exploratory survey of several hundred software and systems practioners was conducted and the results from 194 respondents are analyzed. Several surprising results emerged regardi... View full abstract»

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