-
1
-
-
54549086290
-
Building a fuzzy logic programming tool
-
Zaragoza
-
J. M. Abietar, P. J. Morcillo and G. Moreno. Building a fuzzy logic programming tool, Proceedings of the Spanish Conference on Informatics, CEDI, Thomsom-Paraninfo, Zaragoza, 2007, pp. 215-222.
-
(2007)
Proceedings of the Spanish Conference on Informatics, CEDI, Thomsom-Paraninfo
, pp. 215-222
-
-
Abietar, J.M.1
Morcillo, P.J.2
Moreno, G.3
-
4
-
-
0012719654
-
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
-
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
-
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
-
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
-
13
-
-
0036704729
-
Preliminary guidelines for empirical research in software engineering
-
B. A. Kitchenham, S. L. Pfleeger, L. M. Pickard. P. W. Jones, D. C. Hoaglin, K. E. Emam and J. Rosenberg. Preliminary guidelines for empirical research in software engineering. IEEE Transaction on Software Engineering 28 (2002), 721-734.
-
(2002)
IEEE Transaction on Software Engineering
, vol.28
, pp. 721-734
-
-
Kitchenham, B.A.1
Pfleeger, S.L.2
Pickard, L.M.3
Jones, P.W.4
Hoaglin, D.C.5
Emam, K.E.6
Rosenberg, J.7
-
14
-
-
34250678693
-
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
-
15
-
-
58049167545
-
Fuzzy specification of algorithms
-
Jaén
-
V. López and J. Montero. Fuzzy specification of algorithms, Proceedings of the New Trends in Preference Modeling, Eurofuse Workshop, A Demanda, Jaén, 2007, pp. 151-156.
-
(2007)
Proceedings of the New Trends in Preference Modeling, Eurofuse Workshop, A Demanda
, pp. 151-156
-
-
López, V.1
Montero, J.2
-
17
-
-
45149090786
-
Specification and computing states in fuzzy algorithms
-
V. López, J. Montero, L. Garmendia and G. Resconi. Specification and computing states in fuzzy algorithms. International Journal of Uncertainty, Fuzziness and Knowledge-based Systems 16 (2008), 301-336.
-
(2008)
International Journal of Uncertainty, Fuzziness and Knowledge-based Systems
, vol.16
, pp. 301-336
-
-
López, V.1
Montero, J.2
Garmendia, L.3
Resconi, G.4
-
18
-
-
0004198444
-
-
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
-
19
-
-
34250621373
-
The role of fuzziness in decision making
-
D. Ruan et al, Eds, Springer
-
J. Montero, V. López and D. Gómez. The role of fuzziness in decision making. In D. Ruan et al., (Eds.), Fuzzy Logic: an spectrum of applied and theoretical issues, Springer, 2008, pp. 337-349.
-
(2008)
Fuzzy Logic: An spectrum of applied and theoretical issues
, pp. 337-349
-
-
Montero, J.1
López, V.2
Gómez, D.3
-
20
-
-
8844221474
-
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
-
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
-
23
-
-
84964674913
-
Conducting realistic experiments in software experiments
-
IEEE Press
-
D. I. K. Sjoberg, B. Anda, E. Arisholm, T. Dyba, M. Jorgensen, A. Karahasanovic, E. F. Koren and M. Vokác. Conducting realistic experiments in software experiments, Proceedings of the International Symposium on Empirical Software Engineering, ISESE, IEEE Press, 2002, pp. 17-26.
-
(2002)
Proceedings of the International Symposium on Empirical Software Engineering, ISESE
, pp. 17-26
-
-
Sjoberg, D.I.K.1
Anda, B.2
Arisholm, E.3
Dyba, T.4
Jorgensen, M.5
Karahasanovic, A.6
Koren, E.F.7
Vokác, M.8
-
26
-
-
51449094740
-
-
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
-
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
-
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
|