Onderwerpen

Hier zijn een aantal ideen voor onderwerpen van je krantartikel, scriptie, en 35 min. voordracht. Onderwerpen in het rood zijn al gekozen en zijn dus niet meer beschikbaar. Sommige onderwerpen zijn specifieker --ik heb voor deze aanwijzingen naar literatuur gegeven die je kan gebruiken als een startpunt.

1. Random Numbers, application and how to generate them. Sed93.
2. Prime Numbers, application and how to compute them. Cra96, Buc00.
3. Some problems are just hard to solve: P and NP problems. Man89, BG00.
4. Some problems are impossible to solve: the halting problem. Ata99 hfst 26, Sne93.
5. Probabilistic algorithms. Man89, BB88.
6. Self-stabilization algorithms. Dol00.
7. Can we depend on computers?? Wie93.
8. Electronic (Digital) cash/payment systems. Ata99, hfst 44.
9. Modelling concurrency and synchronization. And91.
10. Testing methods/tools.
11. A survey and history of functional programming languages.
12. Benchmarking.
13. Quantum computing.
14. Genetic algorithm.
15. Electronic voting.
16. Sometime' is sometimes 'not never. Leslie Lamport, in: 7th annual ACM symposium on Principles of Programming Languages, 1980; p. 174--185.
17. Four dark corners of requirements engineering. Pamela Zave and Michael Jackson. ACM Transactions on Software Engineering and Methodology 6 (1997), 1--30.

• [BG00] Computer Algorithms, Introduction to Design and Analysis. Sara Baase and Allen van Gelder. Addison Wesley, 2000. Code Inf. Bieb. : E 2.0 6.

• [Man89] Introduction to Algorithms, a Creative Approach. Udi Manber. Addison Wesley, 1989. Code Inf. Bieb. : E 2.0 31.

• [Lyn96] Distributed Algorithms. Nance A Lynch. Morgan Kaufman Pub., 1996. Code Inf. Bieb.: E 2.2 45.

• [Sed99] Algorithms in C, Parts 1 -4 (3rd ed.). Robert Sedgewick. Addison Wesley, 1999. Code Inf. Bieb. : E 2.2 56.

• [Sne93] What Computing is All About. Jan L.A. van de Snepscheut. Springer-Verlag, 1993. Inf. Bieb. : E 0.0 23.

• [Ata99] Algorithms and Theory of Computing Handbook. Mikhail J. Atalah. CRC, 1999. Inf. Bieb. : E 0.0 24.

• [Dol00] Self-Stabilization. Shlomi Dolev. MIT Press, 2000. Inf. Bieb. : E 1.2 13.

• [Cra96] Topics in Advanced Scientific Computing. Richard E. Crandal. Springer-Telos, 1996. Inf. Bieb. : E 0.0 19.

• [Buc00] Introduction to Cryptography. Johanes A. Buchmann. Springer, 2000. Inf. Bieb. : D 3.0 18.

• [BB88] Algorithmics, Theory and Design. Giles Brassard, Paul Bratley. Prentice-Hall, 1988. Inf. Bieb. : E 2.0 23.

• [Sed83] Algorithms. Robert Sedgewick. 1983 Inf. Bieb. : D 0.0 12.

• [And91] Concurrent Programming, Principles and Practice. Gregory R. Andrews, 1991. Inf. Bieb. : C 1.3 35.

• [Wie93] Digital Woes, Why We Should Not Depend on Software. Lauren Ruth Wiener, 1993. Inf. Bieb. : C 2.4 11.

Elke aflevering van het tijdschrift Communications of the ACM bevat een thematisch gedeelte, waarin een vakgebied of probleem in een inleiding kort wordt geschetst en aansluitend in verschillende artikelen van allerlei kanten wordt belicht. Deze artikelen en de literatuurverwijzingen daarin bieden voldoende materiaal om een scriptie over de behandelde onderwerpen op te kunnen baseren.

Onderstaand volgt een lijst van een aantal van zulke thematische gedeelten (oud) uit de jaargangen 1994--1997.

• Cognition and software development. 38 (6) (June 1995), 30--74.
• Data mining. 39 (11) (November 1996), 24--68.
• The debugging scandal. 40 (4) (April 1997), 26--78.
• Designing hypermedia applications. 38 (8) (August 1995), 26--112.
• Digital libraries. 38 (4) (April 1995), 22--96.
• Dynamic object technology. 40 (5) (May 1997), 36--69.
• Electronic performance support systems. 40 (7) (July 1997), 31--63.
• End-user tranining and learning. 38 (7) (July 1995), 24--79.
• Ethics and computer use. 38 (12) (December 1995), 30--74.
• Health care information systems. 40 (8) (August 1997), 80--117.
• High-assurance systems. 40 (1) (January 1997), 67--93.
• High-performance computing. 37 (3) (March 1994), 28--64.
• Hypermedia. 37 (2) (February 1994), 26--86.
• Intelligent agents. 37 (7) (July 1994), 18--146.
• Internet technology. 37 (8) (August 1994), 32--114.
• Natural language processing. 39 (1) (January 1996), 60--111.
• Object-oriented application frameworks. 40 (10) (October 1997), 32--87.
• Object-oriented experiences. 38 (10) (October 1995), 50--100.
• Object-oriented software testing. 37 (9) (September 1994), 28--100.
• Real-world applications of Bayesian networks. 38 (3) (March 1995), 24--57.
• Recommender systems. 40 (3) (March 1997), 56--89.
• Representations of work. 38 (9) (September 1995), 33--68.
• Requirements gathering: the human factor. 38 (5) (May 1995), 30--88.
• Reverse engineering. 37 (5) (May 1994), 22--92.
• Securing cyberspace. 37 (11) (November 1994), 28--64.
• Social computing. 37 (1) (January 1994), 28--80.
• Software patterns. 39 (10) (October 1996), 36--86.
• Virtual reality and health care. 40 (8) (August 1997), 32--79.
• Visual information management. 40 (12) (December 1997), 30--80.
• Visualization and design. 37 (12) (December 1994), 28--84.
• Wireless computing. 37 (10) (October 1994), 18--98.
• Women in computing. 38 (1) (January 1995), 26--82.

Als je een eigen onderwerp wil hebben, moet je het zo spoedig mogelijk naar mij mailen voor goedkeuring. Zorg ook dat je een literatuur referentie heb.