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

Reportes Técnicos

TR/DCC-2024-001 julio 24, 2024

Understanding Software Evolution in Multiprovider Scenarios: An Exploratory Study. Sergio Ochoa, Daniel Perovich, Jocelyn Simmonds, Tomas Vera, Anelis Pereira-Vale, Carlos Vásquez.

TR/DCC-2024-001

julio 24, 2024

Understanding Software Evolution in Multiprovider Scenarios: An Exploratory Study.

Sergio Ochoa, Daniel Perovich, Jocelyn Simmonds, Tomas Vera, Anelis Pereira-Vale, Carlos Vásquez.

TR/DCC-2023-002 mayo 22, 2023

Virtual vs. Hybrid Teamwork Quality in a Software Development Capstone Course. María Cecilia Bastarrica, Jocelyn Simmonds, Sebastián Aguilera.

TR/DCC-2023-002

mayo 22, 2023

Virtual vs. Hybrid Teamwork Quality in a Software Development Capstone Course.

María Cecilia Bastarrica, Jocelyn Simmonds, Sebastián Aguilera.

TR/DCC-2023-001 marzo, 2023

Contextual Linear Types for Differential Privacy - Extended Versions with Proofs. Federico Olmedo, Éric Tanter, Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez.

TR/DCC-2023-001

marzo, 2023

Contextual Linear Types for Differential Privacy - Extended Versions with Proofs.

Federico Olmedo, Éric Tanter, Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez.

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-2020-001 diciembre 9, 2020

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

TR/DCC-2020-001

diciembre 9, 2020

Topological Data Analysis based classification: preliminary results.

Mauricio Cerda V., Nancy Hitschfeld, Rolando Kindelan.

TR/DCC-2020-002 diciembre 9, 2020

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

TR/DCC-2020-002

diciembre 9, 2020

Preliminary results on classification based on Topological Data Analysis.

Mauricio Cerda V., Nancy Hitschfeld, Rolando Kindelan.

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-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-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-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-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-007 diciembre 21, 2015

Metrics in process discovery. Fabian Rojas Blum.

TR/DCC-2015-007

diciembre 21, 2015

Metrics in process discovery.

Fabian Rojas Blum.

TR/DCC-2015-006 noviembre 9, 2015

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

TR/DCC-2015-006

noviembre 9, 2015

Reducing Waste in Expandable Collections: The Pharo Case.

Alexandre Bergel, Alejandro Infante, Juan Pablo Sandoval Alcocer.

TR/DCC-2015-005 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-005

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-004 agosto 11, 2015

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

TR/DCC-2015-004

agosto 11, 2015

Code Duplication in ROS Launchfiles.

Pablo Estefó, Romain Robbes, Johan Fabry.

TR/DCC-2015-003 julio 14, 2015

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

TR/DCC-2015-003

julio 14, 2015

Gradual Polymorphic Effects - Complete Definition and Soundness Proof.

Éric Tanter, Matías Toro.

TR/DCC-2015-001 mayo 5, 2015

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

TR/DCC-2015-001

mayo 5, 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 julio 14, 2014

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

TR/DCC-2014-003

julio 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-009 octubre 29, 2013

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

TR/DCC-2013-009

octubre 29, 2013

Stochastic Performance Evaluation of Routing Strategies in Opportunistic Networks.

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

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-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-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-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-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 8, 2013

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

TR/DCC-2013-002

abril 8, 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.

Contacto

Ubicación

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

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

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