+ All Categories
Home > Documents > Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National...

Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National...

Date post: 25-Sep-2020
Category:
Upload: others
View: 0 times
Download: 0 times
Share this document with a friend
48
Centrum voor Wiskunde en Informatica Software ENgineering When and how to develop domain-specific languages M. Mernik, J. Heering, A.M. Sloane REPORT SEN-E0517 DECEMBER 2005 SEN Software Engineering
Transcript
Page 1: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

C e n t r u m v o o r W i s k u n d e e n I n f o r m a t i c a

Software ENgineering

When and how to develop domain-specific languages

M. Mernik, J. Heering, A.M. Sloane

REPORT SEN-E0517 DECEMBER 2005

SENSoftware Engineering

Page 2: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the Netherlands Organization for Scientific Research (NWO).CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics.

CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms.

Probability, Networks and Algorithms (PNA)

Software Engineering (SEN)

Modelling, Analysis and Simulation (MAS)

Information Systems (INS)

Copyright © 2005, Stichting Centrum voor Wiskunde en InformaticaP.O. Box 94079, 1090 GB Amsterdam (NL)Kruislaan 413, 1098 SJ Amsterdam (NL)Telephone +31 20 592 9333Telefax +31 20 592 4199

ISSN 1386-369X

Page 3: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

When and how to develop domain-specificlanguages

ABSTRACTDomain-specific languages (DSLs) are languages tailored to a specific application domain.They offer substantial gains in expressiveness and ease of use compared with general-purposeprogramming languages in their domain of application. DSL development is hard, requiring bothdomain knowledge and language development expertise. Few people have both. Notsurprisingly, the decision to develop a DSL is often postponed indefinitely, if considered at all,and most DSLs never get beyond the application library stage. Although many articles havebeen written on the development of particular DSLs, there is very limited literature on DSLdevelopment methodologies and many questions remain regarding when and how to develop aDSL. To aid the DSL developer, we identify patterns in the decision, analysis, design, andimplementation phases of DSL development. Our patterns improve and extend earlier work onDSL design patterns. We also discuss domain analysis tools and language developmentsystems that may help to speed up DSL development. Finally, we state a number of openproblems.

2000 Mathematics Subject Classification: 68N151998 ACM Computing Classification System: D.3.2Keywords and Phrases: domain-specific language; application language; domain analysis; language developmentsystemNote: Accepted for publication in ACM Computing Surveys. This is a revised and extended version of CWI report SEN-E0309 with the same title. Many examples illustrating the various patterns were added, the section on domain analysiswas extended, the FODA and FAST approaches are discussed in more detail, and the number of references wasincreased from 100 to 150.

Page 4: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the
Page 5: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

���� ��� ��� � ����� ������� �����

���������

������ �������� �� �������� �� ���� �� �������

� ���������� ���� �� �������� ������������������� �� ��� ���������� ��� ������������ ������������������ ��������� ����������� ���������� � ������� ��������

��������

����������� ��� �� � ������ �� ��� �� � ������� �� � �������������� ������� ��� ��� ����������� ���� �� ���������� ����� �� �� ������ ���� ����������� ��� ������ ��� �� � ������ ������ �� ����������� ��� �������� �� ���� �!����� ���������� "����� ��� ��� �� �������� ������� #� ���� �������� $�� ��������� �� �� ������ �� ����� � ��� �� ���� ����������������� �� ������� �� ��� ��� ���� ���� ��� � ����� ������������ ������� ��� �

%����� � ���� ������ ��� �� ������ �� �� �������� �� ���������� ���� ��� �� ��� ������ �������� �� ��� �������� ��������� �� ��� ���� !������� ����� � ����� ��� ��� ��� �� ������ ���� �� ��� �� ��� ������ � ������� ������� �� �� �������� ������� ����� ��� �������� � ��� ����� �� ��� ��������� &��������� ������ ��� ���� ����� ���" �� ��� ��� � �������� '���� ������ ������ �������� ����� ��� ��� �� �������� ������ ������� ��� �� ��� �� ��� ��������� #������ � ���� � ����� ����� ��������

� �����������

��� �������

���� ������� ��������� ��� ����������� ������ ���� �������������� !�����������"� ��������� #!�$�% ��� ��� ������ ������ �������� � &''()� ������������ &'*(� � +�+)� �������� &',()� �������� &'-� � '.)� � ������ ���&//) ��������� �������� ���� ������ ��� �������� #*0$�% &//) ��� �������!�$� � ���� ��� ����������� �� � �������� ��� ����� !�$� ���� � ��������� ���� ������� ��� �� �������������� ���������� �������� #01$�%&'*� � .'-)

!�$� ����� ���������� � �+������������ �� � ������� ����� 2� ��������������� ��� ��������� ������� �3��� � ���������� ���������� ������ ����

'

Page 6: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� '4 ��� 3����� ���� �����������"� ��������� !�$ ���������� ����� $����

2�5 �����+ �����"����� � � 6+��� ������������ -. #������ -%7��$ 7������+� 3� ����� 88 #������ 9 ,%$��6: ����������� � � ��;� ��3��� ������� '-���$�2 ��������� �������� � � �<$ !��� ��� ������� 8-=7!$ 7���3��� ������ '.>��� 0������������� ? #�������� ���%

�� �� 84 $������� ����� �� ����������� �� �������� �� ������ ����� #51% $���� 1���������� �������

��� ���@ ���� #51%

'A9 -A',*A( ',A8,/A'- '?A89

'?A89 '-A9,8*A-- 9,A-,� -- *,A',,

@�� �� �������� ����� �� �+������������ ��� ���� ��� ������� 3��� 01$� ���� ����� �� �������� 3��� ����������� ����� �� ����������� ��� ������������������ ���� ���� � �������� ��� ����� ����� ��� �����������+������� ������� !�$� ��� �� ����� ���������� ����� � � ������ ���� ��3��� ��������� ������� � 01$� ��� 3����� ���� !�$� 3��� ��������������� ������ ��� ������ �� �� �� ' ��� ����� ����� ����� ��� ������������� ���� !�$ �� ����� �� &./) $������� ����� �� ������� � ����������� ����3� �� �� �� 8� ��� �� &./) ����� �� ����� �+������� ��� ���"�� !�$� ���� ��� ��� ������ �� �������� ��� ��� �������� � ������������������� ���� �� ���� ������� �� &.8� ''� ./� (/� ??)� �� ����� ��������������������� �� ������� �� 3��� �� �� ���������� ����� �� ���� ��� �� ����������� �� ��� �������� ��� ��������� !�$ ���������� �� ���� ������� 3��� � ������� �����������

��� ��� !�$� �� � � ����� ��3 �1�� � !�$ � ���������� ������������ �������� ������� ���� 3�� �������� �� '/-.A'/-( &''?) 2�5� ��� 3����;�3� �����+ �����"����� �������� ����� ��; � '/-/ &?) !����������"������� ��������� #!�=$�%� ���� �� ������ ��������� � ����3��� ������������� ����� �����"������ ��� ��������� �� ���� ��� ���� ���� ������

�� 3��� �� ���� � ��"����� 3��� ���������� �� ���������� ����� ���

8

Page 7: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

3��� ��� �� ��� ������� � � � � � !�$ � ������� ������������ ������� 3��� ����� ���� �� ������� ��� ���� ���������� ����� � �� $������ ������� ��"����� ������ �� �� ������� � ����; !�$� �� ����� � ������� ����� 3��� ���� ��������B�� !�$� ���� �� 2�5 � ��� ��� ��� 01$����� �� �CC � ��� ����� #��� �������� ����� ������� &./) �� �� �������� ������� ���� ����� % D� ���� ������ � � 3��� � ���3���� ��3��� 2�5��� �CC� �� ���� ����� � ��� ������ ���������� �� �� ���� � ���� � ��������������� ��;� ��� ���+ ����� � ��������� ��������� ��;� ��� ��� !�$� �������������������� � �� � �� � �� ����

�� �� ������ 3��� �� ������ ��� �������� ��� 01$ ��� ��� �� � !�$ ��� �� ����E� ���������� 1��������� �������� #�1�% ���������� � �����������"� ��� ����� ������ ������ ��� ������ ����� ���� ����� ������ �� � F��� ������� ��� ����� �������� � ��� 01$ ������ ����� ��� �� ���� ���� ���� ��� ����� 3�� 3��� !�$� �������� �� ��� "��� �����G ������ ���������� ��� @�� �����������"���� �� ����� 3���4

� ���������� � ���� ������ ����������� �� � ���� ��� ������� ������� ������� �������"�� �� ������ ������ @���� � 01$� � !�$@��� ���������� �����������"� ������� �� ��� ����� ����� ���������� ����� �� � �������������� �� ���� ��� �������� ������� � �������������� ���������� ��������� 3��� ��� ��� !�$�

� ���������� ����������� ��� �� � ��� ��� �� ���� ����� ��3��� ������� �� � ���������3��� 3�� � ������� � F���� ���� ��� � ����� � �� ���� ���������� ��� ���� �������� ��� ������� �+������ &'/� ??�8.) � 01$ �� �� ������ 3��� �� ���������� �� ���� ��� ��� �+���������� ��������� ���������� � �� �� �3;3��� 3�� ������ � !�$ 3������������ �����������"� ��������� �� ��� �����

� ��� � !�$ @��� ���� ������� � ��������� ����� ���� �� ����� �������������� ���� ��� ��������� ��� �� ����� !�$ ��������� ���� 3��� � ���� ������ � ������ �� � � 01$ ��� ��� ����� ������ ��� 01$����� ��� �������� ������� ��� � �����+ � �� 3������"���

� ����;� 01$�� !�$� �� �� � �� ��� ����� �� � ��������� � ������ ��� !�$ ���������� 5� ��������� ��� ��������� ����+����� ��!�$� �� �������B�� �� &'-,)� �� !�$� ��� �������� � � �+����� �� ��&*() �� ������� !�$ �+����� ����� �� ������ ' 8

!������ ����� ����������� ���������� �� ������ ��� ����� �� ��������� �!�$� �� �� �� � �� ��� � ��� ���� ��� !�$� ����� ��� ���� ��� ����������� �� ���� ����� ����� ��� �������� ������ ����������� ������������� #!�6$�% &.?) 6��� 3��� ������� !�$ ���������� ���� ����������� �� ������ 3��� ������ ��� ��� �����@������ ������ �� ���� ������ ��� ���� ����� ��� ������ ������� ���������� ���� �� �D� ��� �DH2� &'99)��� ������ ���������� ��� �������� ������ !�$� ��� ���������� �� ������ 5� ��������� ������ 6+���E� ���� �������� �� � !�$ � ����������� ������������ 3���� ���� �������� ����� � 6+���E� ���������� ����������� ���

9

Page 8: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

����� �D�� 6+���E� ������������� ��� ��� ������������ ��� �� ������������ ���� �D� ��������� ����� � ������ �� �� � 01$� ���� �� �CC� >������ 2����� 3���� ��� ������ �� ������ ��� �D� ��������� ���� ������ ���������B���� �� ������ �� ��� ��� &9') ����;� ��� 6+��� ���� ��������� 3���� � ��� ���� ������ �� ������� � 6+��� ������������ 01$� ��� �� ���� ��� � ���� � 3���� ����������� ������������ 6+���E� �������� � ����� ��������� �� ���� I��������J ������� ��� �D� �� ������ �� ������� ��������� �� 6+��� �����

�� ��� ��������� ���� ������ 3� ������� !�$ �+����� ����� #������ ' 8%�!�$� �� ��� ���� ����� #������ ' 9%� ��� ���� ���� ������� #������ ' *%���� !�$ ���������� #������ ' -%

��� ��� ����� � �� ����

!�$� ��� �+����� �� �� ������ 3��� ��� � ������ �������� ���� � ��� ���� ���� ����+����� �� ����������� ��������� � ��� ��������� ��� !�$�� �������� ��� ����������� ������� ��� ��� ��� ������� ������ ������ ����� ���� ����� � ����� ���� �� ������� ��� ����� � ��� I!�$�+����� ����� �����J4

� !�$ 3��� 3������"��� �+������ ��������� #6+��� ���� ��������� 7��$%

� ����� �������� �� ������ ��� ���� �� &99� '8/) 6+������ ��� ����D$ &-')� � !�$ � ���������� �������� ��� 7����; &'/)� � !�$ �������� ��"���� ���� ��������� ��� ��� �+����� ��� �� ���� ����������� � ��� ����������� ��������� ��� � ���� 3������"��� �+������ ���������� �� �� �� ��� ������� ��� ��������� ����������� ��� �������� ������������� �������� �� � ������� � ��� !�$ �� �������

� !�$ �� ��������� ����� � � �+����� ��� �� ������������ ����� ����������� ��������� ��� �����+ �����"����� ������� 2�5 �� ���+����� � !�$ 3��� � ������ ����������� ��������� ���� ��� ��� ��� ���� ����� �������� � � ������ ��������

� !�$ �� ����� � � �+����� �� 6+������ ��� �����������"� ������������� �������������� &'-,) >��� ��;� ����� �+����� �� ���������� ��������+����� �� !�$� ��� ���"� �� ������ ;���� �� ������ ������ ��������B�� ������� ��������������� ���������� ����;���� �����B���� ����������B���

��� ���� �� �������� �� �����

��� ��������� !�$� ��� ��� � ����������� �� ��� 3���� ����������� ��� ���������� ����� ��3��� ������� �� ���� ����+� ��� ������� ������ ���� !�$� �� � ��� �� ����� ��3��� �������� &'.) ���� ��� ����� �������� ���� ��� � ������ ��� !�$� ��� �������� ��������� ����� ���� ���3��� �������� ��� ����� � ��������� $���� ������� ������ ���� �+������ !�$�K ���� 3� ������ � �3 �� ��� ����������� �����

*

