Property |
Value |
dbo:abstract
|
- Darcs es un sistema de control de versiones distribuido creado por David Roundy. Las características clave son: la habilidad de escoger que cambios aceptar de otros repositorios, interacción con otros repositorios locales (en disco) o repositorios remotos vía SSH, HTTP o correo electrónico, y una inusual interfaz interactiva. Los desarrolladores también hacen hincapié en el uso de herramientas de software avanzadas para la verificación de la corrección: el sistema de tipo expresivo del lenguaje de programación funcional Haskell hace cumplir algunas propiedades, y las pruebas al azar a través de QuickCheck verifica muchos otros. El nombre es un acrónimo recursivo para el sistema de control de versiones avanzada Darcs Advanced Revision Control System. (es)
- Darcs es un sistema de control de versiones distribuido creado por David Roundy. Las características clave son: la habilidad de escoger que cambios aceptar de otros repositorios, interacción con otros repositorios locales (en disco) o repositorios remotos vía SSH, HTTP o correo electrónico, y una inusual interfaz interactiva. Los desarrolladores también hacen hincapié en el uso de herramientas de software avanzadas para la verificación de la corrección: el sistema de tipo expresivo del lenguaje de programación funcional Haskell hace cumplir algunas propiedades, y las pruebas al azar a través de QuickCheck verifica muchos otros. El nombre es un acrónimo recursivo para el sistema de control de versiones avanzada Darcs Advanced Revision Control System. (es)
|
dbo:genre
| |
dbo:latestReleaseVersion
| |
dbo:license
| |
dbo:operatingSystem
| |
dbo:programmingLanguage
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:desarrollador
|
- Guillaume Hoffmann (es)
- Guillaume Hoffmann (es)
|
prop-es:español
| |
prop-es:género
| |
prop-es:lenguajeProgramación
| |
prop-es:licencia
| |
prop-es:logo
| |
prop-es:nombre
| |
prop-es:sistemaOperativo
| |
prop-es:sitioWeb
| |
prop-es:webLanzamiento
| |
prop-es:últimaVersión
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Darcs es un sistema de control de versiones distribuido creado por David Roundy. Las características clave son: la habilidad de escoger que cambios aceptar de otros repositorios, interacción con otros repositorios locales (en disco) o repositorios remotos vía SSH, HTTP o correo electrónico, y una inusual interfaz interactiva. Los desarrolladores también hacen hincapié en el uso de herramientas de software avanzadas para la verificación de la corrección: el sistema de tipo expresivo del lenguaje de programación funcional Haskell hace cumplir algunas propiedades, y las pruebas al azar a través de QuickCheck verifica muchos otros. El nombre es un acrónimo recursivo para el sistema de control de versiones avanzada Darcs Advanced Revision Control System. (es)
- Darcs es un sistema de control de versiones distribuido creado por David Roundy. Las características clave son: la habilidad de escoger que cambios aceptar de otros repositorios, interacción con otros repositorios locales (en disco) o repositorios remotos vía SSH, HTTP o correo electrónico, y una inusual interfaz interactiva. Los desarrolladores también hacen hincapié en el uso de herramientas de software avanzadas para la verificación de la corrección: el sistema de tipo expresivo del lenguaje de programación funcional Haskell hace cumplir algunas propiedades, y las pruebas al azar a través de QuickCheck verifica muchos otros. El nombre es un acrónimo recursivo para el sistema de control de versiones avanzada Darcs Advanced Revision Control System. (es)
|
rdfs:label
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:homepage
| |
foaf:isPrimaryTopicOf
| |
foaf:name
| |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |