usted está aquí:  inicio      investigación     Ciencias de los Sistemas  Ingeniería de Software



Investigación en Ciencias de los Sistemas

Ingeniería de Software

Grupo
Producción CyT

El grupo está interesado en colaborar con la industria del software de la región Rosario para mejorar las técnicas y procesos de producción de software. En particular podemos asistir a la industria en mejoras relacionadas con:

  • ingeniería de requerimientos
  • desarrollo sistemático y automatizado de prototipos funcionales para sistemas de información
  • arquitectura y diseño de software (con énfasis en estilos arquitectónicos y patrones de diseño)
  • estimación de esfuerzo para proyectos de desarrollo de software
  • incorporación de nuevas técnicas de validación y verificación de software (en particular testing, especificaciones formales, verificación de modelos, etc.).

En cuanto a investigación y desarrollo el grupo trabaja en:

  • programación de restricciones con conjuntos
  • testing basado en modelos formales
  • estudio de los poliedros tropicales y clásicos

todo con aplicaciones al análisis y verificación de software.

Director :
Presione sobre el nombre para desplegar información
Cristiá, Maximiliano
Datos de contacto

Email: cristia  cifasis-conicet.gov.ar

Otro: mcristia  fceia.unr.edu.ar

+54 341 4237248 int. 310 


  Dr. Maximiliano Cristiá, Profesor Adjunto de UNR

Tema de investigación: Ingeniería de software. Métodos formales.

Página web: http://www.fceia.unr.edu.ar/~mcristia/


Integrantes del Grupo:
Presione sobre el nombre para desplegar información
Katz, Ricardo
Datos de contacto

Email: katz  cifasis-conicet.gov.ar

Otro: rkatz  fceia.unr.edu.ar

+54 341 4237248 int. 313 


  Dr. Ricardo Katz, Investigador Adjunto de CONICET

Tema de investigación: Teoría y aplicación de los poliedros tropicales y clásicos.

Pomponio, Laura
Datos de contacto

Email: pomponio  cifasis-conicet.gov.ar

Teléfono: +54 341 4237248 Int. 304



  Dra. Laura Pomponio

Tarea: Desarrollo de software, prototipos y herramientas

Supervisor: Dr. Maximiliano Cristiá

 
Colaboradores:
Alejandro Sartorio
Andrés Krapf
Sebastián Scandolo

Artículos (3)
Capítulos de Libros (1)
Patentes y Marcas (4)
Informes técnicos (11)
Congresos (12)

