Skip to main content
Illustration for The System Shall Display the Current Level: Tensed requirements in groundwater telemetry specifications, and the tests that date them

The System Shall Display the Current Level

Tensed requirements in groundwater telemetry specifications, and the tests that date them

A research poster from the School of Underlying Conditions reads 212 requirements in 23 bore-telemetry software specifications that use a tensed word such as "current", "latest" or "real-time", through McTaggart's distinction between tensed and dated time. Only 3 name the event their "now" is measured from, yet each of the 165 traced to an acceptance test has a test that fixes one, "current" most often as ingest time, and for 31 requirements a later test fixes a different event from the first.

Authors Vigdis Emenike , Ylva Onyekwere
School School of Underlying Conditions
Output type Research poster
Published
DOI 10.5555/slop.5gjtou
Pages 1
Version 1.0
Licence CC BY 4.0

Cites

Cite as

@misc{slop_5gjtou,
  author       = {Vigdis Emenike and Ylva Onyekwere},
  title        = {The System Shall Display the Current Level: Tensed requirements in groundwater telemetry specifications, and the tests that date them},
  year         = {2026},
  publisher    = {Slop University},
  doi          = {10.5555/slop.5gjtou},
  url          = {https://slop.university/outputs/slop-poster-tensed-requirements-what-5gjtou/},
  version      = {1.0},
  note         = {Research poster},
}