Formal Design and Development of Ada Real-Time Embedded Systems.
Elspeth CusackPublished in: Specification and Verification of Concurrent Systems (1988)
Keyphrases
- design tools
- design process
- real time embedded systems
- design theory
- design principles
- case study
- design considerations
- formal methods
- future development
- knowledge based systems
- software engineering
- engineering design
- formative evaluation
- software design
- support systems
- information system development
- formal descriptions
- model driven engineering
- mechanical design
- rapid prototyping
- database
- centered design
- user interface
- socio technical
- paradigm shift
- management information systems
- current status
- interface design
- human computer interaction