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 en el 2010. "Para establecer una herramienta de software basada en Web que permita la integración entre paradigmas de especificación". [LE2010]
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:wikiPageExternalLink | |
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dct:subject | |
| rdfs:comment |
|
| rdfs:label |
|
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| is foaf:primaryTopic of |
