Case Study: Stepwise Development of a Communication Processor Using Trace Logic.
Stephan KleukerPublished in: Semantics of Specification Languages (1993)
Keyphrases
- case study
- development process
- communication technologies
- information sharing
- smart objects
- modal logic
- design process
- knowledge based systems
- lessons learned
- software engineering
- parallel processing
- communication channels
- multi valued
- classical logic
- real world
- logic programming
- expert systems
- communication networks
- information systems
- parallel architecture
- forward selection