Page 9: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� ��� ��"������ ������ ����� &/8)� L������ �������B�� ����� ������������� ��� ��3��� ���������4 � ���������� ���������� ��������B���� ��� ������������ �� ����������� �� ������"�� ���������� ��������� �� �� ������������� ������� �� ������� ����� ���������� ��������� ��� ��� � !�$ ������� ����� ��������� ����� � ��� ���� ���������� � ����� �������� ������� ���� �� ��� !�$ 3����� ������ � ����� � �������� ����� ������������������ 6+������ ������� 2!$ &'?) ���� ��������� ��3��� � ����� ���������� F���� ��� ����� &9,) ���� ������� �������������� ����� ��������� ������ L������ ������"�� ��"����� ����� ������� ��� ��������� � ������ ��������� � ����������� ���������� ��������� �� ��������������� � ����� �������� �� ���� �������

!�$� ��� ���� � ��� �� ���� ����� ��������� ������"�� � L������ 5��+������ ��3��� ������������� ��� ������ ������ 3��� !�$� ��� ������� ������ ��� ���������� �������� � ������� ��3� � �������� ������ 3����������� ��� �� � !�$ ����� 5� �+������ 0�$ &'9/) ��� ��� ����� ��������� ������������ � ���� ������ ������� !�$� ����������� �� ������������ ������ ������� ��� �� ����� ����� ��� 1������� �+������ ��� 7��;���� ���� !�$� ���� �� 5��� &-,) !�$� ��� ��� � ���� � ���� �����"����� ��3��� ������� 5� �+������ �3�� &'8?) �����"�� ��3��� �������������������� ��� ��� &8() ����� 3��� �� ������ ��������

H���� ��� ������ �+�������� �� �+������ �������� ������� 5� �+������� 7����; &'/) ����� ��;� � � 3���� ���$ &8-) �+����� >��� ���������� ������� :�$ � !�$� �� ������� ���� � ����� ��� ������� � �����"������� $��� ���� �������� �������� ��� ��� � ������ 3��� ����������� � ����� �+������ �� �� ��� ������ �� �� � ������� ��������� ��� ������B�� �� � !�$ 5� �+������ 7�3; &/?) ���� � ��+���� �� �� �+������ ������������

��� ����� �� ��� �� ����

����� ��� � ���� ���3��� � ��� I3��� ��� �3J ������� �� ��� ����� ����������� ��� ��������� �������� ���"�� !�$� � �� ��� � ���4

� !�$ ���������� �� ����� ��������� �� ����� ��� �������� ����������� �+������� 5�3 ����� ���� ��

� !�$ ���������� ���������� ��� ��� ������ ���� ���� � 01$�� ���������� ������ ����������� ��� ����� �������

� !�������� � ��� ��B� ��� ���� ��������� ���������� �������� ���������� �������� ������� ���������B����� ��� ����������� ��� ���������� ��� ������������� ������

����� ��� �� ��� ��� ����� ����������� ��� ������� � ������ � ��3 !�$ ���������� �� �� ��� �� �� ������� ���� � !�$ ����� � ����� � ���� ���������� � ��3 �� ����� � 3���3���� ���� ��� ���� ����� ��� ����� ��B� �� ���������� �� �����������"� ��3��� ���������� ����� � 01$ ���

-

Page 10: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

��� ���� ��� ������� ���������� � ����� �� !�$ ��� ������ ��� ���� ��� 01$ ���������� ��� ��� ��� �� ���� ������ !�$ ���������� ��� � � ;�� ���� �� ��� ��� ��������� � ��� ��� ���� ��� &'9)

� ��� ��� !�$ ��������� 3� ������ � ���������� ������ ��� ��������� ������� � ���������� �������� �� ��� ������� ��������� ������ ��������� � ��� ������ !�$ ���������� #������ 8% D�� �������� ��������� �+���� ������� 3�; � !�$ ������ ��������� �� ���������� &'9') ���� �� ���������� �� ������ 8 ? ��� !�$ ���������� ������ ��� � ���������� � ���������� �������� ��� ��� �������� ���������� ������� ����� ��� ���������� ������ 9 5������� ��������� ��� ��� �� ���� ��� ����� �� ������ *

��� �� ��� ���

�� ���� ��� ������� ������� � ��� !�$ ���������� ��� �����"� ��������� �������� �� ���������� ����� �������� ���� ������� ������ ���� �� ���� ������ ����� ��������� !�$� �������� ���������� ������ �������� �� ��� ������� ��������������� �������� ��� ����� ��� �3 ;� � ��� �� F��� �� ������ &//)� ���+�������� ������ *0$�� &'()� � �3������ �������� �������� � ��3�������� ��������� !�$ ���������� ��� ������ ���������� &',()� 3���� ������ ��� ��� !�$� �� �������� ����������� &''.)� � �������� �������� ������� ��������� #�� ��� ���� !�$�%� ��� &/)� 3���� ������ ��������� ���������#������ �� ��� ���� !�$�% !���� ��������� ������ ���������� �������������������� ����������� ��� ���������� ���������� #�1% ��� ������� �� &*9) !���� �������� ��� ��� ��� :�$� !D�� :�$�� ��� ������� ������������ ��� � �������� ������� ��� ��������� �� &9*) !����������"� ������������������ �� �� �������� ������� ��� ��3��� ������� ����� &?()

1��������� ������ 3�;���� ��� ��������� ������ � �+��������� ������� � !�$� ��� &(9� ''9� */� .9� .*� .-� /.) ������� F������ ���� �� ������������� ������ � !�$� &'-8� ','� ',8) ���� ��� !�$� ���� �� �+�������� ���� ������� 3��� ��;�� �� ����� ������ � ������� ����� � �������� ����������� �� &'98) � ������� ����� � ������ ���������� �����B����� ��������� ��������� �� &',?) ����� ��� ���� 3�;���� ��� ��������� ������� ������ ������ � !�$� � � ���������� ������ � �+������ ���������� ������� ���������������� ��� ���� ��3��� ������� &?') ��� ��������� !�$ � �������� &*() #.( �����% ��� ������� ������ 3��� ��� ����������� ���� ������� ������ �� �������� � ������� !�$ ���������� ������

�� ��������

��� �� ��� ��������� ���

��� ��3��� !�$ ���������� ������ ��� � �������������4 ������� ��������������� ������ � ���� ��� ������� �� ��������� !�$ ���������� �� �� ������� ���������� ������� �3���� ��� ������� ������ ��� � ��M������ ������������ ��������� 3���� �� ���� ��� ���� � ������ ���3��� � ��������

?

Page 11: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�������� ������� ������ ������� ��� ������ �� ��� ��M������ � �������������������������

�� �������� ������� �������� 3��� ���� ��� � �� ���������� �������+���� ���������� 3���� �� ���� ��� ���� ���� ������� ��� ������� �������������� � ��� I3���J����� !�$ ����������� ��� ���� ������ � ���I�3J����� ������ �� ��� ��� ���� ��������� ���� �������� ������������ "�� ���������� �� � 3���� ��������� !�$� ���� ��� �������� �� ������� �� ���� ���������� ��� �� �+������ !�$ � ���������� � ��3 ���� � ������ ���� ���������� �������� �� ���� ����� �� ���� ��� ������� � ��� �� ��� ��� ���� ��������� �� ������������� ����� ��������� !�$������� ��� !�$ ������������� 1������� ����������� � ��@����� !�$ ����������� ������ ��� ����������� 5� � ���������� ������� ������� ������������ �������� � ������ ������� ��� � ������ ��� ��� ���� �� ���� � ��������� ������������� �������� 1������� �� ��� ���� ������ � ��� ���� ��������� �� � ������������ �� ��� ���� ��� ������

�� ������� ���� ���������� ����� ��� ��� ��������� �������� �� � �������������� ������� ��� ����� ��� � ��� �������� 3� ���� ������

��� ��������

!������� �� ��� � ��3 !�$ �� ������� �� ���� ��� ���������� �� !�$���������� #��������� ���������% ��� � ��� � ����� � ��� ����������3��� ���������� ���N� ����������� ����� � �� �������� �� ������' '� � ������������ ��������� ��� �����@� ������� �� ������ �� ������������������ ������������ ��� ���; �+������� ��� ������ ����� ����"���� ����������� ��� ������� D ������� ������� �� �+������ !�$ �� ���� �����+������� ��� �������� ���� ���� �+������� ���� ��������� � ��3 �� 5������� �� � �� ������ �� !�$� ��� � ����� ����� !�$ �������� �� ���������3����� ��� ��� ����� �� ����� �������� ������� !�$� ���� ��� ��3������ ����B�� ����� � ��������� � ���;�� ���3��

� ��� �� ��� ������� ������� 3� ������� ��� ������� �������� ��3� ���� �� 9 ���������� ���� ��� �������� ������������ ������� ���� ��4

� ������� ��3��� ��������

� ��� ���� ��3��� ���������� � ����� 3��� ���� ����� ��� ����������� �+�������� � ���� � ��������� 3��� ��� ����� �� ��������� ����������� �+������� &',(� '98)

��� �������� �� �� �� 9 ��� � ���3�� �� ��� ������� ��� �����"� �� �������� ����� ������� ������� �� ���M� ������� ���� ������� ������� �� ���� 6+������ � ���� ������� ��� ����� �� �� �� *

�������� ��� ������ ����� ���������� #��3 � �+������% �����������"�������� �� ��� �������� ���� �� ���� ���� �3 �������� �� �������� ���4

.

Page 12: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� 94 !������ �������� 1������ !���������

������ ��� ��3 � �+������ ����� �������������� �� ��������4� ������� ������ � ��+���� ������� ��� ������������ ������ � �+������ �1�

�=D1� !����������"� ��������� =���"������ D�����B������ 1��������B����� ��� �����������

���; �������� 6�������� ���������� ���;�1����� ���� ������ ��� �� ��3��� ������ ����!��� ��������� 5��������� ���� �����������������������!��� ��������� 5��������� ���������� ������������������������� ������� 5��������� ������ ��"����������������� ��;� ���������� �������� ��0�� ���������� 5��������� 0�� ����������

� ������� ����� �� ������ �������� ����� ��� ���� ���"�� ���;��� �� �+������ ������ ������ ������ �� �� ��+���� ��� ���� �� ������� �������� ����� ������� � �����"������� ��� ��� ���� ����=D1� ������� ������� ��������� ��+�

� ��� ���������� � �������� �� �� �������� ��� � I���� �� �1� ���� !�$J

����� !����������"� ��������� =���"������ D�����B����� 1��������B�������� ����������� ���������� ������� 3������ �� � 01$ ��� ������� ������ ��� ������ ��� ����� ��� �������� ������� ��� � �����+ � �� 3������"��� ��� �� ���������� !�$ ��;�� ����� �������� ���� �� ������������� ����������� �� ���������� �������������� #��1%� �����������"����������B���� 3��� ���� �������� ��� �������� &/9) ���� ������� �������3��� ��� ��� �����

���� ��������� 1��������� ��� ����� ���� � 01$ ���������� ���;����� ��� ������ ��� ��3 ��� ���� ������� �� ���� ������ ��� �������� ������ � ��������� ������������ � �� ���������� �������� #�������% � ������������ !�$

������� ��� ��� ��� � ��3��� ������ ���� &'*.) ����� � ���� ������������� ��� ��� �������� �� � ���� ��� ���� �������� ��� � !�$��� ��� ��������� ����� �����"����� ���� ������� ��� �������� �� ������3��� �� ��� ���; �������� ��� ������ ������� ��������

(

Page 13: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� *4 6+������ � ��� ������� �������� �� �� �� 9

1������ !�$ ���������� �����

������ ��� &'89) ������ ������ �����"������ =����������+���� 7�3; &/?) ���������������� ������

��5 &??) �� ����������=����������� &.() 7���3��� ������

� �1����!�$ �1$ &'-9) !������ ������ ������������$ &8-) 0�� ����������

�=D1� �$ &?/) ��3��� �����B�������D$ &-') ���������� �������2!$ &'?) ���������6�1 &/*) 1������� �� �������D�$�$���� &**) �� �����1��$ &8.) 1�������� ����;���1$���1 &'9() ���3�; ��������������� &9,) ����� �������� ������

���; �������� 5����� &'8,) ������� ������������>��DD� &?,) $������� ������������� &'8-) ��3��� �������1�$�!� &--) !��� ��� �����������H�$ &',,) ���� ������7�5� &8) 7� ��� ������ �������D!$ &',*) ���3�; �����������

1����� ���� 0�$ &'9/) =��� ������ �������!��� ��������� ���$ &?9) ���6 ���������������� ��!$ &'*?) $������� ���������

!����$ &'8() �������� ���� ����������5�!D &/') ���� �������

!��� ��������� ���$D0 &*8) $������� ������������������ 7����; &'/) ������� ��"����

��:�$ &9-� -*) :�$ ����������=$ &??) �� ����������

������ ������� �3�� &'8?) ��3��� ��"���������� &8() ��3��� ��������

���������� �76� &'*) !��3��� �������� ����������51�� &(-) 1������ ���3���5��� &-,) ������� ����������3� &9) �� ��������������� �� ������ &8/) �� ��������

0�� ���������� ��� &'8') ���� �������� ����������7��� &''-) 7��������� �����������

/

Page 14: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� -4 �������� �������� 1������ !���������

������ ��� ����� �� �����B�� �� �� ������ 3�� 5���� � ����� �������� �������� �� ���� 6+����� �� ��� I������J ����� ;�3����� �� ������ 01$

��� � ��������� � � ����� ��3��� ���� � ��� ������ ��

���� ��������� �������������� !���������� ��� ������ � ��������B�� �������������� 3��� �����+��� ��� ��;� ���� ������ � 3���� ��� �������� ���� ���������� ��� ��� ��� ������ �+������� ����� � !�$

���� ��������� �������� ���������� ��� ���������� ���� ���������� ������ � �+������� ����� ��� ��� ����� �� �� � ����� �� !�$

����� �������� � !�$ ���� ������� ��� ��� � ���� � �������� �������E� ��"������� ��� ���������

����������� ��+� � ���� ���� ���������� 3��� ���������� ��3��� ������ � � ������������ 3��� �� ���������� !�$ � ��� �����"����� ����������� � ���������� ����� 5� �+������ 6+���E� ����������� ��� �� ������������3��� ��� 6+��� ���� �������� � ��;� 6+��� I�������� ��J

��� ������������ ���� �� ��� ��� ����� � !�$

��� ��������

�� ��� �������� ����� !�$ ����������� ��� �� ��� ����� �� ������"�� �������� ;�3����� �� �������� ������ ��� ������ ������ �+������ � ������������� ;�3������ ���� �� ��������� ��������� ;�3����� ������� � ������ �+������ �+������ 01$ ���� ��� ������� ������� ��� ����� ������������� ������ 3������ �� ������� �������� �����������"� ��������� ������������ �� ��� � ���� � ������ �� ����� �� � ���� ���; ��3��� ������������� ��� ������� ��������� 3���� �� ��� �������� � � �+����� L�3����� �������� ;�3����� �������������� ��� ����� ���������� &*-)��� ���������� ����� �� ��� �������� �����

��� �������� �������� 3� ���� ������"�� ��� ��3� �� �� �� - 6+������ �������� �� �� �� ? ��� ��� ����� ����� �������� �� ��� ��������� �� ��������� ����� �������� ���������� ��� ���� 6+������ ���� ������������� !�H6 #!���� �������� ��� H���� 6���������% &-.)� !��� #!����������"� ��3��� �������������% &'9*)� 5��� #5������D������� � ����������

',

Page 15: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� ?4 6+������ � ��� �������� �������� �� �� �� - H�������� ��� ����������� ������ ��� ����� �� �� �� * ��� 5D!� ��� 5��� ����� ������������������ ��� ��������� �� ��� ��+�

1������ !�$ �������� ��������

������ ��� !�$� �� �� �� *�+����4

5���� 0�$ 5��� ��������� ��������7����; 5���H�$ =���� ����� �������� #���� �

5D!�E�%������� �� ������ 5D!� #��� �� ���� �������O

��� ��+�%6+����� �� ��� 51�� 6+������� � ��������� ��

1�� ��������������3�� 6+������� � ��������� ��

D��� �������������1��$ 6+������� � ���� ��������

�� ���������� � ���=����������� 6+������� � ��������� ��

=����� �������������

�����"������ ��� ����������% &'*.)� 5D!� #5�������D������� !���� ���������% &(?)� D!6 #D������ ���� !���� 6����������% &-9)� � D!� #D�����B����� !���� �������% &'8*) � ���� �� ���� ��� ���� ����� ������� 3��+����� ��� 5D!� ��� 5��� ���������� �� ���3��� ������� ������ �������� � ���� ����� �������� �� ��������� �� ������ 9 8

��� ����� ���� ����� �������� �� � ������ ���� ���������

� � ����� ��"����� ��"���� ��� ���� ��� ������

� ����� ��������� #��� ������ �����%�

� ����������� ����� ��������

� ������ ����� ������ ��� ��� ����������� ��� ����� ������� ������������ ��� ����� �����������������

73 ��� � !�$ � �������� �� ��� �������� �������� �� ��� �������������G � ����� ���������� �+���� �� ��� ��� ��������� �� &'9/� '9.) =���� �������� �������� ��������� 3��� �������� �� �������� � ������ �� �������� ������� ���� �������� ���� � �����"�� �������� ��� � � ������ �� ���� !�$ ������ ��������� ��� ������� ��� ���� � ����� ��� ���������� ��� ������ !�$ ��������� ����������� � ��� ����� ������� �������������� ���� � ��"�� ��� �+������ ���� # � � ��� ���� ��������% ������������� ��� �������� ��� ���� ��� �+������ ���� � !�$ �� �������

''

Page 16: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

���� ������ ���� ���� � � 01$ D� ��� ���� � ������ ����� �������� ������@����� !�$� ��� � ��������� �� ��� ����� �������� ��������������� ����� ��� ������ ����

5� ��� ��;� ������������ 3� ����� ��� 5D!� ����� �������� ��������� &(?) � ��� ������� �� ����� !�$ ��������� �� &8/) ��� ������E� ��� �� ��������� ����� ������ 3���� ��������� ��� ������������ 3� �������� ������ ������� � ��3 ������������ �������� ��� ���� ����������� ���;� 5D!��������� ���������� � ������ ���� ��������� ����������� #���������������% ��� ����� ������� #����� �� �������% ��� �����"������ ���� � �����������

� � ������ ������� ������������ � ������������ ���������� ���������� ����� ���������� ���� ��� 3������ ���� ��� ��������� ������������ ��������

� ��"������ ��� ��������� ��������

� ������ �������� ����� ������ ��� 3���� �� ������� ������� �������� � ��������

� ������ � ������ � ������

� ���� ������ � ������ �� � ������ ������� �� ��� ��������� ��� ������ ��� �������� ������� 3��� ������ �� ��� ������ ��� ���� ������� ������� �������� ������� 3��� ������� ��� ���� ��� ���������� ���� ������ �� ������ �� ������ ������ � ����������� #���� ����% ���� �� ��������� ������� � 3���� ���� ������� ��� �������� ��� ������ �������� �����

�� ��� ���� �� �+����� !�$� ��� ����� ������� ��������� �3����� ������� ��� �������� #����� ������ ��� ����% H������� ��� � ����� �������� ������ � ��� ������� #�������% ��� � ������ � �H$ ������ � �����3��� ��� �3���� ������ ��� � ����������� ���������� ����������� �������� � ��������� ����� � ���� ������� ��� � ���� ��� ������ #���������� ������� �������������% � ����������� ������ ������� �� ��3� �� 5����� ' ���"��� ���� �� ��������� ��� !�$ �� � �; ��� ����� ������� ��� ����������� ����� ������ ������� =���� �� ����� ���� � �����"�� �������� �� � � ������ ���� !�$ ������� �� �� ����� ���� ���� ������� #�H$ ������ � ����3��%��� �3���� ������ ���� � � �����"�� �� !�$ ������� ������� ��������� ������� ���� 3��� � �+������ ��� ������� 3���� ������� � !�$ ������ �������� �� 3��� � ���� ��� ��� �+������ ���� ���� ������� #������ ������% ��� �������� ����� ������ ���� �+��� ������ ��� �+������ �!�$ ������ ��� ���� �����+ ������ �� &8/)

� ��� ���������� �� �� �� ������

� ������ ��� �������!�

� ������ "� � �������!�

� ����#�������$ �������

� �% & �' �� �������� �#������

� �% (�( �' �� ��������� �#������

'8

Page 17: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

browsing

resources service

service status

URLpointer

failed

nonterminating

image

sound

video

HTMLdocument

forms

tables

multipartdata

post

indexget

sequential

repetition

concurrent time limit

rate limit succeeded

service rate

gateway

behavior

compoundatomic

service

5����� '4 5������ ������� � 3� �3����

� �������)���$ �� �� ������ ����������

� ������)���$ )���$ �� �� ���� ����� ����������

� ��"������ �� ��"�������

� ���� �� ��������������

� *��� �� *�����

������ ����� ��� �� ������ ������� ��� �����+ ��� ����� � �+������ 3���� ��������� ��� ������

������ ����� �������� �������� �� 5��� #5������D������� � ����������� �����"������ ��� ����������% &9.) 5��� �� � ��3��� ���������������� �������� ������ ���� ������������ ����������� � �� ������� �������� ���� ������ ���� ������� ������� � ���� ������ �� �����"�� � � ����� ��3��� ������� �� �� ���� � ��� ������������ ��� ��@������� ��3���������� ��� 5��� ����� ������� ��� ��3��� ����������4 ����� ������"������ ����� ������������ ���������� ������������ ��F��� ����������� �������� ������

!����� ����� ������������ ��� ����� �� �����B�� ��� ���� ������������� � ��� �����������"� ����� �� �������� ��� ������ ����� ��������� �� 5��� �� � ������� ���� ;�3����� � �� ��� ����� ��� ���������� ��� ����������� �������� !���� �������� ������� ��� ��3��������4 ������� ���� ��"������ ��������� ��������� ����� ������� ����������� ������� �������� ������� ������ �������� ���������� ����������� ������

'9

Page 18: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� .4 !����� �������� 1������ !���������

$������� �+���������

!�$ ���� #���� % �+������ 01$ � !�$�������� �� ��������4� 1���� ��;4 6+������ �������� �� ��������� ����� ��������B����4 6+������ �������� �� ����������� 6+������4 6+������ �������� �� �+������

$������� �������� � !�$ �� �������� �� ������� 3��� � ���������3��� �+������ ���������

������ !�$ �� ������ �� ��������5���� !�$ �� ������ �� ������ ����� �� �+������ ������

���� ��"����� ����� ���� �� ����� ��� �����������3���� ������ � � ������ ����� ��������

������� ��� ������ ���������� ����������� ������ ���������� �� ��������� ���; ����� �������� �� ��������� ��������� 3���� ������"�� ������ ��������� ���� ��� ���� � ��� ����� ��� ��� ����������� ��� ������� ����� ������ ���� ��� �������� �� � "����� ���� ����� 2��������� ������������ ����� ������� ��� ��� ��������� ������ ��������� ��������� =���� ������� �������� �������� ������ ������ ��� ��� ������� �������� ����������� ��� ����� ������� �� 5��� ��� �����"�� �� � �������������� 5� ����� ����� �� ������� ��� ����� ����� ����� �� 3��� �� ������ ������� �����"�� ��������� �������� �� ����� ���� �� ��������� �� ����������������� �������� #��$%� 3���� �� ���� � �������� � ����� ��� �� �������"������

��� ������

��������� � !�$ ������ ��� � ����������B�� ���� �3 ������� ����������4 ��� ����������� ��3��� ��� !�$ ��� �+������ ���������� ��� ��� ���������� ��� ������ ���������� ���� ������� �� ��M����� �� ��� ������ ��������� �� �� �� . ��� ��� ����������� �+������ �� �� �� (

��� ������� 3�� � ������ � !�$ �� � ��� �� � �� �+������ �������� 1��� �� ���"�� ��� ������ ������������� #��� ������ 8 -% ��� ���������� ������� �� ��� ������ ��� ������� � ����� ��� ��� ���������� �� ��� �+��������������� 3���� ���� �� � ��� ���� �� ������� ����� �������� ������ ����� �� �+������ �������� 5����� 3� ��� �������� �����������"� ������� � ���� �� �+������ �������� � ������� ������� ��������� ��� �+������ �������� ������� � �������� ��� �������� �� ��� �� ��� ����� ��� ��@������ ��3�������� �3 �������� �� ������ � ������ �3 ����� ��� ������ �� ��3��� ��� !�$��� ��� ���� ��� �+������ �������� 2�� ����� ��������� ��� ��� ����3��� � ������ �� ������� 3����� ;�3� 5� �+������ ���� !�$� ���������������� �+�������� 3���� ��� ������� 3������ �� ��� ��"+������� �����

'*

Page 19: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� (4 6+������ � ��� ������ �������� �� �� �� . H�������� ��� ���������������� ��� ����� �� �� �� *

1������ !�$

$������� �+��������� 1���� ��; ���$� ��!$� 2!$� 6�1� 5������ 7����;�

>��DD�� ����� ��3�� 1�$�!�� �1$� ���� ������ ��������B���� D�$�$����� 6+������ ���� !����$� 51��� 5���� 7�3;� 7���� �3���

1$���1� ���$� ��:�$� =�����������$������� �������� �$� ���$D0� ���D$� �76�� 0�$� 5�!D� ��5�

H�$� ������� �� ������� �7�5�� �D!$� �=$

������ ��� !�$� �� �� �� * �+����45���� ���D$� ���$D0� 2!$� 5�!D� 0�$� D�$�$�����

1$���1� H�$� ������� �� ������� �7�5���D!$� ���

����������� ������ ������� �� � ��;� �� �+������ �������� ��� �+���� �� 3��� ��3

������� ���� ������� ����� ������� �� ��� ����������� ���� ������� ����+������ �������� ������� ������ ������ �� ��� ��������� �� � ��������� ��������������"� ������� 3��� ��� ���� ��� �������� �� � �������� �����

�� ��� ���� ��� ��� �������� �� � !�$ 3��� ������ ���� � ������������ ��� �+������ �������� �� ��������� ���������� ���� ;��� !�$ ��� � �+������� ������ ��� �� ���� � ����������B� �����;�3� 01$ �������������� ���� �� ����� ������ ����������� ����������� ��� ������ ���������� ������ � 2�;� &8?)� ��� �������E� ������ ���������� &'9-) ������ ��� �������� �!�$� 73����� ��� !�$ �������� ��� � ;��� �� ���� �� ��� ������� ��������� !�$� �� 3��� �� ��� ��� ���� ����� ���� �� � ���������� ����� ������� ���!�$ ����� ���� ������ ������� ��� ������ ��� �������� ����� ��������� �������� � ������ ���� �� ������ �� &'-')� �� ��� ������ ������� ������ !�$ �+��������� ��4

����� �!" P� ��� ����� ����� ��������� � ���������� ��������� ��� !�$ ��������� ��� �� �������� ������ ��;������ �������� ������ �� ���������� ���������� ��� ����� �� ����� ����������� 3����������� � !�$ ������ 6��������� �� ��������� ��� �����+������ F���� ��� ������� ��� ������ �� ���� ������� �� � �� ������ � ������������B� ��� �������� ����� �! #��� ���" !����� ��� 3��� �� ��������� $���� �������B� ��� �������� � ����������

D��� ��� ����������� � �+������ ��������� ��� ��� ����������� � !�$ ��������� ���� ���� � ��������� ��� ������ ��� ������������� �� �����������

'-

Page 20: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

5����� 84 ��� !�$� �� �� �� ( �� ��� ������ ������� �����

��3��� �������� ��� ������ ������� �� �� ������ ������ ��� �����"����� ��������� �� ��� �� ������� �������� �� � �� ��������� � ��� ������������!�$ ������� � ���� ������ 3��� ������ � �����"����� 3������ ������� ��� ������ �� �������� ��"����� ������ &'8.) ��� ��� 3����� �������� ������� ������� ������� �+�������� ��� �������� � �����+ �����"�������� ��� ����� ��� ��������� ��3���� ������� ��� � ������ ����� ��������� �������� �����"�����

�������� �� ������ ������� �� ��;��� � � ������� � ��� ����� ����� ������� ����� �� � ���������� �3���� !��������� � �������������� �� �����+ ��� ��������� ��� ���� �� ���� � ����� ��� ���!�$ �� �������� ����������� 5���������� ���� ������� ��� � ����������������������� � �������� ���������� ������� ��� ���� ����� � �����"�������������� ������������� �@�� #������ 9%

�� �������� �� ��� �������� ���� ������� ������ �������� ��� � �����������B�� �� ����� �3 ������� ���������4 �������� �������� � ���������+�������� #�+������� ��������B����� � ����� ��;%� ��� ������ � �������������� 5����� 8 ��������� ��� ������ ��� !�$� �� �� �� ( �� ��������� ������� ����� �� ��� ���� ���� ���������� �� ���� ��� ��� ���������� ���������� 3��� � !�$ �� �������� ����� ��� �������� �������� �������� ��� ������ �� ���� 3��� � !�$ �� �������� ����� �������� �+��������

��� !���!�� � ���

!$%$& ��������

���� �� #�+����� ��% !�$ �� ��������� ��� ��� ����� �� ������������� �������� ����� � ����� ���� ��� � ����� �� �� �������� �� �� ��� ������

'?

Page 21: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� /4 ������������� �������� � �+����� �� !�$� 1������ !���������

����������� !�$ ��������� ��� ������B�� ��� ����������� ������ � �������� ������������+����� ����� ���� �������� �� ���������� � ��������� ������ � �������� ��������� � � �+������ ����� �� �� �� ������ ��� ���������� ������������� ��� ���������� ��� ������� ����������� ������� ����� ��� ����+������ ����������� ��� ������ �+������

�������N����������� ��������

!�$ ��������� ��� ���������� � ��� �������� ���������� ��� �� ���� ����� � ������� ������ ����������� � ��� � ��� !�$ ������N�����"����� !�$�������� ��� ��� ������ ���������� ���������

1��������� !�$ ��������� ��� ���������� � ��������� �� �� �+������� �������� #��� ��� �������% ������ ���������� ������� � ���� ��� � ��� ��� �������� �������� �������� �� ��������4� ���� ���������4 6+������ ���� ��"������ � ������������� �����������4 !�$ ����� ����� ��������� #����������% ��� ��� �������� �������� � 1�������4 1������� ������������ �������� �� ���������� � !�$ ��� ����������� ���� � ��� ������������� ��� ��+� ����� � $�+���� ���������4 D��� ������ ��+���� ���������� ��������� 3����� ���������� ����� ���� �����+��������

6� ������ !�$ ��������� ��� �� ����� �� �� �+������ 01$#��� ��� �������% � ��"���� ��3 � ������ ��������� ��� ������� ���������� �� ������ ��� ��� ���� �� �� ������

6+����� �� �������N�����������

� 01$ �������N����������� �� �+������ 3��������������"� �����B���� ����� ���N� �����������"� ��� ��������� ����� ������������ ��� �������� ���������� ���� � �+����� �+������� ���������� ���� ������ ���� 3��� �������� 3��� �+������ ������

��������� D@��������� #�D��%

6+������ ��� ���N� ������� ��� ������� � � ������"� �����

7� ��� � �� ������ ��� � �� ���������

'.

Page 22: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� ',4 6+������ � ��� ������������� �������� �� �� �� / H�������� ������������� ������ ��� ����� �� �� �� *

1������ !�$

����������� ���$D0� ������� �� �������������N����������� ��������

�$� ���D$� 2!$� 6�1� 5������ 5�!D� 7����;�>��DD�� ����� ��3�� 1�$�!�� H�$� �7�5���D!$� �1$� �����

1���������� ���� ��������� ��:�$� ������������������������

�!�$� ���� ��5� ���$� �=$

� 1������� �76�� $�+���� ��������� ���6� ������ 51��� 5���� 7�3;� 7���� �3��� =�����������6+����� �� �������N�����������

!����$

��������� D@��������� #�D��%

���$� D�$�$����

7� ��� 0�$� 1$���1

������ ��� ���� !�$ ������������� ���������� ���� ���� � ����� ����������� � 01$� ����� !�$������"� ���������� ��� ���� 3����;�3�� �� �����;� � �� ��@������ �� ��� ���� �@�� ���� ��� � � �������� �� !�$ ����������� ��� ������������� �������� 3� ���� ������"�� ��� ��3� �� �� �� / �� ������� ��� ���� �� ��� ������ 6+������ ��� ����� �� �� �� ',

������������� ��� ��������� ��� �� �������� � !�$� �� � 01$�� ��������� ��� ������� ��������� !�$� ��� ��;�� ���� ����� �� � ����� ���������� ������������� ������� ���� �� ������������ ��� �� ������ �������3���� �� �� �������� 3��� &'9')� 3���� �� �� ������ ���� !�$ ������������ ��������� ��@����� �� 01$ ����������� ����� ��� ���� �� ������� F��� ������ ���� � ��F��� ��� ����� !�$ ���������� ���� ���� � � ����� ���� �� �� ��3��� ��� ����� �3����� ��� ������������ ��� ��������N������������������� ��� 3����� ���� �� ��������

����� ��� �� ������� ��� ��� ��������� �������� �+������ �������������� � !�$ ������������� �� ������� ���� ����� ���� � ������������� � �� ������� 3���� ����� ��� ������� � ������������ � ������ ������ ����� �� ����� �� &88) ���� �+������ �� ��� ����������� ��� �����+ ��� ��� �������� ��� ��� ����������� ���������� ��� �+������ ������ �� ������������� �� �� ����;�� �� � ����� ����� � ��� ����������� � ������� ������������ �� ������� � �����������

�CC ������� � ��������������"� ������������ �������4 ���� � ������������� &'*9� '*8) �� ���� �������� �+������ � ������� ����������� ���������� �����������"� ��� �����"���� ������� ��� ��� ���� �� ����

'(

Page 23: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

����� �������������� � ������ ������������ �� ������ � �CC 3���� ����������� ����� ������ ����� �CC �������"�� �� ������ ������ ��� ����������� �� ��� ������� �� ��������� �� �+����� �� 2���BCC &'**)

�� ��� �� ������ �������� � !�$ �� ����������� � �+������� �� �+������01$ #��� ��� �������% � ��"���� �����"� � ������ ���� ����� ��� ������� � �����������"� �� ��� ���� ��� � ������ �� 3��� ����� ��3 ��������� �������� ��� ��3 �������� ��� ��� ��� �3�� ��� ��� ��������� �� ������������ �������� ��� ���� � ��������� 3����� �������� � ���� �� � ����+����� �����������"� ������� �� ������ �� ���� ��� ��� ��� ������ ������� ��� ��� ��� ������� � �������"�� �� ������ �����+ ������ �������� ��� � @�� 5� �+������ �� �� ���� � ������ �CC ������� ������ 3���� ��� �+������ ������� ��� �������� 3��� �����������"� ���������� ������� ���� ��������� �� ����� �3����� ������� �+��� �� ���������������� ������� � ���� ��������� ��������� ������� ��� ��� �������� ����� �� ������ ������� ��� � ��� �������������� ��������� �������� ���������� ��� ��� ����������� �� ��3� � ���� ����������� &..� (*) ���� �� ���� �������� �������� ������� ���� �� ��B� ���������� ����������� ����������� ����� ������ 3��� ���������� ��� ���������

6+������� �� �+������ �������� ������������� ��� ��� � ���� �� � �� �� ������ ��� ��@������ �� ������� � ������ ������ �� �� ����������� �������� ������� ��� ������������� 3��� ������� ��� � �+������ 3��� ��3 �������� ���� �� ��3 ���� ����� ��� ������� � ���� 5� � ����� ��� ������� ��� �+������� ����� �������� ���� �3� �����������"� ��������������� �� �� ��������� �3����� �+������� �������������� �� ��� ���� ���"���� ���������� � ���� � �� � ��� ��� ������ ����� ��� ����� ��� �� F��� ���� �������� ����� �������� ��� ������������ ���� � �+����� ���� ����3�; �� ����� �� ����������� ��� �+����� �� �������� ���3��� ������� �����������"� �����B���� ����� ���N� �����������"� ��� ��������� �������� �������"�� �� �����B���� ����� �� ��� ���2�� �CC ����������&() ��� �� ��� �������������� 0�� ������� ������� &'88)� ��� �2� �������+����� �� �CC ���������� ���������� &'9,)� �������"�� �� �����B��������� �� ��� 07� 7��;��� ������� &''')� ��� �+�������� �����������"���������� ���������� �� ������ �� ��� 2���3�� ������� &.,) ��� �+������ �� ��������� ���� �� D����CC &98)� ������ � � ���� ��� ���� ���� �� �� F����������� �������� � ��������� �������� �+������� ��� ������������&(()

��� �D��� ���� ������� ����� � !�$ ����� �+������ ��� ��� �������� ��������� ���� ������� ������� �������� �+������ ����������� �� ����������� 3��� �������� � ����� ����� 5� �+������ ��� ��������������13������ �� ��� ��� ������� �� � �����������"� ������� � ������� �������� &'-,) ��� ������� ��������� :�$� ���� !�$� �� ������ �������� ���� ������� &?9� '',) 5� �� :�$� ���� !�$� ������� �� ������ �� ������ !�! � :�$ ������� 3���� ����������� ��� ������� � �������� ������������ � ���� ������ 1�������� ��� ��;� ������� ��"������� 3���� ���������� ���� �� ��� �������� ���� ��� ��� ������ ���� �� ��� ���������� ���� ��� ����� ��� � �� ������� � ��� ������� ������� �� � !�! ����� � !D�

'/

Page 24: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

������ � ��: #������ �1� � :�$% ��� ������� ���� � ��� ����� �������� ���� ��� � ������ �� :�$ �� 3���� :�$� ������������ ��� � ����� ��� ��������� �������� :�$ ��� :�$ ��� ��� � ���� � ���������� ���������� �������� ������� &-/)

���� !�$ �������� ����� � ��� �� ����� ��������� �� � �� ��� ������ ���� ��� ���������� ��@����� ��������� ��� � �+������ 5� ����������� ������ ��� � �� ���� 3��� �������"��� �����������"� �����B���� ���� �+����� �� �������� ��� ��� ����������� ��� ������� ������� ���� ��������������� �� �� ��� �������� #��� ��+� ������%

!$%$! �� ��������� �������'�

���������� ��� ����������� ��� �������N���������� �������� ������������4

� !�$ �����+ ��� � ���� � ��� ������� ���� � ����� �+������

� �� ���� �������� �� ���� ���

� �����������"� ��������� ����"������ �����B����� ���������B����� �������������� #�=D1�% �� ���� ���

3���� ��� ��� ������������� ���4

� ��� ���������� �@�� �� ���� ������ � �����+ �������� ������� ���� � ������������

� ��� !�$ �� ��� ��;��� � � �������� �� �������� ��� ������� � ���������� ������� ������� 3��� �+�������� �� �+������ ���������

� �������� �+������ �� ���� � �����B� ������ ��� �������� �������� ����� �������� 3��� �+������ �� ����

73����� ����� ������������� ��� � ������B�� � ���������� ��������� 3���� �������� ���������� ������ � ��;�� �� ����� � ���� ���� ��� 3�; �������� ������� ���������� �� �������� ���� ���������� � ����������� � !�$ ������ ��� ������������� �������� ������ �� ��������������� �� ������ 9

�� �3 ���� � ��� �� ����� ������� ��� ���������� ���4

� ���������� �@�� �� ����� ������ �� �+������ ������������� ��� ��������

� �� ��� ������� � ��� �3���� �������� ���� ���� ������ ����� ����������� ��� � ����

� ��� �������� ������������� ��� � ������ #���������� ��� �� �����������������4 ������� �� ������� �������� ��"���� ��� %�

� ���� �������� ���� ����� � �3�� ����� ���� ����� ��� ������� ;�3 ������ ��������

8,

Page 25: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

!������������ ��� �� ����� ������� ���4

� �����+ �� �� �� ������ ������ ��� ��������� � �� ���3 �� �����������+ �+�������

� ��������� �+������ ������� ��� � ������� � ��� ��3 ��������� ����� ���� ��� ���� ��������� �� ��� ���

� �� ���� �������� ������ �������� ��� �� ����� ��� �������� �������� ������� !�$ ��������

� �����������"� �����B����� ��� ������������ ��� ���� � ��������� ������� ��� � �@������ ������������ 3��� �� ������ �� ����������������� &(*� '8?)

�������� ��� �� ����� ������� ��� �������B� !�$� ����������� ���� ����������� � ������� ������� �� ���� � ���� �@�� �� ��� ��� �����+������� 3������ ��� �������� ��������� ����� � � ���� �������� ��� ����� � ������ �+������ 3��� ��3 ������� &(*) 73����� ��� �����+ � !�$ ���+������� �������� ��� ����� �� � �������������� �� ����� � �� ������ ���� �� � ��� ������ ���� �� � �����

�� ��� �������� �������� ��� �� ���������� � 7��;��� �� ����� ��� ��������������� ��� � ������� � ����������� � �������B� ��� �������� �������������� &..) !����������"� �����B����� ��� � �������� ����� ������������� �� �������"��� ����������� ����� �� ��� 07� ������� &''') � � �� 3���������� ����������� ������ ��� ��� ����� ��� &(,� 9?) �� �CC��������� �������������� ��� � ���� ��� �������"��� �����������"� ������B���� �� �������� � ������ ����������� ��� �������� ��� ��� ����������� ������ 8 - '

��� ������� ������� � �3 � ������ 3��� !�$ ������������� #5������ 9% ��3� 3��� � ���������� ������������� ������� �� ��� ���������� � ��� !�$ �� �������� �� ������� 3��� � ��������� 3��� �+������ ���������#�������� �������%� ��� ���������� ������� �� � ��������� �� � �� �������� ������ �����������"� ��������� ����"������ �����B����� ���������B������ ����������� #�=D1�% �� ��������� � �����������"� ������ ���� ��������� ����� � ��� ���� �������� �� �+������ � � �����

� ��� !�$ ���������� #���� % �� �+������ ��������� �� 3��� ��;� ������ #��� ����������� ���� % ��� �+������ ��������E� ������������� ��3��� ����� �� ����� ������ ������������� �������� ��� ������ ���������� ��� �������� �+�������� �� ������� ���� � ����� ��; � ��������B���������� ��� � ����������� ����� �� ������������ �������N���������� ���������� � ����������� �� �� ������ � ��� �� �+����� �� �������N�������������� �� ����� ��� ������� ��������B���� ��� � ��� ����� �� �+����� �� ��������N����������� �� ��� ��������� #��������;� � ��������% �� ��� ���� ����� ��;� � ���������� ���������� ��� !�$ � ��� �������� �� ����� ��;�� �� ��� �� ��� ���3���� ������������� ������ �� ������������ ��������� ���������� �� ���� �������� � �������� �+������ ������ ��� ������������ ����� ��� ��� � ����������� ������������� �������� 5��

8'

Page 26: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

5����� 94 ������������� ���������� 88

Page 27: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

��� ���3���� ������������� ������ �� ������ ��� ��� �� �+����� ���������N����������� ��� ������������ ���������� �� ���� ����

� ��� ���� �� ������������� ������� �������� ��� �� ������ ��� �������� ���� ���"� #��� ��������� �� ���� ������% � ������������� �@�� ��������� ������� �� �� ��� �������� �������� ����� �=D1� �� ��������� � �����������"� ������ ���� � �������� ����� � ��� ���� �������� �� �+������ � � ����� �� ������� ��������� � �������N���������� �������� ����� 3����� ����� ������������� �@�� $��� ����� ��� #�� ���������� ����%4 ������������� ������������� �+����� �� �������N������������ ��� �� ������ D� ������� ����� � �������N���������� �������� ��� ����������� ���� ��� �� ���� ���"� � !�$ ����� �� �������� $��� ���"� �� ������ �� #�� ����������� ����%4 �+����� �� �������N������������ �� ������� ��� ������������ ����������� ���� � ���� ���"� �������� �� ������ �������� ��� ��� ������� �������� ��� � ���������� �+�������� D ������ ��� ������ ����� � ��;����� ������� �� �� �� �� ��� ��� �������� ����

��" #�!������� $� � � ��� ��������� ����

�� ����� � �������� �� �������� 3��� ���� ������ �� &'9') ��������3��� &-()� ��������� ������������� ����� ������� !�$ �������� �� ��3� ���� �� '' ��� �����"� �������� � ���� ����� ��� �������B�� �� �� ��� '8� '9���� '* ��� �������� ��� ��������� ��� ����� ��; ������� ����� � ������"���� ��������� �� 3���� ����� �� �� ���� ������� � �������� �+������ ���� 3�������� ��� � ������ ������� �� ���� ��� ���� �3 ���������

5����� �� ����� � ���� ���� ���������E� �������� � �� ������� ����������01$ ������ ��� ������������� ����������� 3���� ��� �� ����� 3� ����������� � � �� �������� � !�$� �� � 01$� ������ ���������E� ������"�������� �� �������� �� �� ���� 3�� � �� ������"����� �� �������� ���������������� ��� ������������� �������� ��� ������ ��� ��� �������� ���������� ��������� � 3���� ����� ��������������� ���������� ���� ���������E� ��������

��� ������������ ���������E� �������� 3��� ��� �� ��3� �� �� �� '- ����� �� �������� ���� � 3���� ����� ���� ���� ���� � ���������� �����������E� ������"����� ����� ��� �� ��3� �� ��� ���������� ����� ������ �������� ��� ��������� ���� � ��������� 3������� ����������

������ ������"����� !�$ ���������� ��������� �� ����� �� &'-,)�������� ��� �������� ������� �������� �+������� ��� �D��� ���� ��������� ����� ���� ������� ��� ��� 3� ��� ��� ���� ��� ����� ��������� ���� 3���������� � ����� ;���� ������4 !�$ �����"�� 01$ ������� ��� ��������������� ������ 5������� ��� ����� ��3� �3 � �� ��� ���������� ���������� � ����

89

Page 28: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� ''4 1������ ������"����� ������ � ��������� 1������ ����� !���������

��������� ������� !�$ ����������������� ������� ��������� ������ �������� � !�$2�������� ������� !�$ �����������

�� �� '84 ��������� �������� 1������ !���������

$������� �+������ !�$ �+����� �+������ �������� 3��� ��3���������� ��3 �������� ��������� ���N���3 �����+

$������� ��������B���� !�$ ��������� �+������ �������� � ������� ������ ������ ����;���� ���N� �����B����

������������� ������������

!�$ ����� ��� �� ��������� #����������%��� ����� ��� �+������ �������� #��� �����������%

!��� ��������� ��������������

!���������� ��� ������ � ��������B�� �������������� 3��� �����+��� ��� ��;� ���������� � 3���� ��� �������� ����� ����������� ��� ��� ��� ������ �+������� ����� �!�$

$�+���� ��������� ���� !�$� ��� � �������� �� � �� ������ �� � ��������� � ������ ��+���� ��������

�� �� '94 ���������� �������� 1������ !���������

1���� ��; !�$ ��� ��������� � ��������� �+�������� ������ 3��� �+������ �������� !�$ �������� ������ ���� �������� � �+������ ���������������

������ ������� � !�$ ���� ������� ��� ��� � ���� ��������� � ������E� ��"������� ��� ����������

�� �� '*4 2�������� �������� 1������ !���������

1������� 1�������� �������� ������������ ���������� ��������� � !�$ ��� ����������� ����� ����� �������� ��+� �����

8*

Page 29: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� '-4 ������������ ���������E� �������� 3��� ��� ����� �� ������������ � 3���� ����� ���� ���� ���� � ���������� �� ���������E� ������"������ ����� ��� �� ��3� �� ��� ���������� �����

���������E� ������� D�� �������

���������4 �������� �+������ !�����4 �������� �+��������#�+������%

���������4 �������� ��������B�����

!�����4 �������� �+��������#��������B����%

���������4 ������������������������

�������������4 ������������#������������� ������������%

���������4 ���� ��������� ��������������

!������4 ���� ��������� ��������������

���������4 ��+���� ��������� �������������4 ����������������������4 ����� ��; !�����4 �������� �+��������

#����� ��;%����������4 ������ ������� !������4 ������ �������2��������4 �������� �������������4 ������������

#��������%

� �� ����������� �������

��� ������ ��% �!���!�� � ��� ������

�� 3� ���� ����� !�$ ���������� �� ����� ��������� �� ����� ;�3�������� �������� ���������� �+������� ��� ���������� ������ ��� � ����������� � ����� � ������� ������� ��� � � ����� ��� ������� �����;��� ���� ���� �������� ��� ���� � !�$ ���������� ��� ������ �� �� ��'? ���� ���� 3����� ��@����� ���� ������� ��� ��� �� 3����� ��@����� ������ ����������� �� ��� ���� � ��� ���� ������� ���������4 �� ���� �������� ������� ����� ���� &.') ��� ��� ��������� ��� ���� �� � ����������� ����;�� ��� ����������� � �� ���������� ���������� ���������� #�!6%��������� � �����+��������� ������ � �������������� �� #�����������% ����������� ����;��� �������� ���� �� ����������� � �������N���������� ������������ � �� ����� � ��� !�$ �� ������� #�������� �� �� �+����� ��% �� ������ ������ ' 8� ����+����� �� !�$� ��� ��� ���"� �� ������ ;���� �������� ���� �� �����+��������� ������� ��������������� ���������� ����;������� �����B��� ����� ��� � ��������� �� ��� ���� 3��

��� ����� ������� ������ � �����"� !�$ ������ ��������� 3��������� ���� � ������� �������������������� ��������� 5� ��������� ������&9?) ������� �� ����������� � ��� !�$ � � ����� ��� ���� ���� ������� ���������� � ����� ��� ������������� ������� � ������������ ���������� �!�$ ������ ��� � ������� ������ D���� �������� ���� �� ��5C�!5 &89)�

8-

Page 30: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� '?4 ��� �������� ���������� ������� ��� ��;��� ���� ���� ��� ����� !�$ ����������

������ !�������

��5C�!5 &89) ���N���������� ������������$ &?8) ������ H�������� H�����!�� &'8) �������� !������� ��� !��� &',/) ���������� ��������� ������6�� &?.) ���������� ������ ���������� 1���� ���

��������� ����������0�����+ &') ���������� $E����������B &',.) 2��� $� �N��Q� $� �>�� &',) ���������� ��+�� �� ������L������ &-8) ���������� ���� �������L����; &.8) ���������� ��������$��� &(.) ���������� 1���� ��

#$��� ���� 6�� �� ��;���� O ��� � ��%$��� &',-) ���������� ���� �����*���� &8') ���������� ������������ &99) 2��� $� �1D1�H� &'*/) ���N�������� �������� ����������������� &*) ��H�� ����� �������� ��� &/,) ����� ������� $� N���������� =�������1�HL &-) ���������� ������������� &9?) $�2H�N��H��������� &'*-) ���������� ��������:$ &9() ���������� ����N<����E� ����������

