1. 1999
  2. H-astral and its use in the development of real-time control systems

    Brink, K., van Katwijk, J., Toetenel, W. J. & Zalewski, J. 1999 WRTP'99: preprint proceedings. ARTDB-99: preprint proceedings. AH Frigeri, WA Halang & SH Son (eds.). S.l.: International Federation of Automatic Control, p. 123-128 6 p.

    Research output: Scientific - peer-reviewConference contribution

  3. Java in het inleidend programmeeronderwijs: terugblik en reflectie

    Kluit, P. G., Sint, M. & Wester, F. J. 1999 In : Tinfon. 8, 2, p. 42-48 7 p.

    Research output: ProfessionalArticle

  4. Modeling and verification using XTG and PMC

    Burns, A., Lutje Spelberg, R. F., Toetenel, W. J. & Vink, T. 1999 ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 251-258 8 p.

    Research output: Scientific - peer-reviewConference contribution

  5. New method of improving software safety in mission-critical real-time systems

    Anderson, E., van Katwijk, J. & Zalewski, J. 1999 System safety at the dawn of a new millennium: proceedings. Unionville: System Safety Society, p. 587-596 10 p.

    Research output: Scientific - peer-reviewConference contribution

  6. Parametric model-checking in PMC

    Bandini, G., Lutje Spelberg, R. F. & Toetenel, W. J. 1999 NWPT'99: proceedings (Technical report 1999-008). B Victor & Wang Yi (eds.). Uppsala: Uppsala University: Department of Information Technology, p. 14-15 2 p.

    Research output: ScientificConference contribution

  7. Software architecture and Java beans

    Stuurman, S. 1999 WICSA1. P Donohoe (ed.). Boston: Kluwer, p. 183-200 18 p.

    Research output: Scientific - peer-reviewConference contribution

  8. Software engineering

    van Katwijk, J. & Toetenel, W. J. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1005-1018

    Research output: ProfessionalChapter

  9. Softwareontwerp en -realisatie

    Toetenel, W. J. & van Katwijk, J. 1999 ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1019-1033

    Research output: ProfessionalChapter

  10. Web-based course on software quality assurance: perspectives on intercontinental learning [alleen op CD-ROM verschenen]

    Shah, A., Sosnowski, J., van Katwijk, J. & Zalewski, J. 1999 ICEE'99 proceedings: process through partnership: strengthening alliances. R Farana (ed.). S.l.: s.n., p. 1-9 9 p.

    Research output: ScientificConference contribution

Previous 1...86 87 88 89 90 Next

ID: 19954