메뉴 건너뛰기




Volumn 15, Issue 2-3, 2009, Pages 209-228

Formal specification under fuzziness

Author keywords

Decision making; Formal specification; Fuzzy logic

Indexed keywords

COMPLEX DECISION; DECISION MAKING PROCEDURE; DECISION PROCESS; FORMAL SPECIFICATION; FUZZY APPROACH; KEY ISSUES; KEY PROBLEMS;

EID: 68149165462     PISSN: 15423980     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper
Times cited : (11)

References (31)
  • 4
    • 0012719654 scopus 로고    scopus 로고
    • Agreggation operators: Properties, classes and construction methods
    • T. Calvo, G. Mayor and R. Mesiar Eds, Physica-Verlag, Heidelberg
    • T. Calvo, A. Kolesarova, M. Komornikova and R. Mesiar. Agreggation operators: properties, classes and construction methods. In T. Calvo, G. Mayor and R. Mesiar (Eds.), Aggregation Operators, Physica-Verlag, Heidelberg, 2002, pp. 3-104.
    • (2002) Aggregation Operators , pp. 3-104
    • Calvo, T.1    Kolesarova, A.2    Komornikova, M.3    Mesiar, R.4
  • 8
    • 0036149234 scopus 로고    scopus 로고
    • Correctness by construction: Developing a commercially secure system
    • A. Hall and R. Chapman. Correctness by construction: developing a commercially secure system. IEEE Software 19 (2002), 18-25.
    • (2002) IEEE Software , vol.19 , pp. 18-25
    • Hall, A.1    Chapman, R.2
  • 9
    • 34547229287 scopus 로고    scopus 로고
    • Realising the Benefits of Formal Methods
    • A. Hall. Realising the Benefits of Formal Methods. Journal of Universal Computer Science 13 (2007), 669-675.
    • (2007) Journal of Universal Computer Science , vol.13 , pp. 669-675
    • Hall, A.1
  • 10
    • 84945708698 scopus 로고
    • An axiomatic basis for computer programming
    • C. A. R. Hoare. An axiomatic basis for computer programming, Communications ACM 12(1969), 89-100.
    • (1969) Communications ACM , vol.12 , pp. 89-100
    • Hoare, C.A.R.1
  • 14
    • 34250678693 scopus 로고    scopus 로고
    • A functional tool for Fuzzy First Order Logic Evaluation
    • D. Ruan, P. D'hont, P. F. Fantoni, M. De Cock, M. Nachtegael and E. E. Kerre, Eds, World Scientific, New Jersey
    • V. López, J. M. Cleva and J. Montero. A functional tool for Fuzzy First Order Logic Evaluation. In D. Ruan, P. D'hont, P. F. Fantoni, M. De Cock, M. Nachtegael and E. E. Kerre, (Eds.), Applied Artificial Intelligence, World Scientific, New Jersey, 2006, pp. 19-26.
    • (2006) Applied Artificial Intelligence , pp. 19-26
    • López, V.1    Cleva, J.M.2    Montero, J.3
  • 18
    • 0004198444 scopus 로고
    • B. Meyer. Eiffel: The language, http://www.engin.umd.umich.edu/ CIS/course.des/cis400/eiffel/eiffel.html, 1992.
    • (1992) Eiffel: The language
    • Meyer, B.1
  • 20
    • 8844221474 scopus 로고    scopus 로고
    • Crisp acts, fuzzy decisions
    • S. Barro et al, Eds, University of Santiago de Compostela
    • J. Montero and M. Mendel. Crisp acts, fuzzy decisions. In S. Barro et al., (Eds.), Advances in Fuzzy Logic, University of Santiago de Compostela, 1998, pp. 219-238.
    • (1998) Advances in Fuzzy Logic , pp. 219-238
    • Montero, J.1    Mendel, M.2
  • 22
    • 0033163750 scopus 로고    scopus 로고
    • Qualitative methods in empirical studies of software engineering
    • C. B. Seaman. Qualitative methods in empirical studies of software engineering, IEEE Transaction on Software Engineering 25 (1999), 557-572.
    • (1999) IEEE Transaction on Software Engineering , vol.25 , pp. 557-572
    • Seaman, C.B.1
  • 26
    • 51449094740 scopus 로고
    • Standish Group. The Standish Group Chaos Report, http://www.projectsmart.co.uk/docs/chaos-report.pdf, 1995.
    • (1995) The Standish Group Chaos Report
  • 28
    • 0032070168 scopus 로고    scopus 로고
    • Should computer scientists experiment more?
    • F. Tichy. Should computer scientists experiment more? Computer 31 (1998), 32-40.
    • (1998) Computer , vol.31 , pp. 32-40
    • Tichy, F.1
  • 31
    • 4544383650 scopus 로고    scopus 로고
    • From computing with numbers to computing with words-From manipulation of measurements to manipulation of perceptions
    • P. P. Wang, Ed, Wiley, New York
    • L. A. Zadeh. From computing with numbers to computing with words-From manipulation of measurements to manipulation of perceptions. In P. P. Wang, (Ed.), Computing with words,Wiley, New York, 2001, pp. 35-68.
    • (2001) Computing with words , pp. 35-68
    • Zadeh, L.A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.