Medlemsblad – april 2002

- fra bestyrelsen

Foredrags og aktivitets oversigt:

• Tirsdag den 14. maj: Extreme Programming - indsigt og motivation
  v/Udviklingschef Morten Ulrik Sørensen
  
  
• Torsdag den 13. juni: Generalforsamling
  
  
• Torsdag den 13. juni: Software Tools for Program Library Development
  v/ Jyrki Katajainen
  
  
• Torsdag den 13. juni: Specialepris overrækkelse

På bestyrelsens vegne
Gretter Aggernæs, Redaktør

--------------------------------------------------------------------

Generalforsamling

Hermed indkaldes i henhold til vedtægterne til ordinær generalforsamling

• Torsdag den 13. juni kl 16.00 - ca 16.30
  Generalforsamlingen afholdes i Lille Auditorium
  Datalogisk Institut, Universitetsparken 1

Dagsorden:

1. Valg af dirigent.
    
2. Formanden aflægger beretning.
   
   
3. Fremlæggelse af regnskab.
   
   
4. Fastsættelse af medlemsbidrag.
   Bestyrelsen foreslår uændrede satser:
   Studerende: kr 60
   Pensionister: kr 30
   Andre: kr 150
   
   
5. Valg af bestyrelsesmedlemmer
   På valg er følgende:
   Peter Johansen
   Tom Skovgaard
   Birgitte Taagholt
   
   
6. Valg af revisorer
   Revisorer er:
   Nils Andersen
   Kim Ørtved
   
   
7. Indkomne forslag
   
   
8. Eventuelt

Vedtægter

Umiddelbart efter generalforsamlingen starter aftenens foredrag, hvorefter der er prisuddeling.

--------------------------------------------------------------------

Medlemsmøde

• Extreme Programming - indsigt og motivation
  v/Morten Ulrik Sørensen, Speakanet A/S, musorensen@speakanet.com
  Tirsdag den 14. maj, kl 16.30 - 18.00
  Datalogisk Institut, Universitetsparken 1
  
  Fra programmeringens græsrødder er der opstået en "ny" udviklingsmetode, Extreme Programming, der gør op med mange traditionelle projektstyringsdyder så som udarbejdelse og godkendelse af kravspecifikationen, arkitekturdokumenter og specialisering og modulejerskab.
  I stedet lægges (ekstrem) vægt på automatisk test, kundeinvolvering, evolutionært design, fælles ejerskab af hele projektet - og mod.
  Foredraget vil introducere Extreme Programming, diskutere forskellene fra mere traditionel softwareudvikling, udpege og forklare de største fordele, og forhåbentlig give stof til eftertanke til dine egne udviklingsprojekter. Der krydres med anekdoter fra to år med Extreme Programming.

• Software Tools for Program Library Development
  Jyrki Katajainen, DIKU, jyrki@diku.dk
  Torsdag den 13. juni, kl 16.30 - 18.00
  Datalogisk Institut, Universitetsparken 1
  
  The Standard Template Library (STL) is part of the ISO standard for C++ ratified in 1998. The STL components are expected to become some of the most widely used software in existence. The effort to develop a program library is often underestimated. One reason for this is the lack of software tools supporting program library development. In the CPH STL project (see, http:\ www.cphstl.dk) the goal is to develop such tools. In brief, the objectives of the project are as follows:
  
  - develop software tools that can be used in the development of component libraries,
  -  provide an enhanced edition of the STL and make it freely available on the Internet,
  - provide cross-platform benchmark results to give library users better grounds for assessing the quality of different STL components, and - carry out experimental algorithmic research.
  
  In the talk I will briefly tell about the CPH STL project, discuss the tools used and the tools under development.

--------------------------------------------------------------------

Specialepris 2001

Der er i år nomineret 4 specialer til prisen. Her følger en kort anbefaling fra deres vejledere.

• Titel: En model for identificering af ledsætningskommaer (nyt komma)"
  Forfatter: Mikkel Kirkeby Mosthaf, RUC
  Vejleder: Henning Christiansen, RUC
  Censor:  Inger Lytje
  
  Specialeafhandlingen falder inden for natursprogsanalyse og automatisk grammatikkontrol. Målet med afhandlingen er at modellere og implementere en sproglig analyse der resulterer i automatisk ledsætningskommatering efter "det nye komma". Den samlede rapport er et vigtigt bidrag til en bedre forståelse af ledsætningskommaets egenskaber med henblik på maskinel behandling.
  
  Ud fra en analyse af Dansk Sprognævns beskrivelse af »Det nye komma« og af ledsætningens overfladestruktur med udgangspunkt i Diderichsens sætnings-skema opstilles i rapporten en model for identifikation af positioner for placering af ledsætningskommaer. Modellen implementeres vha. teknikker baseret på regulære udtryk og tilstandsmaskiner. Modellen er karakteriseret ved ikke at basere sig på en analyse af sætningens  dybdestruktur, men på placering af bestemte ordtyper i sætningen.
  
  Modellen evalueres gennem testkørsler på to slags eksempelmateriale: lærebogseksempler og en prosatekst.
  
  Rapporten er veldisponeret, og den vidner om et omfattende og grundigt arbejde og den studerendes indsigt i emnet. Der foreligger ikke særlig meget publiceret materiale om parsing af danske tekster med henblik på grammatikkontrol, og MKM har i sit speciale ydet et væsentligt bidrag til udvikling af viden herom.
  
  
