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 |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
dbpedia-owl:wikiPageWikiLink | |
Is dbpedia-owl:wikiPageWikiLink of |