sle2016/paper09

SLE 2016 paper:
Adding Uncertainty and Units to Quantity Types in Software Models

Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo

• DOI: 10.1145/2997364.2997376
• T1B: Static Semantics
  • It extends type systems with units and uncertainty to improve static semantics of quantity types.
• T1A: Design
  • The paper proposes language/type design extensions to modeling languages for physical quantities.
• T6F: CPS/IoT/DT
  • Units and measurement uncertainty are central in CPS/engineering domains where physical quantities matter.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.