Formal analysis of imprecise system requirements with Event-B

Formal analysis of functional properties of system requirements needs precise descriptions. However, the stakeholders sometimes describe the system with ambiguous, vague or fuzzy terms, hence formal frameworks for modeling and verifying such requirements are desirable. The Fuzzy If–Then rules have b...

Descripción completa

Detalles Bibliográficos
Autores principales: Le, Hong Anh, Nakajima, Shin, Truong, Ninh Thuan
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer International Publishing 2016
Materias:
Research
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4937007/
https://www.ncbi.nlm.nih.gov/pubmed/27398276
http://dx.doi.org/10.1186/s40064-016-2657-8

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4937007/
https://www.ncbi.nlm.nih.gov/pubmed/27398276
http://dx.doi.org/10.1186/s40064-016-2657-8

Ejemplares similares