Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development.
Gaétan HainsArvid JakobssonYoury KhmelevskyPublished in: SysCon (2018)
Keyphrases
- formal methods
- systems development
- deep learning
- software engineering
- software development
- safety critical
- security properties
- development process
- information systems development
- unsupervised feature learning
- requirements engineering
- unsupervised learning
- development lifecycle
- artificial intelligence
- machine learning
- software systems
- access control
- network security
- reverse engineering
- development methodologies
- knowledge management
- information security
- object oriented
- design patterns
- software architecture
- intrusion detection
- security requirements
- weakly supervised
- information systems
- data mining
- knowledge base
- mental models
- security policies
- user interface
- information extraction
- modeling language
- model checking
- knowledge based systems