Understanding Temporal Logic. Introducing Coherent Object System Architecture (COSA).

Accession Number

ADA558344

Publication Date

Apr 2010

Media Count

33p

Personal Author

G. Morrison

Abstract

No abstract available.

Keywords

Bnf(Backus-naur format)
Coding
Complete transitions
Computer programming
Cosa(Coherent object system architecture)
Ite(If then else)
Logic
Orthogonal transitions
Proper state machines
Software quality
Spatial software
State transitions
Temporal engineering
Temporal software
Time


$33.00-COLOR DOCUMENT

Source Agency

Non Paid ADAS

NTIS Subject Category

62B - Computer Software

Corporate Author

Department of the Air Force, Washington, DC.

Document Type

Technical report

Title Note

Briefing charts.

NTIS Issue Number

1218

Contract Number

N/A

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter