Close
Twitter Instagram LinkedIn Facebook YouTube Spotify
DCC | Reportes Técnicos de Investigación

Reportes Técnicos

TR/DCC-2021-003 noviembre 15, 2021

CIMoL: A language for modeling interactions in people-driven collaborative processes. Sergio Ochoa, Daniel Perovich, Maximiliano Canché.

TR/DCC-2021-003

noviembre 15, 2021

CIMoL: A language for modeling interactions in people-driven collaborative processes.

Sergio Ochoa, Daniel Perovich, Maximiliano Canché.

TR/DCC-2021-002 mayo 28, 2021

Studying the properties of polygon meshes built from Delaunay triangulations. Nancy Hitschfeld, Sergio Salinas, Hang Si.

TR/DCC-2021-002

mayo 28, 2021

Studying the properties of polygon meshes built from Delaunay triangulations.

Nancy Hitschfeld, Sergio Salinas, Hang Si.

TR/DCC-2021-001 mayo 18, 2021

DynaTail: A Method for Hybrid Software Process Tailoring. María Cecilia Bastarrica, Jacqueline Marín, Julio Ariel Hurtado, Luis Silvestre.

TR/DCC-2021-001

mayo 18, 2021

DynaTail: A Method for Hybrid Software Process Tailoring.

María Cecilia Bastarrica, Jacqueline Marín, Julio Ariel Hurtado, Luis Silvestre.

TR/DCC-2017-001-v2 marzo 3, 2021

Gradual Refinement Types — Extended Version with Proofs. Éric Tanter, Matías Toro.

TR/DCC-2017-001-v2

marzo 3, 2021

Gradual Refinement Types — Extended Version with Proofs.

Éric Tanter, Matías Toro.

TR/DCC-2021-002 marzo, 2021

The existential theory of equations with rational constraints in free groups is PSPACE-complete. Claudio Gutiérrez, Volker Diekert, Christian Hagenah.

TR/DCC-2021-002

marzo, 2021

The existential theory of equations with rational constraints in free groups is PSPACE-complete.

Claudio Gutiérrez, Volker Diekert, Christian Hagenah.

TR/DCC-2020-001 diciembre 9, 2020

Topological Data Analysis based classification: preliminary results. Nancy Hitschfeld, Rolando Kindelan, Mauricio Cerda.

TR/DCC-2020-001

diciembre 9, 2020

Topological Data Analysis based classification: preliminary results.

Nancy Hitschfeld, Rolando Kindelan, Mauricio Cerda.

TR/DCC-2020-002 diciembre 9, 2020

Preliminary results on classification based on Topological Data Analysis. Nancy Hitschfeld, Rolando Kindelan, Mauricio Cerda.

TR/DCC-2020-002

diciembre 9, 2020

Preliminary results on classification based on Topological Data Analysis.

Nancy Hitschfeld, Rolando Kindelan, Mauricio Cerda.

TR/DCC-2019-003 octubre, 2019

Understanding Requirements at Estimation Time: An Open Issue for Research. Sergio Ochoa, Daniel Perovich, Tomas Vera.

TR/DCC-2019-003

octubre, 2019

Understanding Requirements at Estimation Time: An Open Issue for Research.

Sergio Ochoa, Daniel Perovich, Tomas Vera.

TR/DCC-2018-004-v2 septiembre 10, 2019

Type-Driven Gradual Security with References: Complete Definitions and Proofs. Éric Tanter, Matías Toro, Ronald Garcia.

TR/DCC-2018-004-v2

septiembre 10, 2019

Type-Driven Gradual Security with References: Complete Definitions and Proofs.

Éric Tanter, Matías Toro, Ronald Garcia.

TR/DCC-2019-002 agosto 21, 2019

Requirements Elicitation for Collaborative Systems: A Systematic review. José A. Pino, Maximiliano Canche.

TR/DCC-2019-002

agosto 21, 2019

Requirements Elicitation for Collaborative Systems: A Systematic review.

