Formal methods in dependable systems engineering: a survey of professionals from Europe and North America.
Mario GleirscherDiego MarmsolerPublished in: Empir. Softw. Eng. (2020)
Keyphrases
- north america
- systems engineering
- formal methods
- software engineering
- safety critical
- digital government
- north american
- knowledge based systems
- asia pacific
- electronic government
- information systems
- information technology
- systems development
- knowledge extraction
- artificial intelligence
- model checking
- requirements engineering
- industrial applications
- formal specification
- software development
- computer science
- design patterns
- public sector
- e government
- reverse engineering
- software architecture
- development process
- software systems
- decision making
- machine learning
- development lifecycle