Formal Engineering with Fuzzy Logic

摘要

Formal engineering constitutes a very important issue in software engineering projects in real life. The developing of software does not always reach the desired level of reliability and performance even the life cycle of the project used to be controlled by methodologies and specific tools as Formal Languages and Formal Methods. Despite the efforts the question is that even in the best cases, the final product has a lot of errors and in some cases these errors produce catastrophic disasters (ARIANE 5, for example). This paper shows a new proposal to formalize the life cycle according to the worker at each stage and the importance of using not only the classical logics (propositional and first order), but also fuzzy logic in order to formalize the certain and uncertain information involved in natural language.