U.S. flag   An official website of the United States government
Dot gov

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Https

Secure .gov websites use HTTPS
A lock (Dot gov) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Journal Article

A Technique for Analyzing the Effects of Changes in Formal Specifications

Published: December 01, 1992
Citation: The Computer Journal vol. 35, no. 6, (December 1992) pp. 574-578

Author(s)

Richard Kuhn (NIST)

Abstract

Keywords

formal specifications; modeling; software
Control Families

None selected

Documentation

Publication:
Journal Article (DOI)

Supplemental Material:
None available

Document History:
12/01/92: Journal Article (Final)

Topics

Security and Privacy
modeling

Technologies
software & firmware