José A. Pino, Maximiliano Canche.

TR/DCC-2019-001 junio 20, 2019

Understanding the Software Development Effort Estimation in Chilean Small Companies. Sergio Ochoa, Daniel Perovich, Tomas Vera.

TR/DCC-2019-001

junio 20, 2019

Understanding the Software Development Effort Estimation in Chilean Small Companies.

Sergio Ochoa, Daniel Perovich, Tomas Vera.

TR/DCC-2018-005 diciembre 6, 2018

An expertise communication study, relevant aspects and facts. Jhonny Cerezo.

TR/DCC-2018-005

diciembre 6, 2018

An expertise communication study, relevant aspects and facts.

Jhonny Cerezo.

TR/DCC-2018-004 agosto, 2018

Type-Driven Gradual Security with References: Complete Definitions and Proofs. Éric Tanter, Matías Toro, Ronald Garcia.

TR/DCC-2018-004

agosto, 2018

Type-Driven Gradual Security with References: Complete Definitions and Proofs.

Éric Tanter, Matías Toro, Ronald Garcia.

TR/DCC-2018-003 julio 19, 2018

Challenges of Traditional and Agile Software Processes. Jacqueline Marín Sánchez.

TR/DCC-2018-003

julio 19, 2018

Challenges of Traditional and Agile Software Processes.

Jacqueline Marín Sánchez.

TR/DCC-2018-001 marzo 20, 2018

Understanding the Software Development Effort Estimation in Chilean Small Enterprises. Sergio Ochoa, Daniel Perovich, Tomas Vera.

TR/DCC-2018-001

marzo 20, 2018

Understanding the Software Development Effort Estimation in Chilean Small Enterprises.

Sergio Ochoa, Daniel Perovich, Tomas Vera.

TR/DCC-2018-002 marzo 20, 2018

Survey of Software Development Effort Estimation Taxonomies. Sergio Ochoa, Daniel Perovich, Tomas Vera.

TR/DCC-2018-002

marzo 20, 2018

Survey of Software Development Effort Estimation Taxonomies.

Sergio Ochoa, Daniel Perovich, Tomas Vera.

TR/DCC-2017-001 junio 19, 2017

Gradual Union Types - Complete Definition and Proofs. Éric Tanter, Matías Toro.

TR/DCC-2017-001

junio 19, 2017

Gradual Union Types - Complete Definition and Proofs.

Éric Tanter, Matías Toro.

TR/DCC-2016-020 diciembre, 2016

Claudio Gutierrez Minimal Deductive Systems for RDF. Claudio Gutiérrez, Jorge Pérez, Sergio Muñoz.

TR/DCC-2016-020

diciembre, 2016

Claudio Gutierrez Minimal Deductive Systems for RDF.

Claudio Gutiérrez, Jorge Pérez, Sergio Muñoz.

TR/DCC-2016-001 noviembre 7, 2016

Gradual Refinement Types — Extended Version with Proofs. Éric Tanter, Nico Lehmann.

TR/DCC-2016-001

noviembre 7, 2016

Gradual Refinement Types — Extended Version with Proofs.

Éric Tanter, Nico Lehmann.

TR/DCC-2015-006 diciembre 21, 2015

Metrics in process discovery. Fabian Rojas Blum.

TR/DCC-2015-006

diciembre 21, 2015

Metrics in process discovery.

Fabian Rojas Blum.

TR/DCC-2015-005 noviembre 9, 2015

Reducing Waste in Expandable Collections: The Pharo Case. Alexandre Bergel, Alejandro Infante, Juan Pablo Sandoval Alcocer.

TR/DCC-2015-005

noviembre 9, 2015

Reducing Waste in Expandable Collections: The Pharo Case.

Alexandre Bergel, Alejandro Infante, Juan Pablo Sandoval Alcocer.

TR/DCC-2015-001 septiembre 7, 2015

