2026-06-08T07:22:16Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/534392024-11-26T14:23:09Zcom_20.500.14352_14col_20.500.14352_21

00925njm 22002777a 4500 dc López, Victoria author Gómez González, Daniel author Montero De Juan, Francisco Javier author 2009 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. 9781605603223 https://hdl.handle.net/20.500.14352/53439 Fuzzy weakest precondition and fuzzy invariants