López, VictoriaMontero De Juan, Francisco JavierMartinez, LuisBaets, Bernard deGonzaga, luis2023-06-202023-06-202007978-84-690-4561-9https://hdl.handle.net/20.500.14352/53444Proceedings EUROFUSE’07Since many complex decision making problems can be solved solely by means of an appropriate algorithm,checking the quality of such algorithm is a key issue, even more relevant in the presence of fuzzy uncertainty. In this paper we postulate that the design and formal specification of algorithms can be translated into a fuzzy framework introducing fuzzy first order logic and assert transformations. A proposal for the evaluation and setting of suitable degrees of truth to computing states is introduced.engbook partrestricted access510.64Fuzzy specificationDecision making.Matemáticas (Matemáticas)12 Matemáticas