Concepedia

D Luckham

DL

34

Publications

3K

Citations

22

H-Index

1970

Active since

Affiliations

Stanford University(Current)

D Luckham is an author at Stanford University specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal MethodsProgram AnalysisSoftware EngineeringFormal VerificationSoftware DesignSystem SoftwareAutomated Reasoning

Publications per year

1970–2008

34

Publications

34

Specification and analysis of system architecture using Rapide

D Luckham, J.J. Kenney, Larry M. Augustin et al. · IEEE Transactions on Software Engineering · 1995 · 758 citations

Event-driven Architecture, Engineering, Computer Architecture +22

An event-based architecture definition language

D Luckham, Jose Belisario Vera Vera · IEEE Transactions on Software Engineering · 1995 · 483 citations

Event-driven Architecture, Engineering, Computer Architecture +20

An Overview of Anna, a Specification Language for Ada

D Luckham, F. W. von Henke · IEEE Software · 1985 · 222 citations

Engineering, Anna Approach, Software Engineering +23

On formalised computer programs

D Luckham, D.M.R. Park, Mike Paterson · Journal of Computer and System Sciences · 1970 · 221 citations

Computer Programs, Programming Language Theory, Formal Specification +8

Debugging Ada Tasking Programs

D. Heimbold, D Luckham · IEEE Software · 1985 · 202 citations

Software Maintenance, Engineering, Software Engineering +19

Rows per page

1–5 of 34