Concepedia

J. van Katwijk

JV

9

Publications

238

Citations

9

H-Index

1981

Active since

Affiliations

Delft University of Technology(Current)

J. van Katwijk is an author at Delft University of Technology specializing in engineering, systems engineering, and software analysis.

Top concepts

EngineeringSoftware AnalysisSystems EngineeringSoftware EngineeringFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisFormal VerificationDesign

Publications per year

1981–2003

9

Publications

9

VDM++, a formal specification language for object-oriented designs

Eugène Dürr, J. van Katwijk · 2003 · 76 citations

Engineering, Software Engineering, Software Analysis +18

Application and benefits of formal methods in software development

Nico Plat, J. van Katwijk, Hans Toetenel · Software Engineering Journal · 1992 · 36 citations

Software Maintenance, Engineering, Software Systems +24

Reuse dimensions

Liesbeth M. Dusink, J. van Katwijk · 1995 · 35 citations

Software Maintenance, Engineering, Model Reuse +17

VDM++: a formal specification language for object-oriented designs

Eugène Dürr, J. van Katwijk · Technology of Object-Oriented Languages and Systems · 1992 · 27 citations

Specification Language, Engineering, Program Analysis +9

On-line change mechanisms

Sylvia Stuurman, J. van Katwijk · 1998 · 14 citations · Full text

Engineering, Shift Detection, Software Engineering +18

Rows per page

1–5 of 9