ERZ es un proyecto que busca la integración entre diferentes paradigmas de especificación. Por un lado la especificación basada en modelos diagramáticos y por otro lado los métodos formales utilizados en la Ingeniería de Software. Específicamente ERZ es una herramienta basada en Web que permite crear un modelo entidad-relación y transformar dicho modelo a una representación equivalente en lenguaje Z. ERZ fue propuesto por Luis Espino en el 2010.

rdfs:comment
  • ERZ es un proyecto que busca la integración entre diferentes paradigmas de especificación. Por un lado la especificación basada en modelos diagramáticos y por otro lado los métodos formales utilizados en la Ingeniería de Software. Específicamente ERZ es una herramienta basada en Web que permite crear un modelo entidad-relación y transformar dicho modelo a una representación equivalente en lenguaje Z. ERZ fue propuesto por Luis Espino en el 2010. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • ERZ (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 3703372 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 818 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 7 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 66718808 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of