1. 1999
  2. 'U doet dus iets met computers': het benoemen van IT-functies en -bedrijven is vaak een groot probleem

    Mulder, JBF. & Dietz, JLG., 1999, In : Automatisering Gids. 35, p. 19-19 1 p.

    Research output: Contribution to journalArticleProfessional

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

    Vardanega, T. & van Katwijk, J., 1999, In : Software: Practice and Experience. 29, 3, p. 235-266 32 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. An approach towards formal verification of object-oriented real-time systems

    de Rooij, RCM. & van Katwijk, J., 1999, RTCSA'99: proceedings. Los Alamitos: IEEE, p. 474-483 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. BPR: van hype naar selectieve toepassing

    Mulder, JBF. & van Reijswoud, VE., 1999, In : Automatisering Gids. 47, p. 21-21 1 p.

    Research output: Contribution to journalArticleProfessional

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

    Kyaruzi, JK. & van Katwijk, J., 1999, Proceedings ASE 1999. A Rawlinson (ed.). Los Alamitos: IEEE, p. 235-242 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. Bridging the gap between information modelling and business modelling for ISD

    van Reijswoud, VE. & Mulder, JBF., 1999, Evolution and challenges in system development: proceedings. J Zupancic, W Wojtkowski, WG Wojtkowski & S Wrycza (eds.). New York: Kluwer Academic, p. 317-330 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. Communicative action-based business process and information systems modelling with DEMO

    van Reijswoud, VE., Mulder, JBF. & Dietz, JLG., 1999, In : Information Systems Journal: an international journal promoting the study and practice of information systems. 9, p. 117-138 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Experiences with an introductory real-time software course at Delft University of Technology

    van Katwijk, J. & Zalewski, J., 1999, Proceedings. J Nawrocki (ed.). Los Alamitos: IEEE, p. 24-29 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Experiments in using model checking for schedulability analysis

    de Rooij, RCM., 1999, ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 158-164 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. Experiments with parametric verification of real-time systems

    Lutje Spelberg, RF., de Rooij, RCM. & Toetenel, WJ., 1999, Proceedings. B Werner (ed.). Los Alamitos: IEEE, p. 123-131 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  12. H-astral and its use in the development of real-time control systems

    Brink, K., van Katwijk, J., Toetenel, WJ. & 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  13. Java in het inleidend programmeeronderwijs: terugblik en reflectie

    Kluit, PG., Sint, M. & Wester, FJ., 1999, In : Tinfon. 8, 2, p. 42-48 7 p.

    Research output: Contribution to journalArticleProfessional

  14. Modeling and verification using XTG and PMC

    Burns, A., Lutje Spelberg, RF., Toetenel, WJ. & 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  15. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  16. Parametric model-checking in PMC

    Bandini, G., Lutje Spelberg, RF. & Toetenel, WJ., 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: Chapter in Book/Report/Conference proceedingConference contributionScientific

  17. Software architecture and Java beans

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  18. Software engineering

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  19. Softwareontwerp en -realisatie

    Toetenel, WJ. & 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: Chapter in Book/Report/Conference proceedingChapterProfessional

  20. 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: Chapter in Book/Report/Conference proceedingConference contributionScientific

  21. 2000
  22. ACL: an approach to formal verification of real time systems

    de Rooij, RCM., Lutje Spelberg, RF. & van Katwijk, J., 2000, ASCI 2000 proceedings. LJ Vliet, V., JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds.). Delft: Advanced School for Computing and Imaging, p. 335-342 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  23. Application of parametric model checking-the root contention protocol

    Bandini, G., Lutje Spelberg, RF., de Rooij, RCM. & Toetenel, WJ., 2000, ASCI 2000 proceedings. LJ Vliet, V., JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds.). Delft: Advanced School for Computing and Imaging, p. 21-28 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  24. Concerns on architecture-centered software development: a survey

    Kyaruzi, JK. & van Katwijk, J., 2000, In : Journal of Integrated Design & Process Science. 4, 3, p. 13-33 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  25. Design orthogonal concepts orthogonally - a contribution to maintainability of enterprise information systems

    Gerhardt-Hackl, W., van Katwijk, J. & Essenius, E., 2000, ReTIS 2000: preparing to E-business. S.l.: Österreichische Computer Gesellschaft, p. 21-34 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  26. Editorship

    Toetenel, WJ., 2000, Euromicro RTS 2000 proceedings. Los Alamitos: IEEE, p. -

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  27. Empirical evaluation of ontological commitments for ADLs

    Kyaruzi, JK. & van Katwijk, J., 2000, SEKE 2000 proceedings. Skokie (USA): Knowledge Systems Institute, p. 94-102 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  28. Extentions to the modula-2 language

    Pronk, C., Schonhacker, M., Sutcliffe, RJ. & Wiedemann, A., 2000, In : Journal of Object - Oriented Programming. 13, 7, p. 1-6 6 p.

    Research output: Contribution to journalArticleScientific

  29. Formal specification of a safety shell in real-time control practice

    Sahraoui, A-E-K., Anderson, E., van Katwijk, J. & Zalewski, J., 2000, WRTP'2000. A Crespo & J Vila (eds.). S.l.: International Federation of Automatic Control, p. 117-123 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  30. Industrial concerns for architecture-centered software development

    Kyaruzi, JK. & van Katwijk, J., 2000, Conference proceedings. A Mushi & A Bijura (eds.). S.l.: s.n., p. 66-102 37 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  31. Intelligent flight controller design with fuzzy logoc for an atmospheric re-entry vehicle

    Wu, S-F., Engelen, HMM., Babuska, R., Chu, Q-P. & Mulder, JA., 2000, Proceedings and exhibit. Denver: AIAA, p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  32. Middleware for weal-time distributed simulation systems

    van Paassen, MM., Pronk, C. & Delatour, J., 2000, ESS'2000 symposium, simulation in industry'2000. P Geril & D Möller (eds.). Erlangen: SCS Publishing House, p. 351-358 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  33. Model checking real-time embedded software

    Toetenel, WJ. & Lutje Spelberg, RF., 2000, PROGRESS 2000 proceedings. JP Veen (ed.). Utrecht: STW Technology Foundation, p. 149-156 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  34. Parallel and distributed real-time systems: an introduction

    van Katwijk, J. & Zalewski, J., 2000, In : Parallel and Distributed Computing Practices. 2, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientific

  35. Parametric verification of the IEEE 1394a root contention protocol using LPMC

    Toetenel, WJ., Lutje Spelberg, RF. & Bandini, G., 2000, Proceedings. DC Young (ed.). Los Alamitos: IEEE, p. 207-214 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Performance comparison of four software architectures for distributed computations

    van Katwijk, J. & Peng, Y., 2000, ParCo99 proceedings. EH D'Hollander, GR Joubert, FJ Peters & HJ Sips (eds.). London: Imperial college press, p. 582-589 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  37. Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

    van Katwijk, J., de Rooij, RCM., Stuurman, S. & Toetenel, WJ., 2000, In : Parallel and Distributed Computing Practices. 2, 1, p. 73-88 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  38. Some observations on teaching and industry at Delft University of Technology

    van Katwijk, J., 2000, Conference proceedings. A Mushi & A Bijura (eds.). S.l.: s.n., p. 13-21 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

    van Katwijk, J., Toetenel, WJ., Sahaoui, AEK., Anderson, E. & Zalewski, J., 2000, SAFECOMP 2000 proceedings. F Koornneef & M Meulen, V. D. (eds.). Berlin: Springer, p. 37-52 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  40. Specification of real-time systems in UML

    Roubtsova, E., van Katwijk, J., Toetenel, WJ., Pronk, C. & de Rooij, RCM., 2000, In : Electronic Notes in Theoretical Computer Science. 39, 3, p. 1-13 13 p.

    Research output: Contribution to journalArticleScientific

  41. Towards explicit representation of architectural design assumption

    Kyaruzi, JK. & van Katwijk, J., 2000, ASE 2000 proceedings. Los Alamitos: IEEE, p. 249-252 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  42. 2001
  43. A timed automata semantics for Real-Time UML specifications

    Toetenel, WJ., Roubtsova, E. & van Katwijk, J., 2001, Proceedings. Piscataway: IEEE Society, p. 88-95 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  44. Expressing and verifying timing requirements with UML

    Al-Daraiseh, A., Zalewski, J. & Toetenel, WJ., 2001, ISAS SCI 2001: proceedings. N Callaos & ... [et Al] (eds.). Orlando: International Institute of Informatics and Systemics, p. 461-466 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  45. GNSS extensions: intermediate interference robustness report deliverable D7 for shine

    Coenen, AJRM., Ober, PB., Reijmers, H. & van Katwijk, J., 2001, Delft: Delft University of Technology. 21 p.

    Research output: Book/ReportReportProfessional

  46. Parallel and distributed real-time systems: an introduction

    van Katwijk, J. & Zalewski, J., 2001, Parallel and distributed real-time systems. S Boriotti & D Dennis (eds.). Huntington, New York: Nova Science Publishers, p. 1-6

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  47. Parametric real-time model checking using splitting trees

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, In : Nordic Journal of Computing. 8, p. 88-120 33 p.

    Research output: Contribution to journalArticleScientific

  48. Practice of real-time software architecture: Collider, satellites, and tanks combined

    van Katwijk, J., Schwartz, JJ. & Zalewski, J., 2001, Proceedings. HB Verbruggen, CW Chan & RA Vingerhoeds (eds.). Hong Kong: IFAC, p. 550-559 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  49. Real-Time model checking based on splitting

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, Proceedings. JCM Baeten & ... [et Al] (eds.). S.l.: s.n., p. 56-70 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  50. Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

    van Katwijk, J. & ... [et Al], ., 2001, Parallel and distributed real-time systems. S Boriotti & D Dennis (eds.). Huntington, New York: Nova Science Publishers, p. 105-126

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  51. Software verification in ground transportation systems

    Al-Daraiseh, A., Zalewski, J. & Toetenel, WJ., 2001, ISAS SCI 2001: proceedings. N Callaos, S Long & M Loutfi (eds.). Orlando: International Institute of Informatics and Systemics, p. 271-276 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  52. Specification of Real-Time properties in UML

    Boubtsova, E. & Toetenel, WJ., 2001, Proceedings. Piscataway: IEEE Society, p. 61-64 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  53. Transformation of UML specification to XTG

    Roubtsova, E., van Katwijk, J., de Rooij, RCM. & Toetenel, WJ., 2001, PSI'01: proceedings. S.l.: s.n., p. 138-140 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  54. 2002
  55. Building blocks for durable metadata of visual sources

    van Horik, MPM. & van der Meer, K., 2002, Proceedings of the 2nd International Workshop on new developments in digital libraries. Isaias, P. (ed.). Setubal, Portugal: ICEIS Press, p. 80-92 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  56. Longevity of digital surrogates of visual sources

    van Horik, MPM., 2002, Building blocks for effective telematics application development and evaluation. Verbraeck, A. & Dahanayake, A. (eds.). Delft: Delft University of Technology, p. 98-101 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  57. On context-aware process networks

    van Dijk, HW., Deprettere, EFA. & Sips, HJ., 2002, MMSA2002; third international symposium on mobile multimedia systems and applications. Lagendijk, RL., Heusdens, R., Lagendoen, KG. & Serdijn, WA. (eds.). s.l.: s.n., p. 17-26 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  58. Software technologies for embedded systems: an industry inventory

    Graaf, BS., Lormans, M. & Toetenel, WJ., 2002, Product focused software process improvement. Oivo, M. & Komi-Sirviö, S. (eds.). Berlin: Springer, p. 453-465 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  59. 2003
  60. A new benchmark for distributed real-time systems: some experimental results

    Guo, D., van Katwijk, J. & Zalewski, J., 2003, 27th IFAC/IFIP/IEEE Workshop on real-time programming WRTP'03. Colnaric, M., Adamski, M. & Wegrzyn, M. (eds.). s.l.: IFAC, p. 141-146 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  61. An approach to evaluate real-time software architectures for safety-critical systems

    van Katwijk, J., Sandén, B. & Zalewski, J., 2003, Critical systems development with UML - Proceedings of the UML'03 workshop. Jürjens, J., Rumpe, B., France, R. & Fernandez, EB. (eds.). München: Technische Universität München, p. 121-128 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  62. Aspect mining and refactoring

    Marin, A. M., van Deursen, A. & Moonen, LMF., 2003, Proceedings of The first international workshop on REFactoring: Achievements, Challenges, and Effects (REFACE). Tahvildari, L. & Kontogiannis, K. (eds.). s.l.: s.n., p. 37-40 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  63. Broncode toont risico's onderhoud

    van Deursen, A. & Kuipers, T., 2003, In : Informatie: maandblad voor informatievoorziening. 9, p. 22-27 6 p.

    Research output: Contribution to journalArticleProfessional

  64. Context-aware process networks

    van Dijk, HW., Sips, HJ. & Deprettere, EFA., 2003, ASCI 2003; proceedings of the ninth annual conference of the advanced school for computing and imaging. Vassiliadis, S., Florack, LMJ., Heijnsdijk, JWJ. & van der Steen, A. (eds.). Delft: Advanced School for Computing and Imaging, p. 310-317 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  65. Context-aware process networks

    van Dijk, HW., Sips, HJ. & Deprettere, EFA., 2003, ASAP 2003; Proceedings IEEE international conference on application-specific systems, architectures, and processors. Deprettere, E., Bhattacharyya, S., Cavallaro, J., Darte, A. & Thiele, L. (eds.). Piscataway: IEEE Society, p. 6-16 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  66. Embedded software engineering: the state of the practice

    Graaf, BS., Lormans, M. & Toetenel, WJ., 2003, In : IEEE Software. 20, 6, p. 61-69 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  67. Exploring software systems

    Moonen, LMF., 2003, ICSM 2003; proceedings international conference on software maintenance. s.n. (ed.). Piscataway: IEEE Society, p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  68. Formal definition of programming language standards

    Pronk, C. & Schonhacker, M., 2003, In : ACM SIGPLAN Notices. 38, 8, p. 20-21 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  69. Generalized parsing and term rewriting: semantics driven disambiguation

    van den Brandt, MGJ., Klusener, AS., Moonen, LMF. & Vinju, JJ., 2003, In : Electronic Notes in Theoretical Computer Science. p. 1-17 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  70. Henri Ford in software engineering

    van Deursen, A. & Klint, P., 2003, In : Informatie: maandblad voor informatievoorziening. 4, p. 50-54 5 p.

    Research output: Contribution to journalArticleProfessional

  71. Refactoring: emerging trends and open problems

    Mens, T. & van Deursen, A., 2003, Proceedings of The first international workshop on REFactoring: Achievements, Challenges, and Effects (REFACE). Tahvildari, L. & Kontogiannis, K. (eds.). p. 51-54 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  72. Simona, real-time software in de praktijk

    Pronk, C. & van Paassen, MM., 2003, In : Machazine der W.I.S.V. Christiaan Huygens. 7, 3, p. 1-4

    Research output: Contribution to journalArticleProfessional

  73. Slopen onder architectuur

    Bakker, H., van den Berg, M. & van Deursen, A., 2003, Landelijk Architectuur Congres. Den Haag: Ten Hagen & Stam, p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

  74. Source-based software risk assessment

    van Deursen, A. & Kuipers, T., 2003, Proceedings ICSM 2003. Alamitos, CA: IEEE, p. 385-388 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  75. 2004
  76. A meta ontology for organizations

    Dietz, JLG. & Habing, N., 2004, On the move to meaningful internet systems 2004: OTM 2004 Workshops. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 533-544 12 p. (Lecture Notes in Computer Science; vol. 3292).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  77. A step forward in the theory and practice of ICT management simulation

    Ilkov, IG., 2004, Delft: IG Ilkov. 207 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  78. Aligning business process modeling and software specification in a component-based way

    Shishkov, BB. & Dietz, JLG., 2004, ICEIS 2004 Proceedings sixth international conference on enterprise information systems. Seruca, I., Filipe, J., Hammoudi, S. & Cordeiro, J. (eds.). INSTICC, p. 103-108 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  79. An evaluation of clone detection techniques for identifying crosscutting concerns

    Bruntink, M., van Deursen, A., Tourwe, T. & van Engelen, R., 2004, ICSM 2004; Proceedings of the 20th IEEE international conference on software maintenance. Los Alamitos, CA. USA: IEEE, p. 200-209 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  80. An initial experiment in reverse engineering aspects

    Bruntink, M., van Deursen, A. & Tourwe, T., 2004, Proceedings of the 11th Working Conference on Reverse Engineering (WCRE). Piscataway: IEEE Society, p. 306-307 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

  81. Basic notions regarding business processes and supporting information systems

    Dietz, JLG., 2004, CAISE'04; 16th Conference on advanced information systems engineering: Workshops proceedings of knowledge and model driven information systems engineering for networked organisations. Grundspenkis, J. & Kirikova, M. (eds.). Riga, Latvia: Riga Technical University, p. 60-68 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  82. De oberstrategie - hoe lang nog?

    Dietz, JLG., 2004, 50 Jaar informatiesystemen 1978-2028. deel 1. Liber amicorum voor Theo Bemelmans. Valstar, T. & van Genuchten, M. (eds.). Eindhoven: Eindhoven University of Technology, p. 109-118 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  83. Democratic processing; mastering the complexity of communicating systems

    van Dijk, HW., 2004, S.l.: s.n.. 158 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  84. Deriving use cases from business processes - The advantages of DEMO

    Shishkov, BB. & Dietz, JLG., 2004, Enterprise information systems V. Camp, O., Filipe, JBL., Hammoudi, S. & Piattini, M. (eds.). Dordrecht: Kluwer Academic Publishers, p. 249-257 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  85. Design of software applications using generic business components

    Shishkov, BB. & Dietz, JLG., 2004, Proceedings of the 37th Hawaii international conference on system sciences - 2004. Sprague, RH. (ed.). Piscataway: IEEE, p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  86. Digital preservation; the findings of the e-archive project

    Dekker, R., Durr, EH. & van der Meer, K., 2004, Proceedings of the IADIS international conference applied computing 2004. Guimaraes, N. & Isaias, P. (eds.). Lisbon: IADIS, p. 244-248 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  87. Een overzichtsraamwerk voor beheermethoden

    de Jong, W. & de Haas, MAT., 2004, Baten in beheer; IT jaarboek 2004/2005. Noë, F. (ed.). Den Haag: Ten Hagen & Stam, p. 35-42 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  88. Identifying aspects using Fan-In analysis

    Marin, M., van Deursen, A. & Moonen, LMF., 2004, WCRE'04; Proceedings of the Eleventh working conference on reverse engineering. Washington: IEEE, p. 132-141 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  89. Maintainability through architecture development

    Graaf, BS., 2004, EWSA 2004; Proceedings of the First European workshop on software architecture. Oquendo, F., Warbays, B. & Morrison, R. (eds.). Berlin: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; vol. 3047).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  90. Managing evolving requirements in an outsourcing context: an industrial experience report

    Lormans, M., van Dijk, HW., van Deursen, A. & de Zeeuw, A., 2004, IWPSE 2004; Proceedings of the Seventh international workshop on the principles of software evolution. Inoue, K., Ajisake, T. & Gall, H. (eds.). Washington: IEEE, p. 149-158 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  91. Model checking real-time systems based on partition refinement

    Lutje Spelberg, RF., 2004

    Research output: ThesisDissertation (TU Delft)Scientific

  92. Permanent pixels; building blocks for the longevity of digital surrogates of historical photographs

    van Horik, MPM., Koppelaar, H., van der Meer, K. & van Doorn, PE., 2004, Proceedings of the IS&T's 2004 archiving conference. Frey, F. & Buckley, R. (eds.). Springfield, USA: SPIE, p. 128-135 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  93. Predicting class testability using object-oriented metrics

    Bruntink, M. & van Deursen, A., 2004, SCAM 2004; Proceedings of the Fourth IEEE international worksho on source code analysis an manipulation. Los Alamitos, CA. USA: IEEE, p. 136-145 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  94. Refactoring JHotDraw's undo concern to aspectJ

    Marin, A. M., 2004, WARE'04; Proceedings of the First workshop on aspect reverse engineering. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  95. Source model analysis using the JJtraveler visitor combinator framework

    van Deursen, A. & Visser, M., 2004, In : Software: Practice and Experience. 34, 14, p. 1345-1379 35 p.

    Research output: Contribution to journalArticleScientificpeer-review

  96. Standard metadata applied to software retrieval

    Gonzales, R. & van der Meer, K., 2004, In : Journal of Information Science. 30, 4, p. 300-309 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  97. Symphony: view-driven software architecture reconstruction

    van Deursen, A., Hofmeister, C., Koschke, R., Moonen, LMF. & Riva, C., 2004, WICSA 2004; Proceedings of the fourth working IEEE/IFIP conference on software achitecture. Los Alamitos, CA. USA: IEEE, p. 122-132 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  98. The evaluation of business process modeling techniques

    Hommes, LJ., 2004, 267 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  99. The notion of business process revisited

    Dietz, JLG. & Habing, N., 2004, On the move to meaningful internet systems 2004: CoopIS, DOA, and ODBASE. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 85-100 16 p. (Lecture Notes in Computer Science; vol. 3290).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  100. Towards a LAP-based information paradigm

    Dietz, JLG., 2004, LAP 2004; Proceedings of the ninth international working conference on the language action perspective on communication modelling. Aakhus, M. & Lind, M. (eds.). New Brunswick, NJ. USA: Rutgers, The State University of New Jersey, p. 59-76 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  101. Using DEMO and ORM in concert: A case study

    Dietz, JLG. & Halpin, T., 2004, Advanced topics in database research. Siau, K. (ed.). London: Idea Group, p. 218-236 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  102. Viewpoints in software architecture reconstruction

    van Deursen, A., Hofmeister, C., Koschke, R., Moonen, LMF. & Riva, C., 2004, Proceedings of the 6th Workshop on Software Reengineering WSR04. s.n. (ed.). s.l.: s.n., p. 1-2 2 p. (Softwaretechnik-Trends; vol. 24).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

  103. 2005
  104. A Micromechanics-Based Vapor Pressure Model in Electronic Packages

    Fan, XJ., Zhou, J., Zhang, GQ. & Ernst, LJ., 2005, In : Journal of Electronic Packaging. 127, p. 262-267 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  105. A classification of crosscutting concerns

    Marin, A. M., Moonen, LMF. & van Deursen, A., 2005, ICSM'05 - Proceedings of the 21st IEEE International conference on software maintenance. s.n. (ed.). Piscataway, USA: IEEE, p. 673-676 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  106. A hybrid approach to hierarchical fault diagnosis

    Feldman, AB., van Gemund, AJC. & Bos, A., 2005, Proceedings of DX'05. Dearden, R. & Narasimhan, S. (eds.). Pacific Grove, CA, USA: NASA AMES, p. 101-106 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  107. A model-based approach to sequential fault diagnosis

    Pietersma, J., van Gemund, AJC. & Bos, A., 2005, Autotestcon 2005 Proceedings. Karlovic, S. & Wallhermfechtel, D. (eds.). Piscataway: IEEE Society, p. 621-627 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 19954