Jv

J. van Katwijk

30 records found

Authored

Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm
Journal article (2000) - J. van Katwijk, RCM de Rooij, S Stuurman, WJ Toetenel

Concerns on architecture-centered software development: a survey
Journal article (2000) - JK Kyaruzi, J. van Katwijk

Specification and verification of a safty shell with statcharts and extended timed graphs

Performance comparison of four software architectures for distributed computations
Conference paper (2000) - J. van Katwijk, Y Peng

Industrial concerns for architecture-centered software development
Conference paper (2000) - JK Kyaruzi, J. van Katwijk

Formal specification of a safety shell in real-time control practice
Conference paper (2000) - A-E-K Sahraoui, E Anderson, J. van Katwijk, J Zalewski

Towards explicit representation of architectural design assumption
Conference paper (2000) - JK Kyaruzi, J. van Katwijk

ACL: an approach to formal verification of real time systems
Conference paper (2000) - RCM de Rooij, RF Lutje Spelberg, J. van Katwijk

Specification of real-time systems in UML

Design orthogonal concepts orthogonally - a contribution to maintainability of enterprise information systems
Conference paper (2000) - W Gerhardt-Hackl, J. van Katwijk, E Essenius

Some observations on teaching and industry at Delft University of Technology
Conference paper (2000) - J. van Katwijk

Softwareontwerp en -realisatie
Book chapter (1999) - WJ Toetenel, J. van Katwijk

An approach towards formal verification of object-oriented real-time systems
Conference paper (1999) - RCM de Rooij, J. van Katwijk

Experiences with an introductory real-time software course at Delft University of Technology
Conference paper (1999) - J. van Katwijk, J Zalewski

Web-based course on software quality assurance: perspectives on intercontinental learning [alleen op CD-ROM verschenen]
Conference paper (1999) - A Shah, J Sosnowski, J. van Katwijk, J Zalewski

New method of improving software safety in mission-critical real-time systems
Conference paper (1999) - E Anderson, J. van Katwijk, J Zalewski

Beyond components-connections-constraints: dealing with software architecture difficulties
Conference paper (1999) - JK Kyaruzi, J. van Katwijk

A software process for the construction of predictable on-board embedded real-time systems
Journal article (1999) - T Vardanega, J. van Katwijk

H-astral and its use in the development of real-time control systems
Conference paper (1999) - K Brink, J. van Katwijk, WJ Toetenel, J Zalewski

Software engineering
Book chapter (1999) - J. van Katwijk, WJ Toetenel