Artículos
AutoresTítuloPublicado enOtra InformaciónAñoEnlace web
CRISTIÁ, M.;
FRYDMAN, C.
A functional verification of a Web Voting SystemIn Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Maria Torre, Jorge Gustavo Rocha, Maria Irene Falcão, DavidTaniar, Bernady O. Apduhan, and Osvaldo Gervasi, editors, ICCSA (1). Volume 8579 of Lecture Notes in Computer Science, SPRINGERVolume 8579 of Lecture Notes in Computer Science, pages 640-655. 2014
CRISTIÁ, M.;
MESURO, J.;
FRYDMAN, C.
Integration Testing in the Test Template Framework [Título precedente: Representing Parnas' Uses Relation in Z for the Test Template Framework]In Stefania Gnesi and Arend Rensink, editors, FASE, Volume 8411 of Lecture Notes in Computer Science,SPRINGER.Volume 8411 of Lecture Notes in Computer Science, pages 400-414. 2014
ALLAMIGEON, X.;
KATZ R.D .
Minimal external representations of tropical polyhedra. Journal of combinatorial theory, Series A , Amsterdam: ACADEMIC PRESS INC ELSEVIER SCIENCEVolume 120, Issue 4, May 2013, Pages 907-9402013

Capítulos de Libros
AutoresTítuloLibro y EditorialOtra InformaciónAño 
GIAMBIASI, N.;
LLARRULL, D.;
CRISTIÁ, M.
System State Identification Using DEVS.Discrete-Event Modeling and Simulation: Theory and Applications. : Taylor and Francis (CRC Press).p. 1-534. ISBN 978-14200723342010

Patentes y Marcas
AutoresTítuloPublicado enOtra InformaciónAño 
CRISTIÁ, M.;
MARRO, G.
FG-InjectorArgentina. 10/06/2009. sol.n°: 761792. Derecho de autor de producciones tecnológicas.Software. Informática (software). Varios campos.2009
CRISTIÁ, M.;
MARRO, G.;
ALBERTENGO, P.
ReposeArgentina. 10/06/2009. sol.n °: 761791. Derecho de autor de producciones tecnológicas. Software. Informática (software). Varios campos.2009
CRISTIÁ, M.;
MARRO, G.;
MATA, P.
Flowx 0.1Argentina. 10/06/2009. sol.n°: 761793. Derecho de autor de producciones tecnológicas.Software. Informática (software). Varios campos.2009
CRISTIÁ, M.;
MARRO, G.;
RODRÍGUEZ MONETTI, P.
Fastest 1.3Argentina. 10/06/2009. sol.n°: 761794. Derecho de autor de producciones tecnológicas.Software. Informática (software). Varios campos.2009

Informes técnicos
AutoresTítuloEnlace web
CRISTIÁ, M. Casos de prueba para un vehículo de lanzamiento de satélites. Casos de prueba. Informática (software). Informática. Espacio.ENE. 2010-DIC. 2011. 2011 
CRISTIÁ, M.;
ALVEZ, M.
Z Specification of Some Requirements of the On-Board Application Software. Especificación formal. Informática (software). Informática. Espacio. ENE. 2010-DIC. 2011. 2011 
CRISTIÁ, M.;
RODRÍGUEZ MONETTI, P.;
HOLLMANN, D.
Fastest: automatización de testing funcional basado en especificaciones Z.Software. Informática (software). Informática.MAR. 2007-FEB. 2011. p. 1-19.2011 
VALDIVINO, S.;
CRISTIÁ, M.;
VIJAYKUMAR, N. L.
MODEL-BASED TEST CASE GENERATION USING STATECHARTS AND Z: A COMPARISON AND A COMBINED APPROACH. Instituto Nacional de Investigaciones Espaciales (Brasil).JUL. 2008-JUL. 2012. p. 1-73. Proceso de producción. Informática (software). Informática. Espacio. 2011 
CRISTIÁ, M.Condiciones de prueba para es estandar ECSS-E-70-41A.Condiciones de prueba para testing. Informática (software). Informática. Espacio. $ 0ENE. 2010-DIC. 2010.2010 
CRISTIÁ, M.;
ALBERTENGO, P.;
FRYDMAN, C.;
PLÜSS, B.;
RODRÍGUEZ MONETTI, P.
Applying the Test Template Framework to Aerospace Software.ENE. 2010-DIC. 2010. p. 1-10.Casos de estudio sobre aplicación de herramienta. Informática (software). Informática. Espacio. $ 02010 
CRISTIÁ, M.;
ALVEZ, M.
Z Specification of Some Requirements of the On-Board Application Software.Especificación formal. Informática (software). Informática. Espacio. $ 0 ENE. 2010-DIC. 2011.2010 
CRISTIÁ, M.Casos de prueba para un vehículo de lanzamiento de satélites.ENE. 2010-DIC. 2011.Casos de prueba. Informática (software). Informática. Espacio. $ 02010 
CRISTIÁ, M.;
ALBERTENGO, P.;
RODRÍGUEZ MONETTI, P.
Pruning Testing Trees by Automatic Theorem Proving.Software. Informática (software). Informática. Varios campos. $ 3000FEB. 2009-MAR. 2010. p. 1-162009 
CRISTIÁ, M.;
VALDIVINO, S.;
VIJAYKUMAR, N. L.
On Comparing and Complementing Two MBT Approaches.Software. Informática (software). Informática. Varios campos. $ 0FEB. 2009-DIC. 2009. p. 1-62009 
GIAMBIASI, N.;
LLARRULL, D.;
CRISTIÁ, M.
System State Identification using DEVS. Software.Informática (software). Informática. Varios campos. $ 0JUN. 2009-DIC. 2009. p. 1-442009 

Congresos
AutoresTítuloLugarOtra InformaciónAño 
CRISTIÁ, M.;
FRYDMAN, C.
Applying SMT Solvers to the Test Template Framework.Tallinn, Estonia.In Proceedings 7th Workshop on Model-Based Testing, 25 March 2012, Electronic Proceedings in Theoretical Computer Science 80, Open Publishing Association. pp. 28-42. 2012
CRISTIÁ, M.;
FRYDMAN, C.
Extending the Test Template Framework to deal with axiomatic descriptions, quantifiers and set comprehensions.Pisa. ItaliaArtículo Completo. Conferencia. ABZ 2012.2012
HOLLMANN, D.;
CRISTIÁ, M.;
FRYDMAN, C.
Adapting Model-Based Testing Techniques to DEVS Models Validation.Orlando, USAArtículo Completo. Simposio. Symposium on Theory of Modeling & Simulation 2012. The Society for Modeling and Simulation International.2012
CRISTIÁ, M.;
ALBERTENGO, P.;
FRYDMAN, C.;
PLÜSS, B.;
RODRÍGUEZ MONETTI, P.
Applying the Test Template Framework to Aerospace Software.Limerick, Irlanda. Artículo Completo. Workshop. 2011 IEEE 34th Software Engineering Workshop. IEEE Computer Society.2011
CRISTIÁ, M.;
HOLLMANN, D.;
ALBERTENGO, P.;
FRYDMAN, C.;
RODRÍGUEZ MONETTI, P.
A Language for Test Case Refinement in the Test Template Framework. Durham, InglaterraArtículo Completo. Conferencia. 13th International Conference on Formal Engineering Methods, ICFEM. 2011
CRISTIÁ, M.;
ALBERTENGO, P.;
RODR͍GUEZ MONETTI, P.
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions.Pisa, Italia.Artículo Completo. Conferencia. 8th IEEE International Conference on Software Engineering and Formal Methods. IEEE.2010
CRISTIÁ, M.;
VALDIVINO, A.;
VIJAYKUMAR, N. L.
On Comparing and Complementing Two MBT Approaches.Punta del Este: Washington.Artículo Completo. Workshop. 11th IEEE Latin-American Test Workshop (LATW10). IEEE.2010
CRISTIÁ, M.;
PLÁSS, BRIAN
Generating Natural Language Descriptions of Z Test Cases.Trim, IrlandaArtículo Breve. Conferencia. Sixth International Natural Language Generation Conference. The Association for Computer Linguistics.2010
CRISTIÁ, M.;
MATA, P.
Runtime Enforcement of Noninterference by Duplicating Processes and their Memories.Mar del Plata, ArgentinaArtículo Completo. Workshop. Workshop de Seguridad Informática WSEGI 2009 (38 JAIIO). Sociedad Argentina de Informática e Investigación Operativa.2009
CRISTIÁ, M.;
RODRIGUEZ MONETTI, P.
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing.Río de Janeiro - BrasilVol. 5885. Lecture Notes In Computer Science. Artículo Completo. Conferencia. 11th International Conference on Formal Engineering Methods, ICFEM 2009.2009
CRISTIÁ, M.Formalizing the Semantics of Modular DEVS Models with Temporal Logic.París - FranciaArtículo Completo. Conferencia. Conférence Internationale de Modélisation, Optimisation et Simulation des Syst2008
SARTORIO, A.;
CRISTÍA, M.
Primera Aproximación al Diseño e Implementación de los DHD.Santa Fé, ArgentinaAnales CLEI 2008. Artículo Completo. Congreso. XXXIV Conferencia Latinoamericana de Informática (CLEI 2008). CLEI, UTN, INGAR.2008











CIFASIS - Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas - CONICET - UNR
Ocampo y Esmeralda, S2000EZP Rosario, Argentina Tel.: +54 341 4815569, 4237248 int. 300 Email: secretaria@cifasis-conicet.gov.ar