�� L������

�� �� '.4 !��������� ������ ������� � ������� �������� ���������� �������� ��� ��;��� � !�$ ���������� ������N������� �������

!��������� �����N ������ �������1������ �����

!������ ����������� �� ��� ���������� O ���

������ 9 8!����� ���;������������� �����

8?

Page 31: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� '(4 6+������ !�$ ���������� ����� ��� ������� �� �� �� '? ������ ���� !�$ ���������� �����

��5C�!5 2+ &8*) 1�������������H���� &*?) 5�������� �������

���$ �1�1 &'*') ���3�;�� ������ �����:$��0 &'9?) 2������� ������

!�� #=�����% &'8) 1����� �����������#=�����% &'8) 5����� �����

6�� ����� &(8) 0������ �������#=�����% &''8) ����� ���������

0�����+ �� �+ &/-) =������ ���� 3���������>�� >�; &',) ��������� �����������$��� #=�����% &(.) !��� ���� ����������$��� �D!$ &',*) ���3�; ������������������� $�$ &'',) 0�� ����������

216$ &9/) 2������� ������ ���������� ��� 7 &/,) ������� �H �����"�����

��!$ &/,) ��3��� ��������������1�HL 0���� &/() �� ����������

��$8 &''*) $���+ ;����� ��"������������� 0�$ &'9/) =��� ������ �������

