Fuzzy weakest precondition and fuzzy invariants
| dc.book.title | 8th Joint Conference on Information Sciences 2005 | |
| dc.contributor.author | López, Victoria | |
| dc.contributor.author | Gómez González, Daniel | |
| dc.contributor.author | Montero De Juan, Francisco Javier | |
| dc.date.accessioned | 2023-06-20T13:42:09Z | |
| dc.date.available | 2023-06-20T13:42:09Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | 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. | en |
| dc.description.department | Depto. de Estadística e Investigación Operativa | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/30776 | |
| dc.identifier.isbn | 9781605603223 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53439 | |
| dc.language.iso | eng | |
| dc.page.final | 53 | |
| dc.page.initial | 47 | |
| dc.page.total | 619 | |
| dc.publication.place | Durham, N.C | |
| dc.publisher | Curran Associates, Inc. | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 510.64 | |
| dc.subject.keyword | Fuzzy algorithms and programming | |
| dc.subject.keyword | Decision making | |
| dc.subject.ucm | Lógica simbólica y matemática (Matemáticas) | |
| dc.subject.unesco | 1102.14 Lógica Simbólica | |
| dc.title | Fuzzy weakest precondition and fuzzy invariants | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 4dcf8c54-8545-4232-8acf-c163330fd0fe | |
| relation.isAuthorOfPublication | 9e4cf7df-686c-452d-a98e-7b2602e9e0ea | |
| relation.isAuthorOfPublication.latestForDiscovery | 9e4cf7df-686c-452d-a98e-7b2602e9e0ea |
Download
Original bundle
1 - 1 of 1
