Cargando…

A Framework for Critical Interactive System Formal Modelling and Analysis

Interactive system development does not follow the same life cycle as other system developments. The essential differences lie in the iterative nature of such system development. Throughout iterations, the requirements undergo many changes due to the evolution of customer’s needs and user feedback a...

Descripción completa

Detalles Bibliográficos
Autor principal: Mendil, Ismaïl
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242044/
http://dx.doi.org/10.1007/978-3-030-48077-6_36