Demo Data from EDBT 2026 / reviewers in the wild / expert
Steven D. Litvintchouk
dblp:72/573
· DBLP profile ↗
4ranked-venue papers
3as first author
0since 2021 · last 1997
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 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 · 81% Programming languages and type systems · 19% | |
| Theoretical computer science
1 paper |
Logic in computer science · 50% Automated reasoning and model checking · 50% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design
software architecture |
0.0 | 1 | 1984 | Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification · IEEE Trans. Software Eng. 1984 |
Logic in computer science › modal logic
dynamic logic |
0.0 | 1 | 1977 | A Proof-Checker for Dynamic Logic · IJCAI 1977 |
Automated reasoning and model checking › theorem proving
proof checking |
0.0 | 1 | 1977 | A Proof-Checker for Dynamic Logic · IJCAI 1977 |
Programming languages and type systems › specification language
algebraic specification |
0.0 | 1 | 1984 | Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification · IEEE Trans. Software Eng. 1984 |
Requirements engineering and software design
formal specification |
0.0 | 1 | 1984 | Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification · IEEE Trans. Software Eng. 1984 |
Methods — techniques the papers use, named apart from their topics
structured algebraic specification · 0.0formal algebra · 0.0proof checking · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1997 | A Methodology for Migration of Legacy Applications to Distributed Object ManagementabstractMuch of today's software development involves reengineering legacy applications, but the bulk of research and tools address new software development. The Distributed Object Management Integration System (DOMIS, 1993-96) project investigated how legacy applications can be incrementally modified, or migrated, by using distributed object management (DOM) technology. The paper describes a methodology for such migration using DOM technology. E. R. Hughes, R. S. Hyland, Steven D. Litvintchouk, A. S. Rosenthal, A. L. Schafer, S. L. Surer |
EDOC | 3 |
| 1993 | Evolving Toward Object-Oriented Technolgy in Large Organizations (Panel)
Steven D. Litvintchouk, Michael Stark 0002, Brad Balfour, Mohamed Fayad, Bernie Rosenfeld |
OOPSLA | 1 |
| 1984 | Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic SpecificationabstractOur experience with design of Ada1software has indicated that a methodology, based on formal algebra, can be developed which integrates the design and management of reusable components with Ada systems design. The methodology requires the use of a specification language, also based on formal algebra, to extend Ada's expressive power for this purpose. We show that certain requirements for the use of Ada packages which cannot be expressed in Ada can be expressed in algebraic specification languages, and that such specifications can then be implemented in Ada. Steven D. Litvintchouk, Allen S. Matsumoto |
IEEE Trans. Software Eng. | 1 |
| 1977 | A Proof-Checker for Dynamic Logic
Steven D. Litvintchouk, Vaughan R. Pratt |
IJCAI | 1 |