se-df/CITATION.cff at main · structural-explainability/se-df · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
# ============================================================
# CITATION.cff (How to cite this project)
# ============================================================

# REQ.UNIVERSAL: Professional open projects SHOULD include this file.
# USAGE: See https://citation-file-format.github.io/ for details.

cff-version: "1.2.0"
type: software
message: "If you use this work, please cite it using the metadata in this file."

title: "se-df"
# Set version and date-released to match latest git tag or release.
version: "0.1.0"
date-released: "2026-07-18"

authors:
  - family-names: Case
    given-names: Denise M.
    orcid: "https://orcid.org/0000-0001-6165-7389"
    affiliation: "Northwest Missouri State University, School of Computer Science and Information Systems, Maryville, MO, USA"

repository-code: "https://github.com/structural-explainability/se-df"
url: "https://github.com/structural-explainability/se-df"

license: MIT

abstract: >
  Executable domain formalization toolkit for building reusable,
  machine-readable domain specifications. SE-DF supports concept
  systems, controlled vocabularies, schema generation, language
  bindings, diagnostics, conformance artifacts, and formal
  verification pipelines from a single authoritative domain model.

keywords:
  - domain-formalization
  - specification-engineering
  - knowledge-representation
  - ontology
  - terminology
  - code-generation
  - schema-generation
  - controlled-vocabulary
  - conformance
  - lean
  - formal-methods
  - python
  - rust