![]() | 2009 | |
---|---|---|
90 | ![]() ![]() ![]() ![]() ![]() ![]() | Elena Orta, Mercedes Ruiz, Miguel Toro: A System Dynamics Approach to Web Service Capacity Management. ECOWS 2009: 109-117 |
89 | ![]() ![]() ![]() ![]() ![]() ![]() | Elena Orta, Mercedes Ruiz, Miguel Toro: Analyzing Strategic Business Rules through Simulation Modeling. I3E 2009: 357-368 |
88 | ![]() ![]() ![]() ![]() ![]() ![]() | Javier Navascués, Isabel Ramos, Miguel Toro: A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment. ICSP 2009: 173-185 |
87 | ![]() ![]() ![]() ![]() ![]() ![]() | Elena Orta, Mercedes Ruiz, Miguel Toro: Análisis de los Efectos de las Políticas de Gestión de la Capacidad de los Servicios en el Cumplimiento de los SLAs utilizando Simulación. JISBD 2009: 33-44 |
86 | ![]() ![]() ![]() ![]() ![]() ![]() | José Miguel Cañete Valdeón, Francisco J. Galán, Miguel Toro: The intentional relationship of representation between the constructs of a language and reality. Data Knowl. Eng. 68(2): 173-191 (2009) |
2008 | ||
85 | ![]() ![]() ![]() ![]() ![]() ![]() | Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz Cortés, Miguel Toro: Automated error analysis for the agilization of feature modeling. Journal of Systems and Software 81(6): 883-896 (2008) |
2007 | ||
84 | ![]() ![]() ![]() ![]() ![]() ![]() | José Luis Arjona, Rafael Corchuelo, David Ruiz, Miguel Toro: From Wrapping to Knowledge. IEEE Trans. Knowl. Data Eng. 19(2): 310-323 (2007) |
2005 | ||
83 | ![]() ![]() ![]() ![]() ![]() ![]() | Antonio Ruiz Cortés, Octavio Martín-Díaz, Amador Durán Toro, Miguel Toro: Improving the Automatic Procurement of Web Services Using Constraint Programming. Int. J. Cooperative Inf. Syst. 14(4): 439-468 (2005) |
82 | ![]() ![]() ![]() ![]() ![]() ![]() | Mercedes Ruiz, Isabel Ramos, Miguel Toro: Correction: An integrated framework for simulation-based Software Process Improvement. Software Process: Improvement and Practice 10(3): 355 (2005) |
2004 | ||
81 | ![]() ![]() ![]() ![]() ![]() ![]() | Beatriz Bernárdez, Marcela Genero, Amador Durán, Miguel Toro: A Controlled Experiment for Evaluating a Metric-Based Reading Technique for Requirements Inspection. IEEE METRICS 2004: 257-268 |
80 | ![]() ![]() ![]() ![]() ![]() ![]() | Mercedes Ruiz, Isabel Ramos, Miguel Toro: Using Dynamic Modeling and Simulation to Improve the COTS Software Process. PROFES 2004: 568-581 |
79 | ![]() ![]() ![]() ![]() ![]() ![]() | José Antonio Pérez, Rafael Corchuelo, Miguel Toro: An order-based algorithm for implementing multiparty synchronization. Concurrency - Practice and Experience 16(12): 1173-1206 (2004) |
78 | ![]() ![]() ![]() ![]() ![]() ![]() | Mercedes Ruiz, Isabel Ramos, Miguel Toro: An integrated framework for simulation-based software process improvement. Software Process: Improvement and Practice 9(2): 81-93 (2004) |
2003 | ||
77 | ![]() ![]() ![]() ![]() ![]() ![]() | José Luis Arjona, Rafael Corchuelo, David Ruiz, Joaquín Peña, Miguel Toro: Knowledge Channels. Bringing the Knowledge on the Web to Software Agents. CAiSE Short Paper Proceedings 2003 |
76 | ![]() ![]() ![]() ![]() ![]() ![]() | Octavio Martín-Díaz, Antonio Ruiz Cortés, Amador Durán, David Benavides, Miguel Toro: Automating the Procurement of Web Services. ICSOC 2003: 91-103 |
75 | ![]() ![]() ![]() ![]() ![]() ![]() | Antonia M. Reina Quintero, Jesus Torres Valderrama, Miguel Toro, Juan A. Álvarez: Concerns vs Components for Web Development. ICWI 2003: 873-876 |
74 | ![]() ![]() ![]() ![]() ![]() ![]() | Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho: A Genetic Algorithm for Assembly Sequence Planning. IWANN (2) 2003: 337-344 |
73 | ![]() ![]() ![]() ![]() ![]() ![]() | Beatriz Bernárdez, Amador Durán, Miguel Toro: Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas. JISBD 2003: 147-156 |
72 | ![]() ![]() ![]() ![]() ![]() ![]() | Octavio Martín-Díaz, David Benavides, Joaquín Peña, Miguel Toro: Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web. JISBD 2003: 209-220 |
71 | ![]() ![]() ![]() ![]() ![]() ![]() | Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, Miguel Toro: On Selecting and Scheduling Assembly Plans Using Constraint Programming. KES 2003: 1329-1336 |
70 | ![]() ![]() ![]() ![]() ![]() ![]() | Octavio Martín-Díaz, Antonio Ruiz Cortés, David Benavides, Amador Durán, Miguel Toro: A Quality-Aware Approach to Web Services Procurement. TES 2003: 42-53 |
69 | ![]() ![]() ![]() ![]() ![]() ![]() | José Luis Arjona, Rafael Corchuelo, Miguel Toro: A Knowledge Extraction Process Specification for Today's Non-Semantic Web. Web Intelligence 2003: 61-67 |
68 | ![]() ![]() ![]() ![]() ![]() ![]() | David Ruiz, Rafael Corchuelo, Miguel Toro: Fairness in systems based on multiparty interactions. Concurrency and Computation: Practice and Experience 15(11-12): 1093-1116 (2003) |
67 | ![]() ![]() ![]() ![]() ![]() ![]() | Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro: Evolutionary learning of hierarchical decision rules. IEEE Transactions on Systems, Man, and Cybernetics, Part B 33(2): 324-331 (2003) |
66 | ![]() ![]() ![]() ![]() ![]() ![]() | José Cristóbal Riquelme Santos, Jesús S. Aguilar-Ruiz, Miguel Toro: Finding representative patterns with ordered projections. Pattern Recognition 36(4): 1009-1018 (2003) |
65 | ![]() ![]() ![]() ![]() ![]() ![]() | Jesús Torres, Juan Antonio Ortega, Miguel Toro: Interactions among dynamic sets of objects. Requir. Eng. 8(1): 78-84 (2003) |
2002 | ||
64 | ![]() ![]() ![]() ![]() ![]() ![]() | Francisco J. Garijo, José Cristóbal Riquelme Santos, Miguel Toro: Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings Springer 2002 |
63 | ![]() ![]() ![]() ![]() ![]() ![]() | José Luis Arjona, Rafael Corchuelo, Antonio Ruiz Cortés, Miguel Toro: Automatic Extraction of Semantically-Meaningful Information from the Web.. AH 2002: 24-35 |
62 | ![]() ![]() ![]() ![]() ![]() ![]() | José Luis Arjona, Rafael Corchuelo, Antonio Ruiz Cortés, Miguel Toro: A Practical Agent-Based Method to Extract Semantic Information from the Web. CAiSE 2002: 697-700 |
61 | ![]() ![]() ![]() ![]() ![]() ![]() | Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres: Qualitative Comparison of Temporal Series. QSI. CCIA 2002: 75-87 |
60 | ![]() ![]() ![]() ![]() ![]() ![]() | José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro: An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions. COORDINATION 2002: 250-257 |
59 | ![]() ![]() ![]() ![]() ![]() ![]() | David Ruiz, Rafael Corchuelo, José Antonio Pérez, Miguel Toro: An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions. Euro-Par 2002: 563-572 |
58 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181 |
57 | ![]() ![]() ![]() ![]() ![]() ![]() | Antonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres: A Semiquantitative Approach to Study Semiqualitative Systems. IBERAMIA 2002: 303-312 |
56 | ![]() ![]() ![]() ![]() ![]() ![]() | Carmelo Del Valle, Miguel Toro, Rafael Ceballos, Jesús S. Aguilar-Ruiz: A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. IBERAMIA 2002: 835-844 |
55 | ![]() ![]() ![]() ![]() ![]() ![]() | José Luis Herrero, Marisol Sánchez, Fernando Sánchez, Miguel Toro: Propuesta de un Profile de Aspectos en UML. JISBD 2002: 103-114 |
54 | ![]() ![]() ![]() ![]() ![]() ![]() | Antonio Ruiz Cortés, Amador Durán, Rafael Corchuelo, Miguel Toro: Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements. JISBD 2002: 117-126 |
53 | ![]() ![]() ![]() ![]() ![]() ![]() | Amador Durán, Antonio Ruiz Cortés, Rafael Corchuelo, Miguel Toro: Assisting the Requirements Verifier with XML Technology. JISBD 2002: 127-138 |
52 | ![]() ![]() ![]() ![]() ![]() ![]() | Mercedes Ruiz Carreira, Isabel Ramos, Miguel Toro: Marco Dinámico Integrado para la Mejora de los Procesos Software. JISBD 2002: 293-302 |
51 | ![]() ![]() ![]() ![]() ![]() ![]() | R. Cevallos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Diagnosis de Software usando técnicas Max-CSP. JISBD 2002: 425-426 |
50 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael Corchuelo, Miguel Toro: Servicios Web: Hacia una nueva era en el desarrollo de aplicaciones para Internet. JISBD 2002: 7 |
49 | ![]() ![]() ![]() ![]() ![]() ![]() | Mercedes Ruiz, Isabel Ramos, Miguel Toro: Integrating Dynamic Models for CMM-Based Software Process Improvement. PROFES 2002: 63-77 |
48 | ![]() ![]() ![]() ![]() ![]() ![]() | Amador Durán, Antonio Ruiz Cortés, Rafael Corchuelo, Miguel Toro: Supporting Requirements Verification Using XSLT. RE 2002: 165-172 |
47 | ![]() ![]() ![]() ![]() ![]() ![]() | José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro: An enablement detection algorithm for open multiparty interactions. SAC 2002: 378-384 |
46 | ![]() ![]() ![]() ![]() ![]() ![]() | Antonio Ruiz Cortés, Amador Durán, Rafael Corchuelo, Miguel Toro: Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements. WER 2002: 299-309 |
45 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael Corchuelo, José Antonio Pérez, Antonio Ruiz Cortés, Miguel Toro: Repairing syntax errors in LR parsers. ACM Trans. Program. Lang. Syst. 24(6): 698-710 (2002) |
44 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: A Framework for Semiqualitative Reasoning in Engineering Applications. Applied Artificial Intelligence 16(3): 173-197 (2002) |
43 | ![]() ![]() ![]() ![]() ![]() ![]() | Mercedes Ruiz, Isabel Ramos, Miguel Toro: A Dynamic Integrated Framework for Software Process Improvement. Software Quality Journal 10(2): 181-194 (2002) |
2001 | ||
42 | ![]() ![]() ![]() ![]() ![]() ![]() | José Javier Dolado, Mario Piattini, Miguel Toro, Juan J. Cuadrado: ADIS 2001, Apoyo a la Decisión en Ingeniería del Software - Decision Support in Software Engineering, Proceedings of the II ADIS 2001 Workshop on Decision Support in Software Engineering, Almagro, Ciudad Real, Spain, November 20, 2001 CEUR-WS.org 2001 |
41 | ![]() ![]() ![]() ![]() ![]() ![]() | Mercedes Ruiz, Isabel Ramos, Miguel Toro: Mejora de los procesos software utilizando simulacion e integracion de tecnicas. ADIS 2001 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | Octavio Martín-Díaz, Antonio Ruiz Cortés, Miguel Toro: Una Aproximación a la Evaluación Automática de Alternativas de Diseño. ADIS 2001 |
39 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. CP 2001: 595-599 |
38 | ![]() ![]() ![]() ![]() ![]() ![]() | José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro: A Framework for Aspect-Oriented Multiparty Coordination. DAIS 2001: 161-174 |
37 | ![]() ![]() ![]() ![]() ![]() ![]() | Fernando Sánchez, Miguel Toro, José Luis Herrero: Fault Tolerance as an Aspect Using Jreplica. FTDCS 2001: 201-209 |
36 | ![]() ![]() ![]() ![]() ![]() ![]() | Antonio Ruiz Cortés, Miguel Toro, Rafael Corchuelo, Amador Durán: Automated Support for Quality Requirements in Web-Service-Based Systems. FTDCS 2001: 48-55 |
35 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael Corchuelo, Jesús S. Aguilar-Ruiz, José Luis Arjona, Miguel Toro, José Cristóbal Riquelme Santos: Orientando a Aspectos la captura de datos de Internet para activar Reglas de Decisión en Agentes Web. JISBD 2001: 113-128 |
34 | ![]() ![]() ![]() ![]() ![]() ![]() | José Cristóbal Riquelme Santos, Isabel Ramos, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano, Miguel Toro, José Javier Dolado, A. Ruiz de Infante, Javier Tuya, P. Fernández, M. A. Prieto, Mercedes Ruiz Carreira, D. Rodriguez-García, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez: SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. JISBD 2001: 131-144 |
33 | ![]() ![]() ![]() ![]() ![]() ![]() | Antonio Ruiz Cortés, Amador Durán, Rafael Corchuelo, Miguel Toro: Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios WEB. JISBD 2001: 615- |
32 | ![]() ![]() ![]() ![]() ![]() ![]() | José Luis Herrero, Fernando Sánchez, Miguel Toro: JReplica: Modelo de replicación transparente e independiente del ORB. JISBD 2001: 85-98 |
31 | ![]() ![]() ![]() ![]() ![]() ![]() | Amador Durán, Beatriz Bernárdez, Antonio Ruiz Cortés, Miguel Toro: An XMLBased Approach for the Automatic Verification of Software Requirements Specifications. WER 2001: 181-194 |
30 | ![]() ![]() ![]() ![]() ![]() ![]() | Antonio Ruiz Cortés, Amador Durán, Rafael Corchuelo, Beatriz Bernárdez, Miguel Toro: Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales. WER 2001: 195-209 |
29 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas. Computación y Sistemas 4(3): 230-241 (2001) |
28 | ![]() ![]() ![]() ![]() ![]() ![]() | Jesús S. Aguilar-Ruiz, Isabel Ramos, José Cristóbal Riquelme Santos, Miguel Toro: An evolutionary approach to estimating software development projects. Information & Software Technology 43(14): 875-882 (2001) |
27 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14: 68-77 (2001) |
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro: Data set Editing by Ordered Projection. Intell. Data Anal. 5(5): 405-417 (2001) |
25 | ![]() ![]() ![]() ![]() ![]() ![]() | Mercedes Ruiz, Isabel Ramos, Miguel Toro: A simplified model of software project dynamics. Journal of Systems and Software 59(3): 299-309 (2001) |
2000 | ||
24 | ![]() ![]() ![]() ![]() ![]() ![]() | Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro: Data Set Editing by Ordered Projection. ECAI 2000: 251-255 |
23 | ![]() ![]() ![]() ![]() ![]() ![]() | José Luis Herrero, Marisol Sánchez, Fernando Sánchez, Miguel Toro: Eficiencia o adaptabilidad: Factores de calidad. JISBD 2000: 177-190 |
22 | ![]() ![]() ![]() ![]() ![]() ![]() | Joaquín Peña, Rafael Corchuelo, Antonio Ruiz Cortés, Francisco J. Ferrer-Troyano, Miguel Toro: Una Aproximación al Desarrollo de Software Basada en el Prototipado Arquitectónico. JISBD 2000: 191-202 |
21 | ![]() ![]() ![]() ![]() ![]() ![]() | José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro: Primeros Pasos hacia un Compilador de UML/OCL. JISBD 2000: 27-32 |
20 | ![]() ![]() ![]() ![]() ![]() ![]() | José Cristóbal Riquelme Santos, Jesús S. Aguilar-Ruiz, Miguel Toro: Discovering hierarchical decision rules with evolutive algorithms in supervised learning. Int. J. Comput. Syst. Signal 1(1): 73-84 (2000) |
19 | ![]() ![]() ![]() ![]() ![]() ![]() | Miguel Toro, Juan Antonio Ortega, Rafael M. Gasca: Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 9: 45-57 (2000) |
18 | ![]() ![]() ![]() ![]() ![]() ![]() | Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Obtención de patrones de Comportamiento de Modelos Semicualitativos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 9: 66-75 (2000) |
17 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 9: 85-97 (2000) |
16 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael Corchuelo, José Antonio Pérez, Miguel Toro: A Multiparty Coordination Aspect Language. SIGPLAN Notices 35(12): 24-32 (2000) |
1999 | ||
15 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael Corchuelo, David Ruiz, Miguel Toro, Antonio Ruiz Cortés: Implementing Multiparty Interactions on a Network Computer. EUROMICRO 1999: 2458-2465 |
14 | ![]() ![]() ![]() ![]() ![]() ![]() | Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro: Three Geometric Approaches for representing Decision Rules in a Supervised Learning System. GECCO 1999: 771 |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | Amador Durán Toro, B. Bernárdez Jiménez, Miguel Toro, Antonio Ruiz Cortés: Elicitatión de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos. JISBD 1999: 183-194 |
12 | ![]() ![]() ![]() ![]() ![]() ![]() | Octavio Martín-Díaz, Jesús Torres, Amador Durán Toro, José Antonio Pérez, Miguel Toro: Semántica formal de asociaciones y agregados para su implementación con reglas activas. JISBD 1999: 55-56 |
1998 | ||
11 | ![]() ![]() ![]() ![]() ![]() ![]() | Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro: Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes. IBERAMIA 1998: 326-336 |
10 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Automatic Semiqualitative Analysis: Application to a Biometallurgical System. IEA/AIE (Vol. 1) 1998: 321-328 |
9 | ![]() ![]() ![]() ![]() ![]() ![]() | Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Including Qualitative Knowledge in Semiqualitative Dynamical Systems. IEA/AIE (Vol. 1) 1998: 329-335 |
8 | ![]() ![]() ![]() ![]() ![]() ![]() | Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro: A Tool to Obtain a Hierarchical Qualitative Rules form Quantitative Data. IEA/AIE (Vol. 1) 1998: 336-346 |
7 | ![]() ![]() ![]() ![]() ![]() ![]() | Víctor J. Díaz, Vicente Carrillo, Miguel Toro: A Review of Early-Based Parser for TIG. IEA/AIE (Vol. 1) 1998: 732-738 |
6 | ![]() ![]() ![]() ![]() ![]() ![]() | Miguel A. Ridao, José Cristóbal Riquelme Santos, Eduardo F. Camacho, Miguel Toro: An Evolutionary and Local Search Algorithm for Planning Two Manipulators Motion. IEA/AIE (Vol. 2) 1998: 105-114 |
5 | ![]() ![]() ![]() ![]() ![]() ![]() | José Cristóbal Riquelme Santos, Jesús S. Aguilar-Ruiz, Miguel Toro: Una herramienta basada en algoritmos genéticos para obtener un clasificador jerárquico en aprendizaje supervisado. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 5: 38-43 (1998) |
1997 | ||
4 | ![]() ![]() ![]() ![]() ![]() ![]() | Amador Durán, Miguel Toro: Especificaión formal y prototipado de un gestor básico de bases de datos relacionales. JIDBD 1997: 185-186 |
1996 | ||
3 | ![]() ![]() ![]() ![]() ![]() ![]() | Amador Durán, Miguel Toro, Carlos Arévalo Maldonado: Una aproximación formal al modelo relacinal básico mediante el lenguaje de especificatión Z. JIDBD 1996: 230-241 |
1995 | ||
2 | ![]() ![]() ![]() ![]() ![]() ![]() | José A. Troyano, Jesús Torres, Miguel Toro: A technique for distributed systems specification. PDP 1995: 563-570 |
1994 | ||
1 | ![]() ![]() ![]() ![]() ![]() ![]() | José A. Troyano, Jesús Torres, Miguel Toro: Especificacion orientada a objetos desde un enfoque algebraico. GULP-PRODE (2) 1994: 450-451 |