2026-06-08T08:37:06Zhttps://docta.ucm.es/rest/oai/requestoai:docta.ucm.es:20.500.14352/534392024-11-26T14:23:09Zcom_20.500.14352_14col_20.500.14352_21
Docta Complutense
author
López, Victoria
author
Gómez González, Daniel
author
Montero De Juan, Francisco Javier
2023-06-20T13:42:09Z
2023-06-20T13:42:09Z
2009
9781605603223
https://hdl.handle.net/20.500.14352/53439
Design and formal verification of algorithms can be translated into a fuzzy framework introducing fuzzy logic and assert transformations. Following the classical scheme, and in order to develop codes with good behavior, this paper defines the concepts of fuzzy algorithm specification and fuzzy weakest precondition operator which are then applied to a fuzzy decision making algorithm. Keywords: Fuzzy algorithms and programming,decision making.
eng
Fuzzy weakest precondition and fuzzy invariants
book part
URL
https://docta.ucm.es/bitstreams/742bb65e-9e72-4023-bfd5-cf67930fea8f/download
File
MD5
03e7e87a7e4583507aff6094c1d2d84a
68686
application/pdf
Montero204.pdf
URL
https://docta.ucm.es/bitstreams/b9343a24-9890-492e-9c43-7d5310498948/download
File
MD5
bcd7e158437acf1b692cbb988119a5ba
15180
text/plain
Montero204.pdf.txt