Search

Your search keyword '"Avionics software"' showing total 40 results

Search Constraints

Start Over You searched for: Descriptor "Avionics software" Remove constraint Descriptor: "Avionics software" Publisher acm press Remove constraint Publisher: acm press
40 results on '"Avionics software"'

Search Results

1. Software reliability assessment via fuzzy logic model

2. Software certification consortium

3. Challenges in automotive software engineering

4. Safety of component-based systems

5. A real time measure of software system families

6. Hardware/software co-design of embedded real-time systems from an undergraduate perspective

7. Dependency on O.S. in long-term programs

8. Software portability gains realized with METAH and Ada95

9. Software synthesis from synchronous specifications using logic simulation techniques

10. Components for embedded software

11. Whole program compilation for embedded software

12. A systematic approach to software peripherals for embedded systems

13. A vision for embedded software

14. Producing more reliable software

15. Improvement of a configuration management system

16. Hardware/software co-design of an avionics communication protocol interface system

17. Hardware/software co-design (panel)

18. Creating reference architectures

19. A hardware-software co-simulator for embedded system design and debugging

20. Synthesis of software programs for embedded control application

21. Software scheduling in the co-synthesis of reactive real-time systems

22. Towards target-level testing and debugging tools for embedded software

23. Embedded systems and hardware-software (panel)

24. A cross-debugging method for hardware/software co-design environments

25. When hardware becomes software

26. Process and products for software reuse in Ada

27. Software reliability

28. The influence of software structure on reliability

29. Software reliability and advanced avionics

30. Software reliability

31. The application development process

32. Embedded computers

33. Software development staffs in the seventies and eighties

34. Does imperfect debugging affect software reliability growth?

35. The selection of an Ada compiler for a real-time embedded avionics application

36. Software reliability

37. Some experimental estimators for developmental and delivered errors in software development projects

38. Software validation and verification - a state of the art report(Panel Discussion)

39. Software reliability and design

40. A design methodology for reliable software systems

Catalog

Books, media, physical & digital resources