Accession Number:

ADA055516

Title:

A System for Incrementally Designing and Verifying Programs. Appendix -Volume 2

Descriptive Note:

Research rept.

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Personal Author(s):

• Moriconi, Mark S.

Report Date:

1978-01-01

Pagination or Media Count:

69.0

Abstract:

This appendix contains a transcript of a session with SID in which a simple message switching network that allows secure, asynchronous message transfer among a fixed number of users is incrementally developed. Author

Descriptors:

• *COMPUTER PROGRAM VERIFICATION
• *COMPUTER PROGRAMMING
• COMPUTER PROGRAMS
• DATA PROCESSING SECURITY
• INFORMATION TRANSFER
• INSTRUCTIONAL MATERIALS
• INTEGRATED SYSTEMS
• MAN COMPUTER INTERFACE
• MESSAGE PROCESSING
• MODIFICATION
• NETWORKS
• PROGRAMMERS
• PROGRAMMING MANUALS
• SWITCHING
• USER NEEDS

Subject Categories:

• Computer Programming and Software
• Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE