Keyphrases
- systems engineering
- formal methods
- software engineering
- safety analysis
- modeling language
- knowledge extraction
- systems development
- requirements engineering
- industrial applications
- design thinking
- topics covered include
- knowledge based systems
- web information systems
- engineering and computer science
- computational modeling
- nuclear power plant
- safety critical
- control system
- business process
- business processes
- information systems