Analysing Requirements Specification Languages for Self-adaptive AAL Systems.

Inmaculada Ayala Mercedes Amor Lidia Fuentes

Published in: UCAmI (2) (2023)

Keyphrases

specification languages
ambient assisted living
management system
formal specification
database
neural network
case study
intelligent systems
human computer interaction
fine grained
real time systems
object oriented programs