Systematic Review PROTOCOL for 3D Reconstruction Methods from a Limited Number of X-ray Images. Nancy Hitschfeld, Eveling Gloria Castro Gutierrez.

TR/DCC-2015-001

septiembre 7, 2015

Systematic Review PROTOCOL for 3D Reconstruction Methods from a Limited Number of X-ray Images.

Nancy Hitschfeld, Eveling Gloria Castro Gutierrez.

TR/DCC-2015-003 agosto 12, 2015

Code Duplication in ROS Launchfiles. Pablo Estefó, Romain Robbes, Johan Fabry.

TR/DCC-2015-003

agosto 12, 2015

Code Duplication in ROS Launchfiles.

Pablo Estefó, Romain Robbes, Johan Fabry.

TR/DCC-2015-002 julio 14, 2015

Gradual Polymorphic Effects - Complete Definition and Soundness Proof. Éric Tanter, Matías Toro.

TR/DCC-2015-002

julio 14, 2015

Gradual Polymorphic Effects - Complete Definition and Soundness Proof.

Éric Tanter, Matías Toro.

TR/DCC-2015-001 mayo 6, 2015

Software Process Line Modeling and Evolution. María Cecilia Bastarrica, Daniel Perovich, Jocelyn Simmonds, Luis Silvestre.

TR/DCC-2015-001

mayo 6, 2015

Software Process Line Modeling and Evolution.

María Cecilia Bastarrica, Daniel Perovich, Jocelyn Simmonds, Luis Silvestre.

TR/DCC-2014-004 diciembre 4, 2014

Understanding and Addressing Exhibitionism in Java Empirical Research about Method Accessibility. Alexandre Bergel, Santiago A. Vidal, Claudia Marcos J., Andrés Díaz-Pace.

TR/DCC-2014-004

diciembre 4, 2014

Understanding and Addressing Exhibitionism in Java Empirical Research about Method Accessibility.

Alexandre Bergel, Santiago A. Vidal, Claudia Marcos J., Andrés Díaz-Pace.

TR/DCC-2014-003 junio 14, 2014

Confined Gradual Typing. Éric Tanter, Esteban Allende, Johan Fabry, Ronald Garcia.

TR/DCC-2014-003

junio 14, 2014

Confined Gradual Typing.

Éric Tanter, Esteban Allende, Johan Fabry, Ronald Garcia.

TR/DCC-2014-002 abril 25, 2014

Corpus of Literature for a Systematic Mapping Study on Practical Approaches for Teaching Software Engineering. Sergio Ochoa, Alcides Quispe S., Maíra R. Marques.

TR/DCC-2014-002

abril 25, 2014

Corpus of Literature for a Systematic Mapping Study on Practical Approaches for Teaching Software Engineering.

Sergio Ochoa, Alcides Quispe S., Maíra R. Marques.

TR/DCC-2014-001 enero 20, 2014

A Megamodel for Process Tailoring and Evolution. María Cecilia Bastarrica, Jocelyn Simmonds, Luis Silvestre.

TR/DCC-2014-001

enero 20, 2014

A Megamodel for Process Tailoring and Evolution.

María Cecilia Bastarrica, Jocelyn Simmonds, Luis Silvestre.

TR/DCC-2013-010 noviembre 27, 2013

Using Thinklets to Support the Team Work in Novice Software Teams. Sergio Ochoa, Maíra Marques.

TR/DCC-2013-010

noviembre 27, 2013

Using Thinklets to Support the Team Work in Novice Software Teams.

Sergio Ochoa, Maíra Marques.

TR/DCC-2013-008 octubre 14, 2013

Compositional Reasoning About Aspect Interference. Éric Tanter, Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau.

TR/DCC-2013-008

octubre 14, 2013

Compositional Reasoning About Aspect Interference.

Éric Tanter, Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau.

TR/DCC-2013-009 octubre 9, 2013

Stochastic Performance Evaluation of Routing Strategies in Opportunistic Networks. Sergio Ochoa, Javier Orozco, Rodrigo Santos, Roc Meseguer.

