Principal Resumen Descripcion Lineas Participantes Produccion Formacion Consultas
 
 

Volver

Antecedentes en el Grupo

 

El proyecto que se propone constituye una ampliación y perfeccionamiento del Trabajo de Investigación trianual "Especificaciones y Desarrollo de Herramientas para Tiempo Real" y el Proyecto de Investigación Promocionado trianual "Ingeniería de Software: Desarrollo de Métodos y Herramientas", ambos en el Programa de Incentivos.

A continuación se muestran antecedentes tanto del grupo de investigación actual como a nivel mundial en el estado del arte en cada uno de los temas propuestos:

Resultados obtenidos del grupo de investigación:

Más allá de las publicaciones particulares que el proyecto de investigación realizó, presentadas en los partes de avances anuales de incentivos, tenemos publicaciones en Proceedings de Conferencias Internacionales como resultado de los trabajos conjuntos con Universidades o Institutos de investigación del exterior de prestigio internacional.

Ellas son:

  • United Nations University, International Institute for Software Technology, Macao (UNU/IIST).
    Computer Science Department, San Francisco State University, USA.
    Winona State University, USA.
  • En particular, integrantes del proyecto han asistido a estas instituciones así como también investigadores de esas instituciones han viajado a nuestra Universidad. Generalmente, estos viajes han sido cofinanciados.

En particular, actualmente dos de los integrantes están en el UNU/IIST realizando trabajos de investigación totalmente financiados por el Instituto.

Un integrante del proyecto ha desarrollado actividades de investigación, en el marco del proyecto, en San Francisco State University - USA también cofinanciado.

También estamos trabajando en cooperación con el CMU/SEITI (Central Michigan University - Software Engineering and Information Technology Institute - USA). En particular, este año, estamos participando en la organización, conjuntamente con la ACIS (International Association for Computer and Information Science), de una conferencia a realizarse en Foz do Iguazú, Brasil en Junio del 2002.

También estamos trabajando con Universidades Nacionales generando resultados plasmados en publicaciones, no solo en conferencias internacionales, sino también en congresos nacionales. En particular, estas instituciones son: la Universidad Nacional de Centro de la Provincia de Buenos Aires y la Universidad Nacional de Río Cuarto.

Además, el grupo de investigación mantiene muy fuerte interacción con los programas de formación de post grado (Maestría en Ingeniería de Software y Doctorado): generación de un marco adecuado para encarar tesis de maestría y doctorales. Estos programas de formación se han extendido hacia otras universidades con el mismo fin. Caso es la firma de los convenios con la Universidad Nacional de Catamarca y la Universidad Nacional de Jujuy, donde se dicta la maestría de Ingeniería de Software.

Similarmente, el proyecto es un fuerte respaldo para la elaboración de trabajos finales de grado, y un fuerte aporte al proceso de perfeccionamiento continuo de los docentes del Área de Programación y Metodologías de Desarrollo de Software del Departamento de Informática.

A través de las distintas etapas del proyecto, ha habido un importante incremento en la participación en eventos científicos internacionales, reforzando el actual posicionamiento a nivel internacional. Integrantes del proyecto, a menudo, son los únicos integrantes latinoamericanos de Comité de Programa de Conferencias Internacionales.

El proyecto tiene una política de transferencia de "know how" al medio social y productivo, ya iniciada durante los anteriores trabajos de investigación, donde se han desarrollado y aplicado aspectos metodológicos rigurosos durante la ejecución de proyectos relevantes en el entorno gubernamental y en el de la iniciativa privada.

Trabajos internacionales más relevantes publicados por el grupo de investigación en los últimos 2 años:

  • Using UML Class Diagram for RAISE Applicative Specification. International Journal of Computer and Information Science - IJCIS. Aceptado para publicar Vol. March 2002.
  • Using a Scenario Model to Derive the Functions of a Formal Specification, Asia-Pacific Software Engineering Conference APSEC'2001, Macau, December 2001. IEEE Press. Aceptado para publicar.
  • The LSP Method applied to Human Resource Evaluation and Selection. International Journal of the AoM/IaoM Aceptado para publicar Vol. December 2001
  • A Principle that use the Modelling of Processes to Structure the Formal Specification. Proceedings of the International Conference on Computer and Information. Science '01. 3 al 5 de Octubre de 2001. Orlando - Florida - USA. ISBN: 0-9700776-2-9
  • A General Architecture for Decision Support Systems Based on Kaplan & Norton Concept of Balanced Scorecard. Proceedings of the International Conference on Computer and Information. Science '01. 3 al 5 de Octubre de 2001. Orlando - Florida - USA. ISBN: 0-9700776-2-9
  • Software Quality Assurance in Parallel Development. Proceedings of the International Conference on Computer and Information Science '01. 3 al 5 de Octubre de 2001. Orlando - Florida - USA. ISBN: 0-9700776-2-9
  • Heuristics to Structure a Formal Specification in RSL from a Client-Oriented Technique, 1st Annual International Conference on Computer and Information Science (ICIS ´01), Orlando, Florida, U.S.A., October 2001,
  • Deriving the Types of a Formal Specification from a Client-Oriented Technique. ACIS 2nd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel / Distributed Computing. Agosto de 2001. Japan.
  • RAISE Formalization of UML Class Associations. Proceedings of the ISCA CAINE-00. 1 al 3 de Noviembre de 2000. Honolulu - Hawai - USA
  • UML Class Structure Interpretation using RAISE Abstract Applicative Specification. Proceedings of the ISCA CAINE-00. 1 al 3 de Noviembre de 2000. Honolulu - Hawai - USA
  • Software Quality Assurance in a Reengineering Project based on Rapid Evolutionary Prototyping Methodology. Proceedings of the ISCA CAINE-00. 1 al 3 de Noviembre de 2000. Honolulu - Hawai - USA
  • Performance Evaluation in a Reengineering Project based on Rapid Evolutionary Prototyping Methodology. Proceedings of the ISCA CAINE-00. 1 al 3 de Noviembre de 2000. Honolulu - Hawai - USA
  • Using Formal Methods in Modelling of Processes. Proceedings of the ISCA CAINE-00. 1 al 3 de Noviembre de 2000. Honolulu - Hawai - USA
  • Performance Analysis using LSP Method. Proceedings of the International Conference on Software Engineering Applied to Networking & Parallel/Distributed Computing (SNPD'00). Mayo, 2000. Reims - Francia
  • Software Configuration Management using Process Reengineering Methodology with Parallel Development. Proceedings of the International Conference on Software Engineering Applied to Networking & Parallel/Distributed Computing (SNPD'00). Mayo, 2000. Reims - Francia

 
 
 
 

Sitios de Interes

 
 
 
 
 
Principal Resumen Descripcion Lineas Participantes Produccion Formacion Consultas
 
Universidad Nacional de San Luis.