1$���1 &'9() ���3�; ����������������� ��� ����� &(') ��3��� �������

���2�� &() !����������"� �CC �����B����

8.

Page 32: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

!�� &'8)� ��� ������� &'*-)� 3��� �� ��� ���3 �� ������������ ��"����� ��� !�$� �� 3��� ��� ������ � ������������� � ������������ �� D���� ���� ����� ���� ����� �� ������ ������� ��������� � !�$ ���������������� � �����"� ������

��� ����� � ����� ������� �� � ���������� ������ ������� ��� !�$ � � �������� �� ����� ��������B�� ������������� !�������� � ��� ���� !�$� ��� �������� �������� ������� ��� ��� ��� �� ����� ���� ����� �������� ��������� �� ���� ������ ���� ��������� ���� ��� �������� �� �������� ���� ��� ������������� ���� � ������ ��� ����� ������� ��� ����������� !�$� � ��� ���������� ������ �� ������� 5� ��������� !�$ �����+�� ������� ������ �� �� �������� ���� � 2�5� ��� � �� � �������� � ������+ �����"����� #�� �� '% ��� ����������� �� ��������� � ��� ������������������ ������ �� � ������

������� ��� ������ ��������B�� ������������� ���� � ������ ��� ��������������� ��@�� �� ������ � ������� ���� ��� ��� # �� �� ��3���% ��� ���� 5� ��������� ��������� � ��� ������� ��� ���������� ������� � ���������� ���� � � ����;�� �� ����� � ���� � ��� �� ���� #�� �+������ 2�5%� ���� ����� ���� ����� � ����� ��� ���� ���� � ��������� &'8.) ������� �������

��� ����� ������ ������� � ����� ������� �� ������ ������ !�$���������� �� �������B�� �� �� �� '. ����� ���� �������� ���� �� ��� �������������� ����� ������ !�$ ������ ����� � � 3��; ����� ���� ��������� ��� ������������� ���� ������� ��� �� ��� ����� � ��������������� ���� �� ����������� ��� �� ������ �������� ������������ �� ���� ���� ������ ������� ;�3����� �������� ������� � ������ ����� 5���������� � ��� ��� �� ;�3������ ��� ���� ������� ��� ������ �� ��� �������� �������� ����� �������� ������ ��� ��� ��������� �� ������ 9 8

