Automata-Based Software Engineering with Event-B.
Vladimir I. ShelekhovPublished in: Program. Comput. Softw. (2023)
Keyphrases
- software engineering
- software development
- event detection
- artificial intelligence
- object oriented
- software engineers
- software maintenance
- programming language
- reverse engineering
- real time
- event driven
- development process
- news articles
- design patterns
- machine learning
- knowledge management
- data model
- spatio temporal
- video sequences
- high level
- case study
- requirements engineering
- systems development
- web services
- event sequences