specification

Observed surface forms (19)

• security specification ×3
• batch processing specification ×2
• certification specification ×2
• formal specification ×2
• memory card specification ×2
• ICE specification ×1
• data validation specification ×1
• dependency specification file ×1
• engineering specification ×1
• formal specification approach ×1

• integration specification ×1
• machine-checked specification ×1
• metamodel specification ×1
• observability specification ×1
• persistence framework specification ×1
• portal specification ×1
• procedures and criteria specification ×1
• service class specification ×1
• validation framework specification ×1

Instances (26)

• CLS
  surface form: CLS (.NET)
• Jakarta Security via concept surface "security specification"
• Jakarta Batch via concept surface "batch processing specification"
• Jakarta Bean Validation via concept surface "validation framework specification"
• Java Persistence API via concept surface "persistence framework specification"
• PANS-OPS via concept surface "procedures and criteria specification"
• EASA CS‑23 via concept surface "certification specification"
  surface form: EASA CS-23
• Java Portlet Specification via concept surface "portal specification"
• Design by Contract via concept surface "formal specification approach"
• JVM memory model via concept surface "formal specification"
• JSON Schema (from 3.1.0) via concept surface "data validation specification"
  surface form: JSON Schema
• Pipfile via concept surface "dependency specification file"
• RFC 8445 via concept surface "ICE specification"
• 3GPP TS 33-series via concept surface "security specification"
• Business Process Definition Metamodel via concept surface "metamodel specification"
• OpenTracing via concept surface "observability specification"
• Open Services for Lifecycle Collaboration via concept surface "integration specification"
• DICOM Service-Object Pair Class via concept surface "service class specification"
• microSDUC via concept surface "memory card specification"
• SD Express via concept surface "memory card specification"
• CubeSat Design Specification via concept surface "engineering specification"
• IHE profile XUA via concept surface "security specification"
• JSR 352 via concept surface "batch processing specification"
• semantics of C in Isabelle/HOL via concept surface "machine-checked specification"
• EASA CS-25 via concept surface "certification specification"
• Python 3 language specification via concept surface "formal specification"