Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction.
Ruben Dobler StrandLars Michael KristensenLaure PetrucciPublished in: PNSE@Petri Nets (2022)
Keyphrases
- formal specification
- data driven
- object oriented design
- software components
- formal methods
- model checking
- specification language
- specification languages
- process algebra
- prediction accuracy
- software systems
- data abstraction
- software design
- software development
- risk management
- concurrent systems
- reverse engineering
- software projects
- source code
- user interface
- formal specification language
- software maintenance
- test cases
- object oriented systems