Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback.
Anne-Lise CourbisFarid ArfiThomas LambolaisFrançois BughinMaurice HayotPublished in: ISSREW (2023)
Keyphrases
- formal specification
- design methodology
- specification languages
- model checking
- object oriented design
- specification language
- formal methods
- process algebra
- reverse engineering
- concurrent systems
- data abstraction
- health care
- artificial intelligence
- business rules
- database
- software components
- distributed systems
- source code
- multi agent systems
- databases