Publication:
Fuzzy specification in software engineering

dc.book.titleInformation Sciences 2007. Proceedings of the 10th Joint Conference Salt Lake City, Utah, USA, 18 – 24 July 2007.
dc.contributor.authorLopez, Victoria
dc.contributor.authorMontero, Javier
dc.contributor.editorWang, Paul P.
dc.date.accessioned2023-06-20T13:41:33Z
dc.date.available2023-06-20T13:41:33Z
dc.date.issued2007
dc.description.abstractJudging quality of any decision making procedure is a key problem whenever there is no possibility of developing a sequence of experiments allowing some kind of ratio relative to good results. It may be the case that we have only chances for a unique experiment or no similar experiences are available, but it may be also the case that no standard experiment allows the observation of such a good behavior, simply because such good behavior can not be properly defined. This situation is quite often associated to complex decision making problems. Then the only support we can find for our decision is the decision process itself, the consistency of the arguments leading to such a decision. Checking the quality of such a procedure is therefore a key issue. In this paper we postulate that the design and formal specification of algorithms and processes require a fuzzy approach, since quite often specification is being poorly dened.
dc.description.departmentDepto. de Estadística e Investigación Operativa
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedTRUE
dc.description.statuspub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/29054
dc.identifier.doihttp//:dx.doi.org/10.1142/9789812709677_0196
dc.identifier.isbn978-981-270-967-7
dc.identifier.officialurlhttp://www.worldscientific.com/doi/pdf/10.1142/9789812709677_0196
dc.identifier.relatedurlhttp://www.worldscientific.com
dc.identifier.urihttps://hdl.handle.net/20.500.14352/53404
dc.language.isoeng
dc.page.final1383
dc.page.initial1377
dc.publication.placeSingapore
dc.publisherWorld Scientific
dc.rights.accessRightsopen access
dc.subject.cdu004.8
dc.subject.keywordFuzzy logic
dc.subject.keywordFormal specification
dc.subject.keywordFecision making.
dc.subject.ucmInteligencia artificial (Informática)
dc.subject.unesco1203.04 Inteligencia Artificial
dc.titleFuzzy specification in software engineering
dc.typebook part
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Montero211.pdf
Size:
158.72 KB
Format:
Adobe Portable Document Format