Modelado formal y ejecutabilidad de diagramas de clases de UML

José Luis Fernández Alemán, José Ambrosio Toval Álvarez. Modelado formal y ejecutabilidad de diagramas de clases de UML. In Pere Botella, Juan Hernández, Fèlix Saltor, editors, IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 99), Cáceres, del 24 al 26 de noviembre de 1999. pages 283-294, Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, 1999.

@inproceedings{AlemanA99,
  title = {Modelado formal y ejecutabilidad de diagramas de clases de UML},
  author = {José Luis Fernández Alemán and José Ambrosio Toval Álvarez},
  year = {1999},
  tags = {UML},
  researchr = {https://researchr.org/publication/AlemanA99},
  cites = {0},
  citedby = {0},
  pages = {283-294},
  booktitle = {IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 99), Cáceres, del 24 al 26 de noviembre de 1999},
  editor = {Pere Botella and Juan Hernández and Fèlix Saltor},
  publisher = {Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura},
  isbn = {84-699-0956-8},
}