Departamento de Computación - FCEyN - UBA

 

TRABAJOS

Arquitecturas de Software


 S. Uchitel, D. Yankelevich. Enhancing Architectural Mismatch Detection with Assumptions. In proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000). Scotland, UK, April 2000.

 Hirsch, Dan; Montanari, Ugo, Consistent Transformations for Software Architecture Styles of Distributed Systems. Proceedings of the Workshop on (formal methods applied to) Distributed Systems, Iasi, Rumania, Septiembre 2-3. ENTCS, Vol. 28, pág. 23-40, 1999.(Invited paper)

 D. Hirsch, S. Uchitel, D. Yankelevich. Towards a Periodic Table of Connectors. SoST'99. Buenos Aires, Argentina. [.ps.zip]

 D. Hirsch, S. Uchitel, D. Yankelevich. Towards a PeriodicTable of Connectors. Poster Version. In A. Wolf and P. Ciancarini editors, COORDINATION 99. Third Int. Conference on Coordination Models and Languages, Springer Verlag. The Netherlands, April 1999. Pág.418 (aceptado como poster). [.ps.zip]

 Hirsch, Dan; Inverardi, Paola; Montanari, Ugo, Modeling Software Architectures and Styles with Graph Grammars and Constraint Solving (Full Paper). Proceedings of the First Working IFIP Conference on Software Architecture, San Antonio, Texas, E.E.U.U., Febrero 22-24, 1999, pág. 69-72. [.pdf]

 Hirsch, Dan; Inverardi, Paola; Montanari, Ugo, Graph Grammars and Constraint Solving for Software Architecture Styles (Position Paper). Proceedings of the Third International Software Architecture Workshop, Orlando, E.E.U.U., Noviembre 1-2, 1998, pág. 127-142.

 Kicillof, Nicolas. Tesis de licenciatura: Running Software Architectures. Director, Dr. Daniel Yankelevich. Incluyó la creación de JACAL (lenguaje para la descripción de arquitecturas de software) y el desarrollo de un ambiente de diseño y ejecución de sistemas descriptos en JACAL.

 Kicillof , Nicolas; Yankelevich, Daniel. Detecting and Solving Architectural Problems with JACAL. Proceedings of the First Australian Workshop on Constructing Software Engineering Tools (AWCSET98), CSIRO Macquarie University, Joint Research Centre for Advanced Systems Engineering (JRCASE).

 

Testing


  

 

Calidad de datos


  Bobrowski, M.; Marré, M.; Yankelevich, D. Software Engineering View of Data Quality. European Quality Week. 1998. [.pdf]

  Bobrowski, M.; Marré, M.; Yankelevich, D. Measuring Data Quality.

  Melgratti, H.; Yankelevich, D.Tools for Data Quality. Technical Report 99-005. [.ps.zip]

 

Otros temas


 V. Braberman, M. Felder. Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. ESEC/FSE 99:Joint 7th European Software Engineering Conference (ESEC) and 7th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-7) Toulouse, France. Sept. 6-10, 1999

 V. Braberman, M. Felder. Automatic Verification of Real-Time Designs. (Extended abstract). Doctoral Workshop of the International Conference of Software Engineering. Los Angeles, USA. May 1999.

 Kiszkurno, Ernesto; Nadel, Diana; Rozenfarb, Dan; Vázquez Soler, Sabrina; Yankelevich, Daniel. Formalizing the UML metamodel. Concurso de Trabajos Estudiantiles en Carreras de Computación e Informática de la 27 JAIIO (Tercer premio).

 

 

Envíe mail a arte@dc.uba.ar para preguntas o comentarios acerca de este web site.

Última modificación: 4 de septiembre de 1999