• Titel: Supporting intellectual work through rendering and review
  Forfatter: Lars Yde
  Vejleder: Jyrki Katajainen
  Censor: Keld Bødker
  
  I have many times heard my colleagues or students saying that they have done 90% of the work for a program, an article, or some other artifact under development. The work title of Lars' thesis was "Seeing and believing - improved team focus through visual project monitoring".
  
  The basic idea is to provide a software tool which offers an overview of the artifact being built. This way it would be easier to believe if 90% of the work is actually done. The tool is expected to be used both by outside stakeholders and team members themselves.
  
  In his work he designed a prototype, called PeerView, implemented it, evaluated empirically its usefulness, and based on this experience he designed a successor system having even more ambitious goals. The implementation is about 25 000 lines of Java code, of which about one half is automatically generated. The main part of the prototype was written in four months by Lars alone.
  
  The prototype itself is not designed for any particular application in mind. How-ever, it would be possible to extend the tool to support, for example, repository inspection, web browsing, slide presentation, authoring, or distance learning. But, of course, the development of these tools, or the successor system proposed, would require considerable efforts and cannot be done by one developer alone. Lars explains his thoughts extremely fluently, and I consider not only the design itself interesting, but also the ideas his plans generate in the mind of the reader.
  
  Lars' work has been reported in two research papers:
  Supporting intellectual work through artifact rendering and group review, DIKU Report 2000-11, Department of Computing, University of Copenhagen (2000) (jointly with Jyrki Katajainen).
  - PeerView - a prototype for rendering and review, IEEE Distributed Systems Online (2001).
  - The latter article was invited to that journal after the beta version of the prototype was released at the Internet. The source code and accompanying documentation is available via Error! Bookmark not defined.
  Please feel free to download PeerView and test its usefulness for yourself.
  I warmly recommend the best-Danish-M.Sc.-thesis-in-2001 prize for Lars.
  
  
• Titel: Et generelt anvendeligt distribueret sikkerhedssystem
  Forfatter: Freddie Sachmann
  Vejleder: Niels Christian Juul, RUC
  Censor: Klaus Hansen, DIKU
  
  Freddie Sachmann har som speciale ved cand.merc.dat. studiet (også kaldet DØK-studiet ved Handelshøjskolen i København) udarbejdet en fyldig datalogisk-orienteret kandidatafhandling.
  
  Specialet tager sit udgangspunkt i forfatterens erhvervserfaringer med at genopfinde den dybe tallerken, når der skal tages hånd om sikkerhedsaspekterne i moderne client/server applikationer. Er der et sikkerheds-mønster, altså en generaliseret løsning på distribuerede anvendelsesprogrammers sikkerhedsproblemer, og kan et sådan design-mønster identificeres, generaliseres og stilles til rådighed for fremtidige anvendelsesprogrammer. Der er måske behov for et sikkerheds-ramme-system, som er generelt nok til at kunne bruges i forskellige anvendelser og samtidigt stærkt og simpelt nok til at blive brugt?
  
  Ud fra denne praksis erfaring begiver forfatteren sig igang med at udarbejde et generelt anvendeligt distribueret sikkerhedssystem, der understøtter identifikation, verifikation og bemyndigelse af aktører i et client/server miljø. Udarbejdelsen har som væsentligste designkrav: sikkerhed, robusthed, fleksibilitet og effektivitet.
  
  Først generalisers de applikationssikkerhedsmæssige problemstillinger til tre generelle problemtyper:
  - identifikation af aktører,
  - verifikation af aktørernes identiteter og
  - bemyndigelser.
  
  Disse problemtyper er generelt at finde i mange client/server applikationer. Samtidig kræves det, at en generel løsning på disse problemtyper er sikker, robust, fleksibel og effektiv, før det er givtigt for en applikation at anvende den generelle løsning.
  
  I afhandlingen dokumenteres først, at ingen af de eksisterende sikkerhedssystemer løser de tre problemtyper på en tilfredsstillende måde, således at løsningen vil kunne bruges generelt i forbindelse med client/server applikationer.
  
  Tilsvarende dokumenteres, at ingen af de eksisterende sikkerhedssystemer samtidig understøtter alle kravene om sikkerhed, robusthed, fleksibilitet og effektivitet.
  
  På baggrund af en gennemgang af de fundamentale teknologier i en sikkerheds-model (herunder kryptering og algoritmer til beregning af kontrolsummer) og en analyse af de eksisterende sikkerhedssystemers mangler (bl.a. SESAME og Kerberos) opstiller afhandlingen en model for det nye sikkerhedssystem, som tilfredsstiller kravene.
  
  Dernæst diskuteres grundigt de problemer, der er vedhæftet anvendelsen af certifikater, samt det funktionelle indhold i sikkerhedssystemets første komponent (Certifikat Service, CS) der håndterer disse certifikater. Dernæst udvikles kravene til systemets anden komponent (Autenticitet Service, AS), som er rettet imod verifikation af aktørerne, og endelig beskriver den tredie komponenten, (Privilegie Service, PS), der varetager bemyndigelser af aktører. Diskussionen har til formål at afklare komponenternes funktionalitet.
  
  Der udvikles på baggrund heraf en prototype, som implementerer det udviklede sikkerhedssystem, hvorefter systemet forsøges anvendt i en (relativ primitiv) applikation. Den endelige bedømmelse af det udviklede sikkerhedssystem må i sidste ende bero på anvendelsen af systemet i praksis, hvilket afhandlingen også lægger op til - ligesom afhandlingen lægger vægt på at sikkerhed ikke opnås ved at holde sikkerhedssystemet hemmeligt, men netop ved at lægge det frem til offentlig eftersyn.
  
  Sammenfattende må det siges, at indenfor den tidsramme, der gives til et speciale, er dette arbejde kommet et væsentligt stykke videre.