TR/DCC-2013-009

octubre 9, 2013

Stochastic Performance Evaluation of Routing Strategies in Opportunistic Networks.

Sergio Ochoa, Javier Orozco, Rodrigo Santos, Roc Meseguer.

TR/DCC-2013-007 septiembre 4, 2013

A Model-Based Tool for Generating Software Process Model Tailoring Transformations. María Cecilia Bastarrica, Sergio Ochoa, Luis Silvestre.

TR/DCC-2013-007

septiembre 4, 2013

A Model-Based Tool for Generating Software Process Model Tailoring Transformations.

María Cecilia Bastarrica, Sergio Ochoa, Luis Silvestre.

TR/DCC-2013-006 agosto 13, 2013

Study on Delaunay tessellations of 1-irregular cuboids for 3D mixed element meshes. Nancy Hitschfeld, David Contreras.

TR/DCC-2013-006

agosto 13, 2013

Study on Delaunay tessellations of 1-irregular cuboids for 3D mixed element meshes.

Nancy Hitschfeld, David Contreras.

TR/DCC-2013-005 agosto 13, 2013

An Expressive Stateful Aspect Language. Éric Tanter, Paul Leger, Hiroaki Fukuda.

TR/DCC-2013-005

agosto 13, 2013

An Expressive Stateful Aspect Language.

Éric Tanter, Paul Leger, Hiroaki Fukuda.

TR/DCC-2013-004 agosto 6, 2013

Improving the GPU space of computation under triangular domain problems. Nancy Hitschfeld, Cristóbal A. Navarro.

TR/DCC-2013-004

agosto 6, 2013

Improving the GPU space of computation under triangular domain problems.

Nancy Hitschfeld, Cristóbal A. Navarro.

TR/DCC-2013-003 abril 10, 2013

Monitoring Software Development Teams in the Academia. Sergio Ochoa, Maíra Marques.

TR/DCC-2013-003

abril 10, 2013

Monitoring Software Development Teams in the Academia.

Sergio Ochoa, Maíra Marques.

TR/DCC-2013-002 abril 9, 2013

Transferring Software Development Knowledge and Skills in the Academia: A Literature Review. Sergio Ochoa, Maíra Marques.

TR/DCC-2013-002

abril 9, 2013

Transferring Software Development Knowledge and Skills in the Academia: A Literature Review.

Sergio Ochoa, Maíra Marques.

TR/DCC-2013-001 enero 2, 2013

Survey on Resource Positioning. Sergio Ochoa, Daniel Moreno.

TR/DCC-2013-001

enero 2, 2013

Survey on Resource Positioning.

Sergio Ochoa, Daniel Moreno.

TR/DCC-2012-005 abril 18, 2012

Static Type Systems (Sometimes) have a Positive Impact on the Usability of Undocumented Software: An Empirical Evaluation. Éric Tanter, Clemens Mayer, Stefan Hanenberg, Romain Robbes, Andreas Stefik.

TR/DCC-2012-005

abril 18, 2012

Static Type Systems (Sometimes) have a Positive Impact on the Usability of Undocumented Software: An Empirical Evaluation.

Éric Tanter, Clemens Mayer, Stefan Hanenberg, Romain Robbes, Andreas Stefik.

TR/DCC-2012-004 abril 11, 2012

Project Context Definition Method. María Cecilia Bastarrica, Sergio Ochoa, Alcides Quispe S., Julio Ariel Hurtado.

TR/DCC-2012-004

abril 11, 2012

Project Context Definition Method.

María Cecilia Bastarrica, Sergio Ochoa, Alcides Quispe S., Julio Ariel Hurtado.

TR/DCC-2012-003 marzo 5, 2012

Modeling Variability in Software Process Models. María Cecilia Bastarrica, Alcides Quispe S., Jocelyn Simmonds, Luis Silvestre.

TR/DCC-2012-003

marzo 5, 2012

Modeling Variability in Software Process Models.

