 |
 |
Titulo del Articulo: A PRECISE DEFINITION OF QOS FOR WEB SERVICES AND ITS APPLICATION IN THE
INVOCATION OF APPLICATIONS FROM A WORKFLOW.
REVISTA: JOURNAL OF COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING
Año de edición: 2011
Autor/es: DEBNATH, NARAYAN / MARTELLOTTO, PAOLA / DANIELE, MARCELA / RIESCO, DANIEL EDGARDO /
MONTEJANO, GERMAN ANTONIO
|
Titulo del Articulo: INTEGRATING FORMAL METHODS WITH DOMAIN ANALYSIS.
REVISTA: JOURNAL OF COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING (JCMSE)
Año de edición: 2010
Autor/es: FELICE, L. / LEONARDI, MARIA CARMEN / MAUCO, VIRGINIA / MONTEJANO, GERMAN ANTONIO /
RIESCO, DANIEL EDGARDO / DEBNATH, NARAYAN
|
Titulo del Articulo: LOGICA TEMPORAL EN VERIFICACION MODELOS DE SOFTWARE. ORIGEN Y EVOLUCION
HASTA TIEMPOS ACTUALES.
REVISTA: FUNDAMENTOS EN HUMANIDADES
Año de edición: 2010
Autor/es: GARIS, ANA GABRIELA
|
Titulo del Articulo: TRANSFORMATIONS FROM SPEM WORK SEQUENCES TO BPMN SEQUENCE FLOWS FOR
THE AUTOMATION OF SOFTWARE DEVELOPMENT PROCESS.
REVISTA: JOURNAL OF COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING (JCMSE)
Año de edición: 2010
Autor/es: PEREZ COTA, M. / RIESCO, DANIEL EDGARDO / LEE, I. / DEBNATH, NARAYAN / MONTEJANO, GERMAN ANTONIO
|
Titulo del Articulo: AN MDA APPROACH TO BUSINESS PROCESS MODEL TRANSFORMATIONS.
REVISTA: ELECTRONICAL JOURNAL OF SADIO (EJS)
Año de edición: 2010
Autor/es: ARGAÑARAZ, MAURO / FUNES, ANA MARIA / DASSO, ARISTIDES JUAN
|
|
|
Título del artículo: SPECIFICATION AND VERIFICATION OF WEB APPLICATIONS IN REWRITING LOGIC
Revista: LECTURE NOTES IN COMPUTER SCIENCE - PROCEEDINGS OF THE 16TH INTERNATIONAL
SYMPOSIUM ON FORMAL METHODS (FM2009)
Código ISBN/ISSN: ISBN 978-3-642-05088-6
Año de edición: 2009
Autor/es: ALPUENTE, MARIA / BALLIS, DEMIS / ROMERO, DANIEL OMAR
|
|
|
Título del artículo: STRATEGIES FOR PROGRAM INSPECTION AND VISUALIZATION
Revista: ACTA ELECTROTECHNICA ET INFORMATICA
Código ISBN/ISSN: ISSN 1335-8243
Año de edición: 2009
Autor/es: CRUZ, DANIELA / BERON, MARIO MARCELO / HENRIQUES, PEDRO / VARANDA, M.
|
|
|
Título del artículo: AN INSTANTIATION OF HIERARCHICAL DISTANCE-BASED CONCEPTUAL CLUSTERING FOR
PROPOSITIONAL LEARNING
Revista: LECTURE NOTES IN ARTIFICIAL INTELIGENCE - "ADVANCES IN KNOWLEDGE DISCOVERY
AND DATA MINING", PROCEEDINGS OF THE 13TH P
Código ISBN/ISSN: ISBN 978-3-642-01306-5
Año de edición: 2009
Autor/es: FUNES, ANA MARIA / FERRI, CESAR / HERNANDEZ-ORALLO, JOSE / RAMIREZ-QUINTANA, MARIA JOSE
|
|
|
Título del artículo: TRANSPARENT IP CORES INTEGRATION BASED ON THE DISTRIBUTED OBJECT PARADIGM
Revista: INTELLIGENT TECHNICAL SYSTEMS
Código ISBN/ISSN: ISBN 1876-1100
Año de edición: 2009
Autor/es:
|
|
|
Título del artículo: TRANSFORMATIONS FROM SPEM WORK SEQUENCES TO BPMN SEQUENCE FLOWS FOR
THE AUTOMATION OF SOFTWARE DEVELOPMENT PROCESS
Revista: JOURNAL OF COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING (JCMSE)
Año de edición: 2009
Autor/es: PEREZ COTA, M. / RIESCO, DANIEL EDGARDO / DEBNATH, NARAYAN / MONTEJANO, GERMAN ANTONIO
|
|
|
Título del artículo: MODEL CHECKING LTL FORMULAE IN RAISE WITH FDR
Revista: INTEGRATED FORMAL METHODS
Código ISBN/ISSN: 978-3-642-00254-0
Año de edición: 2009
Autor/es: PARISACA VARGAS, ABIGAIL / GARIS, ANA GABRIELA / TAPIA TARIFA, LIZETH / GEORGE, CHRIS
|
|
|
Título del artículo: A VISUAL TECHNIQUE FOR WEB PAGES COMPARISON
Revista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Código ISBN/ISSN: ISSN 1571-0661
Año de edición: 2009
Autor/es: ALPUENTE, MARIA / ROMERO, DANIEL OMAR
|
|
|
Título del artículo: TRANSPARENT DYNAMIC RECONFIGURATION AS A SERVICE OF A SYSTEM-LEVEL
Revista: LECTURE NOTES IN COMPUTER SCIENCE - Reconfigurable Computing: Architectures, Tools
and Applications, PROCEEDINGS OF THE
Código ISBN/ISSN: 978-3-642-00640-1
Año de edición: 2009
Autor/es: RINCÓN, FERNANDO / BARBA, JESUS / MOYA, FRANSISCO / LOPEZ, JUAN CARLOS / DONDO GAZZANO,
JULIO DANIEL
|
|
|
Título del artículo: DYNAMIC SLICING OF LAZY FUNCTIONAL PROGRAMS BASED ON REDEX TRAILS
Revista: HIGHER-ORDER AND SYMBOLIC COMPUTATION
Año de edición: 2008
Autor/es: OCHOA, CLAUDIO / SILVA, JOSEP / VIDAL, GERMÁN
|
|
|
Título del artículo: ORACLE-BASED PARTIAL EVALUATION
Revista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Año de edición: 2008
Autor/es: OCHOA, CLAUDIO / PUEBLA, GERMÁN
|
|
|
Título del artículo: TRANSFORMACION EN QVT DE PROCESOS DE DESARROLLO DE SOFTWARE BASADOS EN
SPEM A WORKFLOWS
Revista: IEEE AMERICA LATINA
Código ISBN/ISSN: ISSN: 1548-0992
Año de edición: 2008
Autor/es: ZORZAN, FABIO / RIESCO, DANIEL EDGARDO
|
|
|
Título del artículo: A TOOL FOR AUTOMATED CERTIFICATION OF JAVA SOURCE CODE IN MAUDE
Revista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Código ISBN/ISSN: ISSN 1571-0661
Año de edición: 2008
Autor/es: ALBA-CASTRO, MAURICIO / ALPUENTE, MARIA / ESCOBAR, SANTIAGO / OJEDA, PEDRO / ROMERO,
DANIEL OMAR
|
|
|
Título del artículo: MECHANISED WIRE-WISE VERIFICATION OF HANDEL-C SYNTHESIS
Revista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Código ISBN/ISSN: ISSN 1571-0661
Año de edición: 2008
Autor/es: PERNA, JUAN IGNACIO / WOODCOCK, JIM
|
|
|
Título del artículo: HIERARCHICAL DISTANCE BASED CONCEPTUAL CLUSTERING
Revista: LECTURE NOTES IN COMPUTER SCIENCE - MACHINE LEARNING AND KNOWLEDGE
DISCOVERY IN DATABASES, PROCEEDINGS OF THE EUROPEAN C
Código ISBN/ISSN: ISSN 0302-9743
Año de edición: 2008
Autor/es: FUNES, ANA MARIA / FERRI, CESAR / HERNANDEZ-ORALLO, JOSE / RAMIREZ-QUINTANA, MARIA JOSE
|
|
|
Título del artículo: RAISE TOOL USER GUIDE - SAL TRANSLATOR
Revista: UNU-IIST TECHNICAL REPORT 227
Año de edición: 2008
Autor/es: GARIS, ANA GABRIELA / GEORGE, CHRIS
|
|
|
Título del artículo: Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
LNCS 3901 - Springer (Revised Selected Papers).2006 Vol. 1. Nº 1 Páginas: 80-97.ISBN/ISSN: 978-3-540-32654-0. C. OCHOA, G. PUEBLA
|
|
|
Título del artículo: Agilizando el Proceso de Producción de Software en un Entorno CMM de Nivel 5
Revista IEEE América Latina. Vol. 3. Nº 1 Páginas: 1-8. ISBN/ISSN: 1548-0992. P. Maller, C. Ochoa, J. Silva
|
|
|
Título del artículo: Specification in RSL of Timed Petri Nets using Clocks
Journal of Computational Methods in Sciences and Engineering. Vol. 5. Nº 1 Páginas: 185-199. ISBN/ISSN: 1472-7978. R. Uzal, D. Riesco, G. Montejano, G. Vilallonga
|
|
|
Título del artículo: A Tool for JSP persistent classes
Journal of Computational Methods in Sciences and Engineering. Vol. 5. Nº 1 Páginas: 81-92. ISBN/ISSN: 1472-7978. A. Garis, C. Albornoz, D. Riesco, G. Montejano.
|
|
|
Título del artículo: Object oriented Metrics Applied to Unified Process Models
Special Issue of the JOURNAL of Computational Methods in Science and Engineering. 2004. Riesco, Daniel Edgardo / German Montejano / et al.
|
|
|
Título del artículo: Designing a particular balanced scorecard to manage a very important Hydroelectric project
Special Issue of the JOURNAL of Computational Methods in Science and Engineering. 2004. Uzal Roberto / Riesco, Daniel Edgardo / German Montejano / et al.
|
|
|
Título del artículo: Software Configuration Management in a Parallel Development Environment
International Journal of Computers and Applications. 2004. Vol. 26. Nº 2 Páginas: 75-82.Código ISSN:1206-212X. Uzal Roberto / Riesco, Daniel Edgardo / German Montejano / et al.
|
|
|
Título del artículo: Formalization of the Balanced Scorecard Implementation Viewed as Project Plan
Information, An International Interdisciplinary Journal. 2004. Vol. 7. Nº 1 Páginas: 75-82. ISSN:1343-45001344-8994. Uzal Roberto / Riesco, Daniel Edgardo / German Montejano / et al.
|
|
|
Título del artículo: Guidelines For Applying XP@SCRUM In a CMM Level 5 Organization
AGILE TIMES NEWSLETTER. 2003. Vol. 2. Páginas: 23-30. Ochoa Claudio Julio Gabriel / et al.
|
|
|
Título del artículo: Using Business Process Reengineering to obtain a Raise Specification
Journal of Computer Science & Technology. 2002. Vol. 2. Páginas: 21-27. Uzal Roberto / Riesco, Daniel Edgardo / German Montejano / et al.
|
|
|
Título del artículo: Using UML class diagram for Raise applicative specification
ACIS International Journal of Computer & Information Science. Vol. 3. Páginas: 84-93. ISBN/ISSN: 1525-9293. D. Riesco, G. Montejano, A. Dasso, A. Funes, R. Uzal.
|
|
|
Título del artículo: Formalizing the Balanced Scoredcard Domain
ACIS International Journal of Computer & Information Science. December 2002, Vol. 3, Nº 4, ISSN 1525-9293. G. Montejano, R. Uzal, D. Riesco, N. Debnath.
|
|
|
Título del artículo: The LSP Method Applied to Human Resources Evaluation and Selection
COMPUTER SCIENCE & INFORMATION MANAGEMENT. 2000, Vol. 3, Páginas: 84-93, ISBN/ISSN: 1525-4372. Dasso, Aristides Juan/ Funes Ana Maria / Montejeno, German Antonio / Riesco, Daniel Edgardo / Uzal, Roberto
|
