Depiction of Lenguaje Z

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
  • 1996 (xsd:integer)
  • 1997 (xsd:integer)
rdfs:comment
  • 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. (es)
foaf:depiction
Editorial
  • Cambridge University Press (es)
  • International Thomson Computer Press (es)
  • Prentice Hall International Series in Computer Science (es)
foaf:isPrimaryTopicOf
Isbn
  • 0 (xsd:integer)
  • 1 (xsd:integer)
rdfs:label
  • Lenguaje Z (es)
Is foaf:primaryTopic of
dcterms:subject
dbpedia-owl:thumbnail
Título
  • Formal Specification and Documentation using Z: A Case Study Approach (es)
  • The Way of Z: Practical Programming with Formal Methods (es)
  • Using Z: Specification, Refinement and Proof (es)
Url
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink [14 values]
dbpedia-owl:wikiPageID
  • 3661615 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 8136 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 21 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 64756245 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [20 values]
Is dbpedia-owl:wikiPageWikiLink of