6+������ !�$ ���������� ����� ��� ������� �� �� �� '? ��� ����� ���� �� '( ���� ���� � 3��� ����� ���������� ������ ��� ��������������������� ��� 2+ �������������� ������������ �� �� �+����� � !�$ ��������� 3��� � �������� ���������� ������ #�� ���� ���� ��5C�!5% � �������� �� �� ��� ������������� ��� ������ ����� ���� �� ���� ��������� ��� ������������� � �����+� ��������������� ����� ��� ���������� ��������� ����������� ���� � !�� 3��� ��� ����������� ����� !��� ������ >�; ������������� ������������ � ��������� ��� ��������� � !�$� �����������"� �������� �+������ �� ��� >�;���� �� ����� #>��% 3�� ����������� ����� >��

��� �������� ������

��� �������� ���������� ��;��� ��� ������� ��������� �� ��� ������� ������� �� ������ ������ �� ��� �������� ����� !�$ ���������� ������������3�;� ��� ��� � ���� ���� ��� � ��� ���� ��������� �3���� ��� ���� ��� ������ �� �� �� '/ �� ���� �������� � ���� ���������� ���������� ������� ��;�� �� ��� �������� ����� � �� ��� ��� ���� � ����3�;� �� �� ������ ��� �� ����������� ���� �� �� �� ��� � ���� �+����

8(

Page 33: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� '/4 ��� ����� �������� ����3�;� ��� ��� �������� �����3�; � ��

!���������

������� &'8*) D!� ������ ����3�; ��� ���� ����� ������������� � ���� �������� ������ ��� ����� �����3� �������� ������ ��� � ����� ��� ������B������������ ����������� ����� ����� �� "���������������������� ��������

!�H6 &-.) ������� ��� ������� ����� �������� �� �+������� ��������� ��� ��� �� � ����� ������������� �������� �� ����� �� � ����� ; ����3��� ��������� ������ � ������� ������������ � �������� ��� �����������"� ����� �� ��������

!D���� &'*,) !��� &'9*) ������ ����3�; ��������� � ��������� ���������� ������ ��� � �������+�N����������� ���� ���3� ��� ���� � �������� ���������� ������������� ������ ����� ����� ;�3����� �� �������3� !D���� ������� � I�������� ����J������� � ����� �������� ����� ����� �������������� ��� ��� ������� ������� � ����������� ����� ����� �������� ��� ��+� �� ����� ����������� ���� � ���� #�� � ������������� ������% ������� � ����� ���������� �������� ���������������� ����� ����� ���� 3���� ��� �������� ������ 3� �����

5!$ &*.) ��� 5������ !��������� $������� #5!$% �� � ��+����� ������������� ������ ��������� 3���� ��� ���������� ������ � �+�������� ��������� #����������� ����������% � �� ������� �� � �������������������� ����� ����� 3��� ��������� �� ���5D!� &(?) ����� �������� �������� #5!$ ���� �+����� ��� �����������+���� ������������� ������� �� �� �� 9 %

D!6 ����� &-9) D����� ����� ��������� D!6 O ��� ��� &*-)

8/

Page 34: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

�� �� 8,4 ������� !�$ ���������� ������ ��� ����������� �������� !��������� ����� 1������

!������ ������#������ 8 8% �=D1�

���; ��������1����� ����!��� ��������� �������������!��� ��������� ��������������� �����������������0�� ����������

�������� ������#������ 8 9% 5����

6+����� �� ���!����� $������� �+��������#������ 8 *% $������� ��������

������5����

������������� �����������#������ 8 -% �������N���������� ��������

1���������6� ������6+����� �� �������N������������D��7� ���

�� ���� �� ������ 8 9� ��� ����� ����� �������� ������� �������� �����������"� ��������� ��� ��������� �� ��� � ���� � ������ �� ����� ����� �� � ������ ������� #��� 5!$ ����� �� �� �� '/% � � ������������������ ��������� � ��� �����������"� ����� �� �������� #���!�H6 ����� �� �� �� '/%� � � ����� �� ��� ���� �������"� ������ ���������� ����� �� �3 � ���; ���� ����� �������� 3��� !�$ ������ ���������������� ��� ���� ����� ���;��� !�H6 �������� � ��� ������ ������������� #���� ��� ���������� �������� ��������% &99) �� �������� �� &-?)

� ���������� ��� ���� ��������

!�$� 3��� ����� � � ������ � ��� ��3��� ����������� �� ����� �� ��������������� �� ��������� ������ ������� � � ���; ����� �� ;�3����� ������ ��� #��������% !�$ ��������� � ���� ������ ���� ��������� 3� �������������"�� ������ !�$ ���������� ��� ������"�� �������� �� ���� ������ �+������������� ����� ��� �������B�� �� �� �� 8, 5���������� 3� ����������������� ���������� ������� ��� ��;��� ���� ��� � ���� � ��������� ���

9,

Page 35: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

���������� ������� ���������� ��� ����� ������ D�� ������ ��� ��3�� ���� ����������� � ������ 3�; �� ���������

�� �� �� '.� � ��������� ����� ��� ������ ���� �� ��� !�$ ���������� ����������� ��� �����"������ ��� ��� ������ ������� ������ �������� ���4

�������� ��� ����� ������������� ������� ������ � �������G � ����� ���������� �� �+������ �������� ���������� ������� � ��;��� #�� �� '?%����� ����� ��������� ����������

��� ���� 5������ ���������� ��� ���������� ����� �������� ��������� �� ���� �� ������ 8 9� ����� �� � ���� ���; 3��� ;�3����� ����������� 6+������ ;�3����� ����������� ��� ��� ����3�;� ��� � ����� �������� ���� �� ���������� � ������ ����������� �� ���� ���� �� �������� ����� ���3 � ���; ���� ����� �������� 3��� !�$ ������ ��� �������������

������ ��� �� ��������� 73 ��� !�$ ������ ��� ������������� ����� ������ � ����� �+����� �� ������ �� 01$ ����������G ��� ���������� ��� #�� �������� �+�������%4

� 2������� !�$� �� �� ������������ ������� ��� �+����� �� 3�� �� ������ ���� ������� �������� ����� ���� �� ���������� ��������� �!�$�� ����� ���� ������ ��� ��������� ���� 01$� &8,� '-,) 1�������� ���� �������� �� ���� ���� &'� 9?� ..� ',9)

� � ������� ����� �� �3 � �� ��� ��@����� ����� �+������ 01$� ���!�$� ��� � ��3 !�$ 5� ��������� �� ��� ������ �6� ����3�;���� 01$� ��� ������� � ��� ���� $������� H������ #�$H% &?*) ��� ���� � ������ �� ��������� �������� ����� 01$� ��� � ��3 !�$G

� 1����� ��� �� ����� ������� ������ ��� ������ ������ &9?)� ���������� ������� ������� ��������� ������ � ��� ����������� �������#��� ������ 9 '% D���� �������� ����� ���"� �� ��������B�� �������� 3��� 6� ������ ������ �� ��������� ���������� �� ��� ��+� ���������

� H����� ��� ���� � �������� ��� ��� ��������B�� ������������� ��������� ���������� ������� � ��������� ����� ��� �� ����� #!26% �������� �������� ������� ��;� �����+ � �������������� ��� ���������������� !26 �� ��� � ��� ��� ���� �+������ �������� ������� � �� ������� � ��������B�� ������������� � ��� � ����� ���� �� 0������ �������� �� �+����� ���������� � ��������� ��� � ���� ��� ���������� ����� ���� !�$� ��� ����� ���� �� ��������� � ��3 ����&*'� ',()� �� �� ������� � � �����B�� ��� ����������� ������� ���������� �� &*,)

� 73 ��� !�$ ���������� ��� ��������� � �������� ���������� �������� ��� ��;��� � ���������� 3��� ���� ��3��� ���������� ���G����� � �D��� ���� �������� :�$ ���������� ���� �� !D� ���

9'

Page 36: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

:�$�������� ���� ����� �������� �� � ����� ���� ����������� ����� ���6 ��� ��� ��� &.� 9*)

()������ 01$� ����� ������ ��� �3���� ������ � �� ������ !�$�� �� ������������� ��� ������������ ��� ������ ���4

� 6� ������ ��@��� �� ��� ���� ������� �������"�� �� �����+ @���� �01$� 1������ ������������� ����� �� � ����� �3��� ��� �3���� �������"�� �� �����+ �� 01$� ��� ��� ����� �� ���� F��� ��� ������ ����������� ����� ��� �������"�� �� ������� ���� ���� ���� ������ >��� ��� � �������"�� �� ������� �� ��� D� ��� ���� ����� ��� ��� �������� ���������� ������� �� �� �� '?� ���� �� ��5C�!5 ���� ��� �+���� �������� ������ ������������� �������� ���� ��������������"�� �� ����+����� �����+ ������� ����� ������������� ����������� �������� 3��� 01$� �� �� ������ ���� �� �� �� �+��������������� ������� ��� ��������� ���� ��� � ���� � �+����� � ������������� ����������� � ��������� �������"��� !�$ �����+ �� ����� ��� 01$ � ���������� �1� ����� ��� &8-) � �� �+������� ��������� ���� �������

� ������� �� ������ ������ �� �� ��� � ������ �������� �������� �� ��� �������� �������������� ��� �� ���������� ������������ �+����� �� �������� ���3��� ������� �����������"� �����B��������� ���N� �����������"� ��� ��������� ��� ��� ��������� ����� �������� 8 - ' ��� &?-� ''/) �������������� ��� 01$ ����� ����� �����������������"� �����B���� ����� �� � ������� ;��� ������� ��������� ���� ������� �+������ ��;�� ��� �� ������ ������ �����"������ ��������+� �3����� ��� ��� ���� ���"� ���� ����� ������ ��������

(��������

� $��� �� �� �����4 �� ���� ������� �� ������� �3��� !�$ ������������� ��� ����������� ��� ��� ���� ��� ���"�� !�$� � ����� ��������"��G

�����* ������� �� 3��� ��;� � ����; ��� ������� �����3��� ����� ����� ������� ���� ��� !������ ;����� ���� �� ��������� � ������ ����� ��� �������� !�$ � �������� &*()

����������

&') � �����@� 1 � L������ ��� � 1�������� �� ������ � �������������� ��� ��������� 3��� ������� �� � >R��������� ������ ������� ��� �� ��� ! "##$� ����� '-.- � �� %� � �� ���� �&��� ����� 8/?A8// ���������=������ '///

98

Page 37: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&8) � �������� ��� � 0R��R� �7�5� ��� ���H���7�4 � �������� ��� ��� ������ ����������� ������� ��� ��������� �� H������ &''9)������ '.'A'(8

&9) ! ��;���� � 2���� 0 2����� ��� L �+ ��3�4 � �����������"��������� � ��� ���� �������� �� ��6�!�$ &'-8)� ����� 99*A9*?

&*) � ������� � ��� ��� 1 !������� � 5��� ! 1������ ��� � 1������� ��������4 � �������� ����������� ����������� ��� �� H ��������� ������ ������ ��� �� ���' () � *� ��� ����� ����� ! ")($� ����� 8,8. � �� %� � �� ���� � &��� ����� 9--A9?, ���������=������ 8,,'

&-) > ����; ��� ������ ��� ������������� �1�HL� � ��;�� � ������������� �����������"� ��������� �� ����!�$��� &',8)� ����� --A??

&?) > � 2��;�� ��� �����+ ��� ��������� ��� ������ ������������ ����� ���� $������� ��� S����� ����0��� �������� �� +��������� � *� ��� ����� ����� �� *������ ��� +�������, -%.& /,+����, (#0#� ����� '8-A'98 D���� ���� ������ ��� 2�����3���� $����� '/?,

&.) 0 2���� >����$4 � ���;�� �������� � >��� ����� ��� �� +�������� �� � %�� � *� ��� ����� 1���� 1�� 1� ������ 8,,, +��"������,������,������ �����+���

&() D � 2���� ��� � 7�������� !����������"� ���������� 3��� �������"��� ����� �� ���2�� �� > �$ 0������ ��� 1 �6 ������ �������+������� �� � 2 � *� ��� ����� 1������� �� 3���4��� +����������� !3-�. 5))6$� ����� (?#8% .� ���� %� � �� 7��� ��� ����� � &�� 6�������� 8,,9 +��"������� �����������������

&/) ! � 2���� 7� 1���� �� &��� ��� �������� ������ 8,,,

&',) ! 2����� 2 $��� ��� P ��������;�� >��4 ��� � �����������������������"� ��������� �� 1 !���� � ��� > 1����� ������� +�������� �� � 8�� � *� ��� ����� ����� �� &�� ��� 3�� !9 &3 "#:$������ '*9A'-9 �666 ������� ������� '//(

