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
|
