ICSE 2026 (series) / FormaliSE 2026 (series) / Research Track /
Spectabular: Interactive Tabular Requirements Specifications (Research Ideas Paper)
Sun 12 Apr 2026 17:00 - 17:15 at Oceania VIII - Session 3: Formal Modeling, Specification & Semantics
Expressing requirements in software development for complex systems can lead to a series of models being constructed and analyzed. This work argues that interactive notebooks are suitable for writing, analyzing, and documenting models. The models are expressed by tabular expressions. These are analyzed for disjointness, completeness, possibility, and necessity. Jupyter is used as the environment for interactive notebooks.
Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change
16:00 - 17:30 | Session 3: Formal Modeling, Specification & SemanticsResearch Track / FormaliSE Program at Oceania VIII | ||
16:00 30mTalk | A Compositional Approach to Mapping BPMN to DCR for Cross-Paradigm Process Modeling Research Track | ||
16:30 30mTalk | Cargo Sherlock: An SMT-Based Checker for Software Trust Costs Research Track Muhammad Hassnain University of California, Davis, Anirudh Basu University of California, Davis, Ethan Ng University of California, Davis, Caleb Stanford University of California, Davis | ||
17:00 15mTalk | Spectabular: Interactive Tabular Requirements Specifications (Research Ideas Paper) Research Track Emil Sekerinski McMaster University, Canada | ||
17:15 15mTalk | Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone Research Track | ||