Demo Data from EDBT 2026 / reviewers in the wild / expert
Christopher Paul Gerrard
dblp:65/6576
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1990
—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 · 56% Software testing · 44% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design
formal specification |
0.0 | 1 | 1990 | Formal Specification and Design Time Testing · IEEE Trans. Software Eng. 1990 |
Requirements engineering and software design › specification
executable specification language |
0.0 | 1 | 1990 | Formal Specification and Design Time Testing · IEEE Trans. Software Eng. 1990 |
Methods — techniques the papers use, named apart from their topics
dynamic validation · 0.0OBJ · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1990 | Formal Specification and Design Time TestingabstractIt is shown how design time testing can be used in conjunction with formal specification. Emphasis is placed on the benefits of using an executable specification language OBJ, of having a design controlled by requirements specification, and of adherence to the regularity and uniformity hypotheses in dynamic validation. It is shown that such an approach offers positive benefits by providing early design validation and a controlled, disciplined design process.> Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore |
IEEE Trans. Software Eng. | 1 |