Specification and Stepwise Development of Communicating Systems.
Stephan RössigMichael SchenkePublished in: VDM Europe (1) (1991)
Keyphrases
- knowledge based systems
- support systems
- programming environments
- management system
- software engineering
- computer systems
- learning systems
- neural network
- case study
- high level
- retrieval systems
- development process
- technical issues
- historical perspective
- database
- safety critical
- communication technologies
- communication channels
- web services
- information systems
- data sets