María Cecilia Bastarrica, Alcides Quispe S., Jocelyn Simmonds, Luis Silvestre.

TR/DCC-2012-002 enero 12, 2012

Formalizing the Software Process in Small Companies. María Cecilia Bastarrica, Alcides Quispe S., Pablo Ruiz, Julio Ariel Hurtado Alegria.

TR/DCC-2012-002

enero 12, 2012

Formalizing the Software Process in Small Companies.

María Cecilia Bastarrica, Alcides Quispe S., Pablo Ruiz, Julio Ariel Hurtado Alegria.

TR/DCC-2012-001 enero 10, 2012

Understanding the Needs for Presence Awareness Information. Sergio Ochoa, José A. Pino, Valeria Herskovic, Andrés Neyem, Pedro Antunes.

TR/DCC-2012-001

enero 10, 2012

Understanding the Needs for Presence Awareness Information.

Sergio Ochoa, José A. Pino, Valeria Herskovic, Andrés Neyem, Pedro Antunes.

TR/DCC-2011-014 diciembre 23, 2011

A Context Modeling Language to Support Tailoring of Software Processes. María Cecilia Bastarrica, Sergio Ochoa, Alcides Quispe S., Julio Ariel Hurtado.

TR/DCC-2011-014

diciembre 23, 2011

A Context Modeling Language to Support Tailoring of Software Processes.

María Cecilia Bastarrica, Sergio Ochoa, Alcides Quispe S., Julio Ariel Hurtado.

TR/DCC-2011-013 diciembre 21, 2011

Self-Index Based on LZ77. Sebastian Kreft.

TR/DCC-2011-013

diciembre 21, 2011

Self-Index Based on LZ77.

Sebastian Kreft.

TR/DCC-2011-012 noviembre 4, 2011

Analyzing Methodologies and Tools for Specifying Variability in Software Processes. María Cecilia Bastarrica, Alcides Quispe S., Jocelyn Simmonds, Luis Silvestre.

TR/DCC-2011-012

noviembre 4, 2011

Analyzing Methodologies and Tools for Specifying Variability in Software Processes.

María Cecilia Bastarrica, Alcides Quispe S., Jocelyn Simmonds, Luis Silvestre.

TR/DCC-2011-011 noviembre 2, 2011

ECOCAM, Un Sistema Computacional Adaptable al Contexto para Promover Estrategias de Cálculo Mental: Un Diseño y Estudio de Casos. Éric Tanter, Paul Leger, Grecia Gálvez, Lino Cubillos, Diego Cosmelli, Milton Inostroza, Gina Luci, Jorge Soto Andrade.

TR/DCC-2011-011

noviembre 2, 2011

ECOCAM, Un Sistema Computacional Adaptable al Contexto para Promover Estrategias de Cálculo Mental: Un Diseño y Estudio de Casos.

Éric Tanter, Paul Leger, Grecia Gálvez, Lino Cubillos, Diego Cosmelli, Milton Inostroza, Gina Luci, Jorge Soto Andrade.

TR/DCC-2011-010 septiembre 14, 2011

Modeling Variability in Software Process Lines. María Cecilia Bastarrica, Jocelyn Simmonds.

TR/DCC-2011-010

septiembre 14, 2011

Modeling Variability in Software Process Lines.

María Cecilia Bastarrica, Jocelyn Simmonds.

TR/DCC-2011-009 junio 29, 2011

Modular and Flexible Causality Control on the Web. Éric Tanter, Paul Leger, Rémi Douence.

TR/DCC-2011-009

junio 29, 2011

Modular and Flexible Causality Control on the Web.

Éric Tanter, Paul Leger, Rémi Douence.

Contacto

Ubicación

Departamento de Ciencias de la Computación
FCFM, Universidad de Chile

Beauchef #851, Edificio Poniente, segundo piso, oficina 219. Santiago

© 2022 Departamento de Ciencias de la Computación, Universidad de Chile
🔐