Concepedia

D. Jensen

DJ

2

Publications

78

Citations

2

H-Index

2002

Active since

Affiliations

Mitre (United States)(Current)

D. Jensen is an author at Mitre (United States) specializing in computer engineering, program analysis, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisReal-time SystemsSoftware AnalysisDistributed SystemsFormal Verification

Publications per year

2002–2006

2

Publications

2

A. framework for integrating the real-time specification for Java and Java's remote method invocation

Andy Wellings, Raymond K. Clark, D. Jensen et al. · 2002 · 64 citations

Engineering, Distributed Real-time Specification, Object-oriented Modeling +23

Distributed real-time specification for Java

Jonathan Anderson, D. Jensen · 2006 · 14 citations

Engineering, Distributed Real-time Specification, Computer Architecture +20

Rows per page

1–2 of 2