A Research Agenda for Embedding 4IR Technologies in the Leadership Management of Formal Methods.
John Andrew van der PollPublished in: CSCI (2022)
Keyphrases
- formal methods
- st century
- formal analysis
- model checker
- formal specification
- information systems
- knowledge based systems
- information retrieval
- management system
- model checking
- provably correct
- artificial intelligence
- software engineering
- process algebra
- safety critical
- technical expertise
- temporal logic
- decision support
- information retrieval systems
- vector space
- fine grained
- object oriented