• Titel: A Computer Role Playing Game Authoring System
  Forfatter: Jacob Marner
  Vejleder: Torben Mogensen
  Censor: Thomas Jacobsen fra firmaet I/O Interactive
  
  Jacob har lavet et meget spændende og usædvanligt projekt: Han har lavet en meget grundig analyse af kravene til et omfattende system "Role Maker" , der skal bistå forfattere til computerbaserede flerspillerrollespil. Det har ledt til et detaljeret og velbegrundet design af et sådant system, samt implementation af en prototype for en lille del af dette. Arbejdet har været meget selvstændigt, og viser at Jacob ikke alene har et omfattende kendskab til det emne han skriver om; men også at han er i stand til systematisk at bruge denne viden i forbindelse med analyse og design af Role Maker .Et andet usædvanligt aspekt ved specialet er dets format: Det er lavet som et hypertekstdokument i HTML og afleveret på en CD-ROM, med en kort introduktion og læsevejledning på papir. Dokumentet er endvidere tilgængeligt via en projekthjemmeside http://rolemaker.dk
  
  Specialet blev censoreret af Thomas Jacobsen fra firmaet I/O Interactive, .som er kendt for at have lavet computerspillet "Hitman".

--------------------------------------------------------------------

Afholdte medlemsmøder

• Prisforedrag: Swarm Intelligence: Beneficial Bugs
  Fredag den 14. september: Lars Kroll Kristensen, Ericsson Tebit
  
  
• Multiprocessor servere og parallelle arkitekturer
  Mandag den 1. oktober: Prof. Stig Skelboe, DIKU
  
  
• Sprogteknologi . nogle eksempler
  Torsdag den 1. november: Prof. Bente Maegaard, KUA
  
  
• C#, efterfølgeren til C++ og Java?
  Tirsdag den 20. november: Brian Eberhardt, SuperUsers a/s
  
  
• Handling Structures in Relational Databases
  Onsdag den 20. februar: Niels Morville, Treewise ApS
  
  
• Torsdag den 4. april: Faglig dag om videregående IT-uddannelse:
  - IT-sikkerhed v. Freddie Drewsen, Forsvarets Forskningstjeneste/IT-Højskolen
  - Music informatics v. Kristoffer Jensen, DIKU
  - High-performance Operating Systems v. Robin Sharp, IMM, DTU
  
  
• Hvad er Datamining ?
  Onsdag den 10. april: Bo Friis Nielsen og Helle Rootzen, IMM, DTU
  
  
• Extreme Programming - indsigt og motivation
  Tirsdag den 14. maj: Udviklingschef Morten Ulrik Sørensen, Speakanet A/S
  
  
• Software Tools for Program Library Development
  Torsdag den 13. juni: Jyrki Katajainen

Bestyrelsen