6 pages matching syntax in this book
Results 1-3 of 6
What people are saying - Write a review
We haven't found any reviews in the usual places.
THE SOFTWARE ENVIRONMENT NOW AND IN THE FUTURE
THE SYSTEM DESIGN LABORATORY SDL
4 other sections not shown
actual hardware Aerospace aircraft algorithms allows analysis assembly language assertions automated avionic systems AVIONICS SOFTWARE C(ACC capabilities Center compiler components concept concurrent configuration constraints cost debugging described DESIGN METHOD documentation Embedded Computing Systems EMBEDDED SOFTWARE embedded system emulation errors evaluation facility faults Figure flight software Flowcharter formal specification HAL/S HALMAT host machine complex implementation input interaction interface Intermetrics Laboratory mechanisms Meta Assembler methodology microcode mode modules NASA ISIS operational system output PATH PASCAL performed phase problem PROCESSOR programming environment programming language PROVE real-time reliability Research semantic sensor sequence Singer-Kearfott software design software development process software system SOFTWARE TEST SOFTWARE TEST STAND source code SPACE SHUTTLE SQLAB SRI International statements Structured Programming SUBSYSTEM support software SYMBOLIC EXECUTION synchronization syntax system design target computer target machine techniques TEMP2 templates Tools for Embedded translation verification and validation Wileden