Author

J. van Katwijk

Observed names: J KATWIJK, J van Katwijk, J. Van Katwijk, J. Van katwijk, JAN VAN KATWIJK, Jan Katwijk, Jan van Katwijk, VAN KATWIJK, JAN, van Katwijk, J.

Observed institution: Delft University of Technology

OpenAlex ID: A5000376594

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

2003 · E. Durr, J. van Katwijk · IEEE Computer Society European Conference (CompEuro) · 79

Application and benefits of formal methods in software development

1992 · Nico Plat, Jan van Katwijk, et al. · Software Engineering Journal · 36

Reuse dimensions

1995 · Liesbeth Dusink, Jan van Katwijk · Symposium on Software Reusability · 35

VDM++, A Formal Specification Language for OO Designs.

1992 · Eugène Dürr, J. van Katwijk · 32

A case for structured analysis/formal design

1991 · Nico Plat, Jan Katwijk, et al. · Lecture notes in computer science · 19

Hybrid specification of control systems

2002 · K. Brink, L. Bun, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 14

On-line change mechanisms

1998 · Sylvia Stuurman, Jan van Katwijk · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 14

PDF

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

1999 · T. Vardanega, J. van Katwijk · Software Practice and Experience · 12

Specification of Real-Time Systems in UML

2000 · E.E. Roubtsova, J. van Katwijk, et al. · Electronic Notes in Theoretical Computer Science · 11

PDF

Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs

2000 · Jan van Katwijk, Hans Toetenel, et al. · Lecture notes in computer science · 11

SVDM: An Integrated Combination of SA and VDM

1991 · Peter Gorm Larsen, Jan van Katwijk, et al. · 9

Beyond components-connections-constraints: dealing with software architecture difficulties

2003 · J.K. Kyaruzi, J. van Katwijk · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 8

Analyzing schedulability of astral specifications using extended timed automata

1997 · K. Brink, J. van Katwijk, et al. · Lecture notes in computer science · 8

Evaluation of software architectures for a control system: A case study

1997 · Sylvia Stuurman, Jan van Katwijk · Lecture notes in computer science · 8

A timed automata semantics for real-time UML specifications

2002 · H. Toetenel, E. Roubtsova, et al. · IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) · 7

Transformation of UML Specification to XTG

2001 · Ella E. Roubtsova, Jan van Katwijk, et al. · Lecture notes in computer science · 7

Asynchronous transfer of control in Ada

1988 · W. J. Toetenel, J. van Katwijk · 7

PDF

Specification of Real-Time Systems in UML

2000 · E ROUBTSOVA, J KATWIJK, et al. · Electronic Notes in Theoretical Computer Science · 6

Real-Time Computing Education: Responding to a Challenge of the Next Century

1997 · Wolfgang Halang, Carlos Pereira, et al. · IFAC Proceedings Volumes · 6

Astral Specification for a Railroad Controller

1995 · L. Bun, J. van Katwijk · 6

Issues concerning software reuse-in-the-large

2003 · H. Li, J. van Katwijk · International Conference on Systems Integration (ICSI) · 5

Ada 95 as implementation vehicle for formal specifications

2002 · K. Brink, J. van Katwijk, et al. · IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) · 5

SEPDS: a support environment for prototyping distributed systems

2002 · A.M. Levy, J. van Katwijk, et al. · International Conference on Systems Integration (ICSI) · 5

Productive engineering of predictable embedded real-time systems: the road to maturity

1998 · T Vardanega, J van Katwijk · Information and Software Technology · 5

SEAL A simple language for prototyping action-event specifications

1993 · K. Brink, R. Huijsman, et al. · Microprocessing and Microprogramming · 5

Works count: 86

Citation count: 460

H-index: 10

I10-index: 10