Formal methods and software engineering for DL. Security, safety and productivity for DL systems development.
Gaétan J. D. R. HainsArvid JakobssonYoury KhmelevskyPublished in: CoRR (2019)
Keyphrases
- formal methods
- systems development
- software engineering
- software development
- safety critical
- description logics
- development process
- security properties
- information systems development
- systems engineering
- formal analysis
- development lifecycle
- development methodologies
- requirements engineering
- access control
- artificial intelligence
- knowledge based systems
- software systems
- information systems
- process algebra
- security requirements
- model checking
- functional requirements
- knowledge base
- reverse engineering
- object oriented
- design patterns
- information security
- metamodel
- software architecture
- total quality management
- formal specification language
- security policies
- project management
- software components
- knowledge management
- relational databases
- information technology
- multi agent systems