Formal Specification under Fuzziness.
Victoria LópezJavier MonteroPublished in: J. Multiple Valued Log. Soft Comput. (2009)
Keyphrases
- formal specification
- model checking
- fuzzy logic
- object oriented design
- specification language
- specification languages
- process algebra
- cloud model
- reverse engineering
- concurrent systems
- fuzzy numbers
- data abstraction
- formal specification language
- formal methods
- software components
- membership functions
- temporal logic
- relational databases
- decision making
- software maintenance
- computation tree logic