Certifying software for high-assurance environments

J. Voas

doi:10.1109/52.776948

1999-01-01

PRE

J. Voas *

DOI：10.1109/52.776948

原文链接

原文求助

摘要

En 中文

Not all software systems are created equal or alike, particularly with the increase in COTS and reuseable components. Jeffrey Voas proposes a strategy for certifying software in specific operational environments.

期刊

IEEE Software

IF:

论文数:

3.2K

被引数:

3.6K

机构

暂无机构信息

引用论文

Caveolin-1 Mutations in Human Breast Cancer

The American Journal of Pathology

IF0

2006-06-01

OAAI

Tianhong Li; Federica Sotgia; Magalis A. Vuolo; Maomi Li; Wan Cai Yang; Richard G. Pestell; Joseph A. Sparano; Michael P. Lisanti

The relationship between out-of-school sport participation and positive youth development

Journal of Human Sport and Exercise

IF0

2012-01-01

OAAI

Federico Carreres-Ponsoda; Amparo Escartí; Juan M. Cortell-Tormo; Vicent Fuster-Lloret; Eliseo Andreu-Cabrera

Predicting how badly ''good'' software can behave

IEEE SOFTWARE

IF3

1997-01-01

PREAI

Voas, J; Charron, F; McGraw, G; Miller, K; Friedman, M