&'') ! 2����� > ������ ��� � ���;�� H������������ � �����+ ����������� ����� � ����� �� ���� ��������� ������� �� +������� �� � ; <&*=&/87 *� ��� ����� &�������� �� � 8����� ���� �� &�� ��� .���������� ����� '''A'8,� '//*

&'8) � ! 2�+���� � 1������ ��� � ������� !��4 1����� ������������ ��������� ����� �� ��3��� ������� �� +������� �� � 5> � *� ���� ����� ����� �� &�� ��� .�������� !* &. ")2$� ����� ?8-A?9* �666 ������� ������� 8,,*

99

Page 38: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&'9) L 7 2������ ��� = � H�F���� ��3��� ����������� ��� �������4 ������� �� � 5��;�������� ������ 7� 8� �� �� &�� ��� .�������������� .9A(. ��� 1����� 8,,,

&'*) > $ 2������ 1��������� ������4 $����� ��������� ������� ���� �� � ; <� 8/#(%4.''A.8'� ������ '/(?

&'-) � > 2����� ��� H 0 0� ��� ������ ?�� ��� �� +���������� ��������** ��� 1����� '//?

&'?) 5 2������� ��� � �������� 2!$4 � ��������B�� �������� � ���� F����������� ����� �� ��6�!�$ &'-8)� ����� 9*.A9?8

&'.) � > 2��������@ � ����������� ���������� ����� ;����� �� &�� ���.��������� -4'?/A88?� '//(

&'() � > 2��������@ ��� � > 1������ ������ &�� ��� 3������� � ���1����N�������������� '/(/ =� �4 ������� ��� ������ =� ��4 ������������ ��� 6+��������

&'/) ! 2������� L 5������ � H����� ��� 5 ����� 7����;4 � ��������� ��������� ���� ����������� ���� �� !�$�// &*/)� ����� '?9A'.?

&8,) > 2��� ��� P !������� !����������"� ��������� � � �������� 3��� +��"�������� �������-�� �+�������� �+���� � �

&8') � 2�� ���� � � ���3���B ���� ��� � =�������� ��� ����*����

������4 6+����� �� ������� ��� ����������� �� 2 H 2����� ���> �������� ������� +������� �� � 7���� 1������� �� ������� ������ ����, 7����, ��� ;����� ���� !��7; ")6$� ����� (8#9% .�� ���� %� � �� 7��� ��� ���� � &�� 6�������� 8,,9 +��"�

������ �����������������

&88) � 2�� ��� ��� � � ���3���B ��� 0�3��� ��������� 3��� ���������������+ ����� ; < &*=+�;% %� ��� 9.#9%49'A*,� ����� 8,,8

&89) � 0 > ��� ��� 2����� � ��� !������� > 7������� 7 � �� >���� �� >���� � L������� 1 L����� $ ����� 1 � D������ > ����������> > =��F�� 6 =������ ��� > =����� ��� ��5C�!5 �����6���������4� �������� ���� �������� ���������� ���������� �� H �������������� ������ ��� �� ��� ! 5))($� ����� 8,8. � �� %� ��� ���� � &��� ����� 9?-A9., ���������=������ 8,,' +��"��������������"������ �.���/��

&8*) � 0 > ��� ��� 2���� ��� 6 =����� 0�������� �������� �����+����� ��������� ; < 7����� ���� �� &�� ��� .�������� ���< ��������� -4'A*'� '//?

9*

Page 39: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&8-) � 2����� �� ��� 6 =����� ������� �����+ � F����4 !����������"� �������� �� ������ ��� ����������� 3����� ����������� ��! � �������� ������ +������� �� � (# � ; < &*=+�;% ������� /�� �/��� � +����������, &�� ��, ��������, ��� ;����� ����!//+&�; ")2$� ����� 9?-A9(9 ���� 8,,*

&8?) 5 1 2�;�� >� $������� ������ �� ������ �� 2����� ��� 0� �� &'-)������ *A'-

&8.) � 2������;� � ��� !������� ��� � ���3T� �������� �������� ������������ ������� �� +������� �� � *� ��� ����� ����� �� &�� ���<��� ��� !* &<")0$ �666 ������� ������� 8,,- �� ������

&8() > 2�@�� ����� ��� L 0����� � �������� � ��3��� �� ������ ��������� �� 7�����9* &.9)

&8/) $ �������� ��� H !����� ������� �� ������ � 3� �������� ����6�!�$ &'-8)� ����� 9,/A9'?

&9,) � �������� 2 H�������� ��� > H $���� �����4 � �����������"��������� � 3������ ����� �������� ������ �� ��6�!�$ &'-8)� �����9'.A999

&9') ! �������� -���� ������ ; ��@ ��� /�. ������ 1����� '//?

&98) � ��� � � ���� F��� ����� � �CC �� +������� �� � ; < ����� �� /�� �/��� � +���������� &�� ��, ��������, ���;����� ���� !//+&�; "#0$� ����� 8(-A8// ���� '//-

&99) > � ���������� 2������� ���������� ��������� *... &�� ���� �����8-A99� >��� '/((

&9*) > � ���������� +������ =��� ��� -���� 9��� ��� @<� 1��������7���� 8,,'

&9-) > ��������� � 5��������� H 5������� � 5����� ��� � L������������ 5������� ������ ��������� ��� ����"� 9������� 8/#9%4'?A8*� ����� 8,,*

&9?) � ����� ��� H ������ �������������� ��3��� ����� � �������� ��������� ���������� �� � 1����������� 7 0������ ��� L ����;�� �������� +������� �� ����� �� +���������� !+�*�+ "#:A;�+ "#:$� ������ '*/, � �� %� � �� ���� � &��� ����� '.,A'/* ���������=������ '//(

&9.) > ������� ! 7@���� ��� ! ����� ��������� ��� ����� ����� ����3��� ����������� *... &�� ���� ����� 9.A*-� ���� ��N!���� ��'//(

9-

Page 40: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&9() > H ���� �:$ O � �������� � ���������� �������� ��� ��� ������������ �� 0 7���� ��� 6 ��� ��;� ������� +������� �� � 8��� �1������� �� ������� ����� ����, 7����, ��� ;����� ���� !��7;")2$� ����� '', .� ���� %� � �� 7��� ��� ���� � &�������� 9A9' 6�������� 8,,* +��"������� �����������������

&9/) � ��� �� ��� � 5��;������� �3���� �� ������ 3������ 216$ ������� �� P ���� ��� ! 7 $���B� ������� +������� �� � 7����;/&� 1������� �� ;�� �, ������ �, ��� +� ��� ��� *����� ��� �� &�� ��� !; +2*&$� 8,,* ��������� H���� ��������,*�,*� ������ ������� ��� �������� �������� ����������� ����������� 2������ ,8''-

&*,) � U������U��;� � �����;� 5 >����� 2 H 2������ ��� � ������� 6+��������� ������� �� �������4 ���������� ������� ; < &*=�+�;% %� ��� *,#*%49/A*?� ����� 8,,-

&*') � �������H����BB�� � � ���;��@� ��� $ $������ ��� ��� ������������ �������� � ��������� ���������� ��������� ������� ������ � ; <� '?4(9A/,� '/.9

&*8) H 5 ���3 ���$D04 � �������� � �+������� � ������ �����+ ����� �� H������ &''9)� ����� 88/A8*8

&*9) L �B�����;� ��� � 6������;�� =��� �� +����������' < ����,7���B�� ��� ;����� ���� �������������� 8,,,

&**) � !���� 0 ������ ��� 5 ��� 7�������� > 7������� � 7���;�� ! $ ��0�������� 1 5 1��������������� ��� $ � ����� D�$ �� D�����$������� H������� ��;��� ����� �9�� ����� 8,,9 +��"��������0�����1)�'220�34�������*�'220200%�

&*-) � !���� D����� �������4 � ������ ������� ��� ���������� ������ :�$ ��� 8,,9 +��"�������#��������"����'22'�%%�25�

��������� �+���

&*?) � ��� !������ ��� 1 L���� $����� ���������4 $����� �����������G 9������� �� &�� ��� <��� ���� ',4.-A/8� '//(

&*.) � ��� !������ ��� 1 L���� !����������"� �������� ������ �������������� ����������� �� ����!�$��� &',8)� ����� 'A'.

&*() � ��� !������� 1 L����� ��� > =����� !����������"� ���������4 ���������� � �������� ; < &*=+�;% %� ��� 9-#?%48?A9?� >��� 8,,,

&*/) +������� �� � ���� -&.%*@ ����� �� �������&��� ��������� !�&� "##$ ��6��: ���������� '///

&-,) � 6����� �� �� ����� ������� �������� ������� � ����������� 9!��� ���������� �������� �� ��6�!�$ &'-8)� ����� 8/'A9,(

9?

Page 41: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&-') H ��� 6������ ���D$4 � �����������"� �������� � ����������������� �� ����!�$�� &',')� ����� 8(/A9,9

&-8) H 6 5����� $ � ������� ��� > 5 1���� L������4 � ������ � ������������������ ����� �����"� ��������� �� H������ &''9)� �����8*9A8--

&-9) H � 5�� � 0 0��BB����� ��� L � !����� �� �������� ������� ������ ����������� �� +������� �� � (2 � *� ��� ����� ������� &�� ��� .�������� ��� C������ .�������� !&.C. 5))5$� �����9-'A9-( ���� 8,,8

&-*) � 5��������� H 5������� � 5����� ��� � L������������ 2������� ��������������� 3��� ����� ��� ����"� 9������� 8/#*%4*-A*/� ����� 8,,*

&--) L 5�����F� ! L����U�� ��� = ����� ����� ��� �������� ���� � ����������� �����"����� �������� �� 7�����9- &.*)

&-?) � 5��;�� 1����4 $��;��� ����� �������� 3��� ����� ������������� �� +������� �� � 8�� � *� ��� ����� ����� �� &�� ��� 3�������� 9*(A9*/ �666 ������� ������� '//(

&-.) � 5��;��� H 1�����!��B� ��� � 5+ !�H64 !���� �������� ��� ��������������� ;����� �� &�� ��� .��������� -4'8-A'*'� '//(

&-() 6 0����� H 7���� H >����� ��� > =�������� ����� +� ���'.��� � �� 3����� /�� �/��� � &�� ��� �������������� '//-

&-/) H 0���� ����� :�$ �� �� ������������ �� � ������� ����������� �� @<� 5))( ����� +�������� 8,,' +��"�������

����������������"�"�� �#��'22%�����#�+���

&?,) > 0�� ��� P ������ >��DD� O � �����������"� �������� � ��������� ��������� �� ����!�$�� &',')� ����� 9,-A98'

&?') � 0����� ��� � H���� ������ ������� ��� �� � ��� �������� 8�� ��� D +������� �� � 8*3.����� 1������� ���������=������ 8,,'

&?8) � 0�R������ P 0�������� ��� � =����� �� � ������ ��������������� ��������� H���� ��H��H�8,,8�--� ������ H�������� H������� 8,,8

&?9) L 0��3 ��� 7 L�3������ �3���� ���� � ������ ������� �����:�$ �� � 0 > ��� ��� 2���� ��� H $R������ ������� +������� �� � &��� 1������� �� ������� ����� ����, 7����, ��� ;����� ����!��7; ")5$� ����� ?-#9% .� ���� %� � �� 7��� ��� ���� �&�� 6�������� 8,,8 +��"������� �����������������

&?*) > 0��� �������� ��� � �%.7 ����� ������� 3�� �� ! �3$ 1������� 7���� 8,,8

9.

Page 42: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&?-) � 0�����B ��� > 7��;�� 1� �4 6+������� �������� 3��� �+����� ���������� ��"������ �� 7�����9? &.-)

&??) > 0��� ��� 0 L����� �� �+�������� !�$� � �������� ���������������� ���������� ��� ������������ �� 7�����9? &.-)

&?.) H � 0���� � 1 $���� = 1 7������� � � ������ ��� � � ����� 6��4 � �������� M�+� �� ������� ���������� ������ ������� ������ � ; <� 9-#8%4'8'A'9,� 5� ����� '//8

&?() > 0����"���� L ����� � �;� � L���� ��� > ����� &�� ��� 8� ����';�������� ;����� ���� �� � +� ���, <����, 8��������, ��� 7���� ������ 8,,*

&?/) � S 0���� ��� � $�� �� �������� �������� � �����B��� ��3����� ������ �� !�$�// &*/)� ����� 9/A-8

&.,) � S 0���� ��� � $�� 2���3��4 � ������� � �+������� ��� �����������"� ��������� ��3��� �� ������ �� +������� �� � *... &',?)������ 9*8A9-.

&.') > 7������ ��� 1 L���� ��������� ���������� ���������4 � ���������� ������� ; < &*=+�;% %� ��� 9-#9%49/A*(� ����� 8,,,

&.8) H � 7����� ��� = � 2��B��� ��� �����B� �� ���"�� � ����������������� �������� *... 7����� ���� �� &�� ��� .��������� �6�'*4(,9A(,/� '/((

&.9) +������� �� � 62 � ?����� *� ��� ����� ����� �� &�� � &���� !?* &&�62$ �666 #�!HD�%� 8,,'

&.*) +������� �� � 60 � ?����� *� ��� ����� ����� �� &�� � &���� !?* &&�60$ �666 #�!HD�%� 8,,8

&.-) +������� �� � 6> � ?����� *� ��� ����� ����� �� &�� � &���� !?* &&�6>$ �666 #�!HD�%� 8,,9

&.?) 1 7���; 2������� �����������"� �� ����� ��������� ; < ���� ���� &������ 8(#*��%� !���� �� '//?

&..) 1 7���; ������ ����� �����"� ��������� ��� ��� �� 1 !���� ���� > 1����� ������� +������� �� � 8�� � *� ��� ����� ������� &�� ��� 3�� !9 &3 "#:$� ����� '9*A'*8 �666 ������� �������'//(

&.() > >������� ��� 6 2������� =�����������4 =����� �� ����� �� ������ �� !�$�// &*/)� ����� '89A'9*

&./) � >��� �1H 1��������� $�������� �� �� +��"�������

�+����� �� ������������"��� ���+��� ����� '//? H������ ( 8� ��������� ����� 8'� 8,,-K ����� ������� � � � ������ �� ���� 3������

9(

Page 43: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&(,) � ! >���� � L 0����� ��� 1 ����� +�� ��� .����� ��� ��� ;�� ��� � +������ =��� ��� 1������� 7���� '//9

&(') � �� >��� ����� ���� �������� �� � 0���;� ������ &�� ���3��' < ����, 7���B��, ��� 7����' E � *� ��� ����� �����!* &3�E$� ����� 89'/ � �� %� � �� ���� � &��� ����� '.A98 ���������=������ 8,,8

&(8) 2 � L����� ��� � � ����� ����� O ��������� ������ ������+ ���������� �� � 0���T���� ������ ������ ��� �� ��� ! "#>$� ����� ',?, � �� %� � �� ���� � &��� ����� 8?(A8(, ���������=������ '//?

&(9) � L����� ����� �&� "#E D 8��� ; < &*=+�;% 1������� ���������&��� ��������, �� ;����� ��� �� � +/+� "#E ���������� ������� ������� ������� H����� '//. +��"������� ���� �������-������� ��

&(*) � L���� H������� � �����������"� �� ����� ��������� ��� ��������������� .� ���� %� � �� 7��� ��� ���� � &��� '*� '//( +��"������� �����������������

&(-) � L���� ��� ! 7���� � �������������� �������� � �����������3��� �� H������ &''9)� ����� 8/.A9',

&(?) L � L���� � 0 ����� > � 7���� � 6 ���;� ��� � � 1������� 5�������������� ����� �������� #5D!�% ���� ����� ����� ���������� H���� ���N�6��/,��H�8'� ��3��� 6���������� ���������� ������������� ����������� '//,

&(.) � L������ ��� 1 1����� ���������� ������ ��� ������������� �����������"� ��������� �� H � 7����� ������ *8*+ 7 5 1= 5�21������ ����� �� &�� � *����� � ��� 5)))' ��������, < ����� ��� 7����� ����� '-8A'?- ������� ��� 7���� '//(

&(() 0 L��B����� > ��� H�������� ��� ! 0 2 �3 7� ;� �� � < ���� +�� ��� ��� 1����� '//'

&(/) H 2 L�� ���B� $ ��L������ > � 2���� > 7;� � L��� > $�3���! 1 D����� � ������� � ������ ��� $ ����� � ��3��� ������������+�������� �� ��3��� ������� ��������� �� +������� �� � (: �*� ��� ����� ����� �� &�� ��� .�������� !* &. "#>$� ����� -*8A--8 �666� '//?

&/,) 7 � L����� ��� ! $ ��� ���4 H���� ��������� ����� �����������"� ��������� �� ����!�$��� &',8)� ����� 9.A-9

&/') � L������� ��� � ���3���B ��� � �����������"� �������� � ����������� ������� ��� ����� �� ��6�!�$ &'-8)� ����� 9.(A9(?

9/

Page 44: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&/8) � � L������ ��3��� ����� ; < ���� ��� &������ 8*#8%4'9'A'(9�>��� '//8

&/9) ! > L��; 1����� 8,'- ��3���4 6�� ���� �������� �� ������������ ��� ��+� ������ 7�������F*� � <������� ����� 'A/� ����� 8,,-

&/*) � L����� P ������ ���� : P�� ��� L $� 6�14 � �������� � ��������� �� ������� �� +������� �� � 5))( ; < &*=+�;% ������ �� +���������� ������� ����� ��� *����� � ��� !+��* ")($������ 9,/A98, ���� 8,,'

&/-) 1 � L������ ! ���3��B��� ��� $ ������ ����������� ����� �����"��������� ������ �� ��� ��3��� ��� ����� �� ! 7����� �� �� � �������;����� 8����� < ����D8<�7���� #:� ����� '?*' � �� %� ��� ���� � &��� ����� '/?A8'8 ���������=������ '//(

&/?) > $����� ���� > H $�3��� ��� 2 �; D� �� ������ � ������������������ ������ �������� 3����� 7��;��� ; < &*=+�;% %� ��� 9*#/%4?,A?/� ������ �� '///

&/.) � $�������� ! 2����� � ������ ��� � D����;�� ������ �������&��� +������ =��� ���� ����� 9,'? � �� %� � �� ���� �&�� ���������=������ 8,,*

&/() � H $��� �� ���������� �� 0���� &�� ��� D +�� � ��� .������� 8(4'-('A'?,9� '//(

&//) > ������ 8��� ��=��� ��� �������� 1��������7���� '/(- =� �41���������� =� ��4 H������������� *0$�

&',,) � ���3� � �������� ��� � �������� $�������������� ������ ������ *� ��� ����� 9������ �� &�� ��� .�������� ��� C������ .���������� '*4'A9/� 8,,*

&',') � �����; ��� H $R����� #������% ������� ����� � !����������"�$��������� 1��� � 9������ ��� ���� ��� ��� *������ ��� 7��������/#*%� 8,,'

&',8) � �����; ��� H $R����� #������% ������� ����� � !����������"�$��������� 1��� �� 9������ ��� ���� ��� ��� *������ ��� 7��������',#'%� 8,,8

&',9) � �����;� � $���U�� 6 ����U���U����T�� ��� = US���� �������� ����� ���������� ����������� *������ ��� 8*#9%49'/A98(� ������ �� 8,,,

&',*) � �����;� � ���;� 6 ����U���U����T�� � $���U�� ��� = US���� !�������� ������������� ������ D F��� !��������� $������� �� +�������� �� � 5))( ; < &�������� �� ;����� ���� ��� !&; 5))($������ -/,A-/* ���� 8,,'

*,

Page 45: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&',-) � �����;� = US����� � $���U�� ��� 6 ����U���U����T� ������������� �������� ����� ��� ������� ����������� �� ��� �� $��� ; < &*=+�;%%� ��� 9*#?%4?(A.-� >��� '///

&',?) > � 5 ����� � 1R������� ! 1����� ��� > !������ #������% ������������ � 1����� 0��������� D�����B����� ��� 1����� ��������� +������� �� � *...� /9#8%� 8,,-

&',.) $ ��;����� ��� � >��� >����� ��� ���������� �� L���� &(9)� �����-/A.* +��"������� ���� �������-������� ��

&',() 2 � ����� ; &���� <� � �� +����������' +��� ��� �� .�� -�� ���� ��� ��� 1����� '//9

&',/) > � ����� �� ��� !��� ������� � ����������� ��3��� ������� �� �������� *... 7����� ���� �� &�� ��� .��������� �6�',#-%4-?*A.*� ������ �� '/(*

&'',) ! 1����� �3���� ������������ ����������4 ��� �������� ���3��� ����� �� �������� � � (# � ������ ; < &*=+�;% ������ �� /�� ����� � +���������� &�� ��, ��������, ��� ;������ ����� ����� 9.A9( ���� 8,,*

&''') � 1���� >���� � ������� ��� � 7��� 1������ � ��� �����4 H�3������� �� � ��������� ���������� ��������� �� 07� �� +������� �� �?����� 1������� 5))(� 8,,'

&''8) 1 1����� ��� � L������ ��"������ �������� ���� �����"������� �����������"� ��������� �� 7�����9* &.9)

