Axiomatic Specifications in Firmware Development Systems.
Subrata DasguptaPhilip A. WilseyJuha HeinänenPublished in: IEEE Softw. (1986)
Keyphrases
- computer systems
- knowledge based systems
- expert systems
- decision support
- information systems
- safety critical
- support systems
- retrieval systems
- intelligent systems
- distributed systems
- artificial intelligence
- building blocks
- management system
- development process
- finite state machines
- high level
- historical perspective
- enabling technologies