Overview of the AST software construction methodology
Conference
·
OSTI ID:543340
- Sandia National Labs., Albuquerque, NM (United States)
This report contains viewgraphs on the Abstraction, Synthesis, and Transformation of software construction methods. Algorithms examples are given.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- OSTI ID:
- 543340
- Report Number(s):
- CONF-970417-; ON: DE97006858; TRN: 97:005589-0029
- Resource Relation:
- Conference: Software quality forum, Albuquerque, NM (United States), 1-3 Apr 1997; Other Information: PBD: [1997]; Related Information: Is Part Of Software: Our quest for excellence. Honoring 50 years of software history, progress, and process; PB: 579 p.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Towards automated construction of dependable software/hardware systems
Extending reliability: transformational tailoring of abstract mathematical software
Methodology and Software for Gross Defect Detection of Spent Nuclear Fuel at the Atucha-I Reactor
Conference
·
Sat Nov 01 00:00:00 EST 1997
·
OSTI ID:543340
Extending reliability: transformational tailoring of abstract mathematical software
Conference
·
Sun Jan 01 00:00:00 EST 1978
·
OSTI ID:543340
Methodology and Software for Gross Defect Detection of Spent Nuclear Fuel at the Atucha-I Reactor
Conference
·
Wed Jul 01 00:00:00 EDT 2015
·
OSTI ID:543340
+2 more