Results for “specifications”

Continuity of Care Document

Continuity of Care Document specifications

DICOM Standards Browser

Provides an effective way to learn the DICOM standard and inspect DICOM attributes.

OHDSI OMOP Common Data Model

Standardized data model for many healthcare concepts, awesome Github presence including scripts for many major relational databases.

OpenEHR

Open specification upon which software can be built.

SMART on FHIR

Open standards based technology platform.

Axure RP 8

Prototypes, specifications and diagrams in one tool.

OpenID Connect

Libraries, products, and tools implementing current OpenID specifications and related specs.

JavaCC

Parser generator that generates top-down parsers. Allows lexical state switching and permits extended BNF specifications.

OpenJML

Translates JML specifications into SMT-LIB format and passes the proof problems implied by the program to backend solvers. (GPL-2.0-only)

TrustInSoft Analyzer

copyright: — Exhaustive detection of coding errors and their associated security vulnerabilities. This encompasses a sound undefined behavior detection (buffer overflows, out-of-bounds array accesses, null-pointer dereferences, use-after-free, divide-by-zeros, uninitialized memory accesses, signed overflows, invalid pointer arithmetic, etc.), data flow and control flow verification as well as full functional verification of formal specifications. All versions of C up to C18 and C++ up