Bronze level automatically awarded US beta

This data has achieved Bronze level on 23 October 2015 which means this data makes a great start at the basics of publishing open data.

Specification Editing and Discovery Assistant Project

Summary

Type of release
a one-off release of a single dataset

Data Licence
Not Applicable

Content Licence
Creative Commons CCZero

Verification
automatically awarded

Release Date
9 April 2015
Modified Date
8 July 2015
Publishers
National Aeronautics and Space Administration
Keywords
completed, langley-research-center, project
Identifier
specification-editing-and-discovery-assistant-project
Landing Page
http://techport.nasa.gov/view/16727
Maintainers
Gary Jahns gary.c.jahns@nasa.gov
Language
en-US

Community verification

Other people can verify whether the answers on this certificate are correct.

This certificate is automatically awarded.

Sign in to verify or report this certificate

Description

The project will prototype a specification editing and discovery tool (SPEEDY) for C/C++ that will assist software developers with modular formal verification tasks by - providing active user interface guidance in writing and editing software specifications, integrated into a common, open IDE (Eclipse) and - providing automated suggestions of specifications for given contexts, - built on an architecture that will unify source and machine code verification. The innovation is significant because - having machine-checkable specifications enables more automation of sound verification and less approximation in heuristic problem detection, - user interface features and underlying automation will aid all developers in generating, editing and checking specifications, and - the architecture will apply to both source code analysis alone and also to unified source and machine code verification for embedded systems. The prototype will be an extension and integration of (a) current specification languages, (b) previous Eclipse plug-ins GrammaTech has created, (c) recent research on UI aids to developers in writing specifications, (d) existing automated algorithms for suggesting specifications based on code analysis, and (e) existing tools and techniques for automatically checking logical encodings of C/C++ code and specifications. The tool will be packaged as a plug-in to Eclipse's C/C++ development environment. The result will be a tool that facilitates using formal methods by all software developers, improving efficiency and accuracy. The resulting specifications will also serve as machine-readable documentation of the software, simplifying and accelerating the task of independent V&V.

Información General

Información legal

This dataset has been created by US Government which means it is required to be in the public domain. However US copyright law only allows open access by US citizens, we have assumed the data is equivalently licensed as CC0 for the rest of the world as this is in the spirit of the US Government’s Open Data policy.

  • La declaración sobre derechos está en

    http://catalog.data.gov/dataset/specification-editing-and-discovery-assistant-project Do you think this data is incorrect? Let us know

  • Under which licence can people outside the US reuse this data?

    CCZero Creative Commons Do you think this data is incorrect? Let us know

  • Existen

    yes, and the rights are all held by the same person or organisation Do you think this data is incorrect? Let us know

  • El contenido se encuentra disponible bajo

    CCZero Creative Commons Do you think this data is incorrect? Let us know

  • La declaración sobre derechos incluye información acerca de

    su licencia de datos Do you think this data is incorrect? Let us know

  • Estos datos contienen

    Ningún dato sobre individuos Do you think this data is incorrect? Let us know

Información práctica

  • Los datos aparecen en esta colección.

    http://catalog.data.gov/organization/nasa-gov Do you think this data is incorrect? Let us know

  • La precisión o la relevancia de estos datos

    Expiran pero están temporalizados Do you think this data is incorrect? Let us know

  • Los datos están

    Respaldo fuera del sitio Do you think this data is incorrect? Let us know

Información técnica

  • Estos datos son publicados en

    http://techport.nasa.gov/xml-api/16727 Do you think this data is incorrect? Let us know

  • Estos datos son

    Lectura mecánica Do you think this data is incorrect? Let us know

  • El formato de estos datos es

    Un formato abierto estandar Do you think this data is incorrect? Let us know

Información social

  • La documentación incluye datos legibles por máquina para

    Título Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Descripción Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Identificador Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Página de destino Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Editor Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Palabra(s) clave o etiqueta(s) Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Distribución Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Fecha de lanzamiento Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Fecha de modificación Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Cobertura temporal Do you think this data is incorrect? Let us know

  • La documentación incluye datos legibles por máquina para

    Idioma Do you think this data is incorrect? Let us know

  • La documentación acerca de cada distribución incluye datos legibles por máquina para

    Fecha de lanzamiento Do you think this data is incorrect? Let us know

  • La documentación acerca de cada distribución incluye datos legibles por máquina para

    Un URL para acceder a los datos Do you think this data is incorrect? Let us know

  • La documentación acerca de cada distribución incluye datos legibles por máquina para

    Un URL para descargar la base de datos Do you think this data is incorrect? Let us know

  • La documentación acerca de cada distribución incluye datos legibles por máquina para

    Tipos de medios de descarga Do you think this data is incorrect? Let us know

  • Encuentre la manera de contactar a alguien sobre estos datos en

    http://catalog.data.gov/dataset/specification-editing-and-discovery-assistant-project Do you think this data is incorrect? Let us know

  • Encuentre cómo sugerir mejoras a una publicación en

    http://www.data.gov/issue/?media_url=http://catalog.data.gov/dataset/specification-editing-and-discovery-assistant-project Do you think this data is incorrect? Let us know

Create a certificate

Don't have an account?

Don't worry, you can register later to save your work.

Create an account