Demo Data from EDBT 2026 / reviewers in the wild / expert
Rachel L. Cobleigh
dblp:68/5291
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 2006
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design › specification
property specification |
0.1 | 1 | 2006 | User guidance for creating precise and accessible property specifications · SIGSOFT FSE 2006 |
Requirements engineering and software design › specification
specification patterns |
0.1 | 1 | 2006 | User guidance for creating precise and accessible property specifications · SIGSOFT FSE 2006 |
Methods — techniques the papers use, named apart from their topics
question tree · 0.1finite-state automaton · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2006 | User guidance for creating precise and accessible property specificationsabstractProperty specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent these properties correctly, since there are often subtle, but important, details that need to be considered. Propel aims to guide users through the process of creating properties that are both accessible and mathematically precise, by providing templates for commonly-occurring property patterns. These templates explicitly represent these subtle details as options. In this paper, we present a new representation of these templates, a Question Tree that asks users a hierarchical sequence of questions about their intended properties. The Question Tree representation is particularly useful for helping users select the appropriate template, but it also complements the finite-state automaton and disciplined natural language representations provided by Propel. We also report on some case studies and on an experimental evaluation of the understandability of the disciplined natural language representation. Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke |
SIGSOFT FSE | 1 |