BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × The Netherlands
1 × USA
Collaborated with:
J.J.Kyaruzi S.Stuurman E.Dürr N.Plat K.Pronk H.Li A.M.Levy R.Huijsman G.v.Oosten H.Toetenel
Talks about:
design (4) architectur (3) softwar (3) formal (2) vdm (2) difficulti (1) constraint (1) represent (1) structur (1) explicit (1)

Person: Jan van Katwijk

DBLP DBLP: Katwijk:Jan_van

Facilitated 1 volumes:

Ada-Europe 1992Ed

Contributed to:

ASE 20002000
ASE 19991999
FSE 19981998
SEKE 19921992
TOOLS Europe 19921992
VDM Europe 19901990
VDM Europe (1) 19911991

Wrote 8 papers:

ASE-2000-KyaruziK #architecture #design #representation #towards
Towards Explicit Representation of Architectural Design Assumptions (JJK, JvK), pp. 249–252.
ASE-1999-KyaruziK #architecture #component #constraints
Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties (JJK, JvK), pp. 235–242.
FSE-1998-StuurmanK #online
On-Line Change Mechanisms (SS, JvK), pp. 80–86.
SEKE-1992-LiKL #architecture #design #reuse #using
The Reuse of Software Design and Software Architecture (HL, JvK, AML), pp. 170–177.
TOOLS-EUROPE-1992-DurrK #design #object-oriented #specification
VDM++, A Formal Specification Language for OO Designs (ED, JvK), pp. 63–77.
VDME-1990-PlatHKOPT #type checking
Type Checking BSI/VDM-SL (NP, RH, JvK, GvO, KP, HT), pp. 399–425.
VDME-1991-PlatKP #analysis #design
A Case for Structured Analysis/Formal Design (NP, JvK, KP), pp. 81–105.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.