Grupo de Investigación en Reutilización y Orientación a Objeto

Grupo GIRO » Publicaciones  

A Reuse Model for Formally Verified UML Diagrams

José Sáez, Jose Luis Fernández, Ambrosio Toval, Esperanza Manso, Miguel A. Laguna, Francisco José García Peñalvo
IV Jornadas de Trabajo MENHIR, Sedano, Burgos., page 16--20 - may 1999
Download the publication : S1_3.pdf [72Ko]  

BibTex references

@InProceedings\{SFTMLG99,
  author       = "S\'aez, Jos\'e and Fern\'andez, Jose Luis and Toval, Ambrosio and Manso, Esperanza and Laguna, Miguel A. and Garc\'{\i}a Pe\~{n}alvo, Francisco Jos\'e",
  title        = "A Reuse Model for Formally Verified UML Diagrams",
  booktitle    = "IV Jornadas de Trabajo MENHIR, Sedano, Burgos.",
  pages        = "16--20",
  month        = "may",
  year         = "1999",
  editor       = "Francisco Jos\'e Garc\'{\i}a and Jos\'e Manuel Marqu\'es",
  url          = "http://www.giro.infor.uva.es/Publications/1999/SFTMLG99"
}

Other publications in the database

» Esperanza Manso
» Miguel A. Laguna
» Francisco José García Peñalvo