El Lenguaje Z es un lenguaje formal utilizado en Ingeniería del software para la especificación formal de un sistema de cómputo, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación. Fue desarrollado por Jean-Raymond Abrial mientras formaba parte del Grupo de investigación en Programación del Laboratorio de computación de la Universidad de Oxford. El lenguaje Z se basa en la teoría de conjuntos, el cálculo lambda y la lógica de primer orden.
Autor |
|
Año |
|
rdfs:comment |
|
foaf:depiction | |
Editorial |
|
foaf:isPrimaryTopicOf | |
Isbn |
|
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
dbpedia-owl:thumbnail | |
Título |
|
Url | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageExternalLink | [14 values] |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [20 values] |
Is dbpedia-owl:wikiPageWikiLink of |