Concepedia

Author

J. van Katwijk

Delft University of Technology

Also Known As

E Roubtsova@Tue, J van Katwijk, J. Van Katwijk, J. Van katwijk, J. van Katwijk, JAN VAN KATWIJK, Jan Katwijk, Jan van Katwijk, van Katwijk, J.

85

Publications

480

Citations

11

H-Index

56

Concepts

All Affiliations

Delft University of Technology
JV

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

227

2

Computer Engineering

3

3

101

3

Business

2

2

50

4

Medicine

1

1

11

5

Natural Sciences

1

1

11

J. van Katwijk

×

9

Publications

238

Citations

9

H-Index

YearCitations

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

Eugène Dürr, J. van Katwijk

2003

76

Application and benefits of formal methods in software development

Nico Plat, J. van Katwijk, Hans Toetenel

Software Engineering Journal

1992

36

Reuse dimensions

Liesbeth M. Dusink, J. van Katwijk

1995

35

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

On-line change mechanisms

Sylvia Stuurman, J. van Katwijk

1998

14

Hybrid specification of control systems

K. Brink, L. Bun, J. van Katwijk,

2002

14

A software process for the construction of predictable on-board embedded real-time systems

Tullio Vardanega, J. van Katwijk

Software Practice and Experience

1999

13

Specification of Real-Time Systems in UML

Ella Roubtsova, J. van Katwijk, W.J. Toetenel,

Electronic Notes in Theoretical Computer Science

2000

12

Improved evaluation of high-resolution mass spectra through the investigation of peak shapes and isotopic contributions

J. van Katwijk

International Journal of Mass Spectrometry and Ion Physics

1981

11

Page 1