Type-driven Development of Concurrent Communicating Systems.
Edwin C. BradyPublished in: Comput. Sci. (2017)
Keyphrases
- knowledge based systems
- technical issues
- learning systems
- complex systems
- support systems
- expert systems
- management system
- distributed systems
- current trends
- design tools
- enabling technologies
- real time
- historical perspective
- safety critical
- formal methods
- software developers
- building blocks
- data driven
- knowledge management
- learning environment
- databases