Engineering topics

Feather, M. S.

Publications and source records attributed to Feather, M. S..

44 records · Page 3

NASA NTRS2001

Risk reduction using DDP (Defect Detection and Prevention): Software support and software applications

Risk assessment and mitigation is the focus of the Defect Detection and Prevention (DDP) process, which has been applied to spacecraft technology assessments and planning, both hardware and software. DDP's major elements and their relevance to core requirement engineering concerns are summarized. The accompanying research demonstration illustrates DDP's tool support, and further customizations for application to software.

Software-specific customizations↗

NASA NTRS2001

ARRT advanced risk reduction tool

Explore the source record for details and available documents.

software assurance↗

NASA NTRS2000

Putting it all together: software planning, estimating and assessment for a successful project

This paper describes a coherent approach and accompanying tool support that addresses the challenges of large software efforts.

software planning risk management software estimat↗

NASA NTRS1999

Automatic Generation of Test Oracles - From Pilot Studies of Application

There is a trend towards increased use of automation in V&V. Automation can yield savings in time and effort. For critical systems, where thorough V&V is required, these savings can be substantial.

testing↗

NASA NTRS1999

A Flexible Statechart-to-model-checker Translator

Many current-day software design tools offer some variant of statechart notation for system specification. We, like others, have built an automatic translator from (a subset of) statecharts to a model checker, for use to validate behavioral requirements.

statecharts↗

NASA NTRS1999

Program Transformation - What We Didn't Know

UNKNOWN

program↗

NASA NTRS1999

Automatic Generation of Test Oracles - From Pilot Studies to Application

Cost, performance and functionality concerns are driving a trend towards use of self-sufficient autonomous systems in place of human-controlled mechanisms.

Test↗

NASA NTRS1998

Rapid Application of Lightweight Formal Methods for Consistency Analyses

Lightweight formal methods promise to yield modest analysis results in an extremely rapid manner. To fulfill this promise, they must be able to work with existing information sources, be able to analyze for manifestly desirable properties, be highly automated (especially if dealing with voluminous amounts of information), and be readily customizable and flexible in the face of emerging needs and understanding.

Lightweight↗