&''9) > � H������� ����� +������� �� � -&.%*@ ����� ���������&��� �������� ��6��: ���������� '//.

&''*) 6 � H����� ��� ��$8 ��������4 1���� ������������� ����������� ���� ����������� ��"������ �� +������ �� � # � *�� ��� ����� +� ��� ������ ����� '9-A'*8� 8,,' +��"����������������-� �����'����'�"�"���+���

&''-) � H���� 1 �������B�$��B� ��� ! ����� 7���4 � ����� �����"��������� � ���������� ���������� ���������� �� 7�����9* &.9)

&''?) ! � H�� D������ ��� �1� �������� � ������������ ������������ �� ��+�� ��� &'*()� ����� 8./A99(

&''.) 1 7 ������ ����� �� � ��������� ����� ��� ?������� �� +����������� �������� ���������� '//(

&''() > 6 ������ +���������� ��������' ?�� ��� ��� 8������ ��� 1��������7���� '/?/

*'

Page 46: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&''/) > ������� ��� � ��������� 6� ������ ����� �����"� ��������� �� �������� ��� ������� ������� �� 7�����9? &.-)

&'8,) 6 �������� � ! 7���� ��� > H $���� 5�����4 � �������� ��� �������� � �������������� ������� ��������� �� +������� �� �5))( ; < &*=+�;% ����� �� +���������� ������� ����� ���*����� � ��� !+��* ")($� ����� 98'A99' ���� 8,,'

&'8') L � ��������� ��� > H ���� ���4 � ���������� �������� ���������� ������� ����������� ��3��� �� 7�����9- &.*)

&'88) � ������� ! 1 0����� ! H ������� ��� � $�� ������+����� �� �������"����� O ����� ���� �����B�� ��������� �� H �������� ������ ������� ��� �� ��� ! 5))($� ����� 8,8. � �� %� � �� ���� �&��� ����� (?A',' ���������=������ 8,,'

&'89) �!$ 5��� ����8,,,4 ���������� � ��� ��3 ��������� +��"������� ���*��������.�6'222"�� ��������#�+��� ��� 8,,,

&'8*) � ���� ��� > ������ ������� ��� ���� 3� 4 � �������������������� � ������� ��� ������� �� ����� ����������� �� +��������� � 8�� � *� ��� ����� ����� �� &�� ��� 3��� ����� /*A',8 �666 ������� ������� '//(

&'8-) 6 0 ����� ��� 2 � 2������ ����� �������� �������� �� ��3���������� �� !�$�// &*/)� ����� 'A'*

&'8?) � � ����� 1��������� �����������"� �������� �� ������4 � ��������� �� ��� ��3��� ����������� ����� �� 7�����9- &.*)

&'8.) L �������� ��� 2 $ L���B 8����� &�� �� ��� &��� �� �� +����������� ��������' ; ������ ��� 4��� ;������ �������������� '//-

&'8() P ��������;�� ��� ! 2���� !����$4 � ����������� �� ���� � �������������� �� H������ &''9)� ����� 8-.A8.,

&'8/) P ��������;�� ��� ! 2���� ���������� ��������� �� > �� ����� ������� 1��� .�������� �� .� ���� ��� .� ����� .�������� /���� ������ 8,,,

&'9,) ! ��;��� � L������;� > 2����� ��� ! �������� 6+������ ����������� �� ������ �� +������� �� � : � *����� ����� �� ���� ��4��� &�� �� ��� &�� ��� .�������� !* &&. "#E$� �����''/A'8( �666 ������� ������� '//.

&'9') ! ��������� ��� �� ������ �������� � �����������"� ��������� 7�9������ �� &�� �� ��� &�� ���� -?4/'A//� 8,,'

&'98) � ������@� ��� � ������F��� #������% ������� ����� � 6������� !���������� ������� ���� �� � ; <� *.#/%� 8,,*

*8

Page 47: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&'99) � �B�����;� ������ &�� ��� D 4���� /�� �/��� � +����������� �������������N��� 1����� ����� ������� 8,,8

&'9*) H � ������ � ����B� ��� $ ��������� ��3��� ���������� ����������������"� ��3��� ������������� ; < &*=&/87 &�� ��� .��������� %� �� 8,#-%48.A9.� '//-

&'9-) H ! ������� $������� ������ ������ ���� � �������� ���������� ; � *������ ��� (4/.A''8� '/..

&'9?) � ������ :$��04 �� �������� � ������� ������ ������ ��������� ������� ������� 8,,' +��"��������������������������#��7� "�� �#�������

&'9.) � � ��� ���� �������&��� ��������' ��� ���, *����� � ������ ;����� ��� 1�! ������� ���������� H������ '//(

&'9() � � ��� ����� � ������ ��� 0 ������ ��� ��� ������ ������ ���3�;���������� �� +������� �� � (E � *... &�������� �� 3�������� ���� � &�� ��� ����� '9-A'*9 �666 ������� ������� '//(

&'9/) � � ��� ����� H ������� ��� � ����� !����������"� ���������45�� ������ � ������������� O ���������� � ���� ������ ���������������� �� ��6�!�$ &'-8)� ����� 9?9A9..

&'*,) � ����B ��� $ ��������� !D���� #!D���� ���� ��� ����������%O � !��� ����� �������� �� ��������� H���� �!�06�$DH�/*�''�$��� 5������ �������� '//-

&'*') ��������� 1��� ��� 1��� 5��� +��"�������"�"������ 8,,9

&'*8) � $ =������B�� 6+������� ��������� GG 3��� � .#-%48?A9'� >���'//-

&'*9) � $ =������B�� ����� �CC �������� ����������� GG 3��� �.#*%49?A*9� ��� '//-

&'**) � $ =������B�� 2���BCC ����E� 0���� +��"��������������� ���������8�����������8�" � 5� ����� 8,,' =����� ' 8

&'*-) 6 =����� ������� O ���������� � ������ ����������� +��"�

������ �������������������� 8,,9

&'*?) ! � ����� � � ������ > $ L��� ��� � � ����� ��� S������ ������ �����+ ���������� �������� �� H������ &''9)� ����� 8'9A8(

&'*.) ! ����� ��� � � H $�� &�� ��� +���� ��� .�������� �������������� '///

&'*() H $ ��+�� ���� ����� ?�� ��� �� +���������� �������� ��������1����� '/('

*9

Page 48: Software Engineering - Centrum Wiskunde & Informatica · Software Engineering. CWI is the National Research Institute for Mathematics and Computer Science. It is sponsored by the

&'*/) ! � ���� +/+;37' +����� �� +����� ��� 3�� � 7���� ���N�������� �������� ���������� ���� �� '//9 +��"������

���������������������"�"����+���

&'-,) ! � ���� ��������� ��� !�$ �������� �� ����!�$�� &',')� �����8?9A8(.

&'-') ! � ���� $����� ������� �� ���� !�$ �+��������� &�� �� ����� � +����������� -'48?-A8/,� 8,,*

&'-8) ! � ���� ��� > � H������ #������% ������� ����� � �����������"� ��������� *... 7����� ���� �� &�� ��� .��������� �6�8-#9%����N>��� '///

&'-9) > :���� > >����� H � >����� ��� ! � 1���� �1$4 � ����������� ������� � !�1 ��������� �� +������� �� � 5))( ; < &*=�+�;% ����� �� +���������� ������� ����� ��� *����� � ���!+��* ")($� ����� 8/(A9,( ���� 8,,'

**


Recommended