A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
César SánchezGerardo SchneiderWolfgang AhrendtEzio BartocciDomenico BianculliChristian ColomboYliès FalconeAdrian FrancalanzaSrdan KrsticJoão M. LourençoDejan NickovicGordon J. PaceJosé RufinoJulien SignolesDmitriy TraytelAlexander WeissPublished in: CoRR (2018)
Keyphrases
- application domains
- application scenarios
- computing paradigms
- real life
- web enabled
- lessons learned
- key issues
- source code
- software development
- software systems
- model checking
- software architecture
- software tools
- practical experiences
- technical solutions
- user interface
- web intelligence
- software projects
- formal methods
- development process
- design concepts
- activity recognition
- real world