From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,f40056d015b2ae33 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!news2.arglkargh.de!news.n-ix.net!news.belwue.de!th!lucks From: Stefan Lucks Newsgroups: comp.lang.ada Subject: Re: Suggestions for topics in an Ada course? Date: Mon, 12 Nov 2007 12:54:25 +0100 Organization: InterNetNews at News.BelWue.DE (Stuttgart, Germany) Message-ID: References: <4737291e$0$27064$4d3efbfe@news.sover.net> NNTP-Posting-Host: th.informatik.uni-mannheim.de Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: news.belwue.de 1194868468 10011 134.155.91.85 (12 Nov 2007 11:54:28 GMT) X-Complaints-To: news@news.belwue.de NNTP-Posting-Date: Mon, 12 Nov 2007 11:54:28 +0000 (UTC) In-Reply-To: <4737291e$0$27064$4d3efbfe@news.sover.net> Xref: g2news1.google.com comp.lang.ada:18307 Date: 2007-11-12T12:54:25+01:00 List-Id: On Sun, 11 Nov 2007, Peter C. Chapin wrote: > I have the luxury of teaching a course next semester that can be about > anything I want. It's a course on "special topics" and the content is at > the discretion of the instructor. I had the luxury of doing something similar in the previous semester to a similar group of students. (I.e., having some experience in programming in either Java or C.) I had two hours of teaching a week, plus two hours every second week for a tutorial, plus some time for a final "mini-project". After the exams, I asked the students for their favourite topic during that course. To my surprise, the topic the majority liked most was parallel programming (or "Ada tasks"). You can find some information about the course, including my slides (in German, alas), on the following web page (sorry for the length URL): http://www.uni-weimar.de/cms/medien/mediensicherheit/teaching/software-entwicklung-fuer-sichere-verteilte-systeme.html > Anyway, I'm sure I can put something together. However, I thought I > would ask here to see if anyone has some suggestions for libraries, > tools, etc, that I might look at as I prepare materials for next semester. Apart from the development environment (I think, all the students used GPS), I used the "tg test generator" http://www.free-software-consulting.com/projects/tg/index.html for the introduction to systematic black-box testing. It would be very interesting for me to hear what topics you choose and what your experiences where ... -- Stefan Lucks (moved to Bauhaus-University Weimar, Germany) ------ I love the taste of Cryptanalysis in the morning! ------