NIK 1991

19. - 20. november 1991

Program

Arne Jørgen Berre (IDT, NTH): An object-oriented database approach to system integration and interoperability
Jens Kaasbøll (Ifi, UiO): To model objects in information systems and user interfaces ? implications for the JSD method
Knut Skifjeld & Jo Piene (Statens institutt for folkehelse): Object-oriented SQL
Erik Monteiro (NR & Ifi, UiO): Proof theory and programming
Morten Elvang-Gøransson (Ifi, UiO): Classification of refinements in VDM
Michal Walicki & Sigurd Meldal (Ifi, UiB): Towards an equational theory of non-determinism
Dag Johansen & Arne Munch-Ellingsen (Datafag, UiTø): A comparative evaluation of different platforms for distributed computing
Geir M Høydalsvik, Even-Andre Karlsson, Sivert Sørumgård & Eirik Tryggeseth (IDT, NTH): Object-oriented development with and for reuse
Arne Maus (Ifi, UiO): Entropy as a complexity measure of programs, and the optimal module size of object oriented programs
Knut Omang & Christian-Emil Ore (Humanistisk informatikk, UiO): Constructing lexicographical databases in the documentation project at the Faculty of Arts, University of Oslo
Kai A Olsen (Møre og Romsdal DH, Molde): Visualization and ideation: the VIBE (`VIsualization By Example’) system
Tor Bjelland (Statens Sikkerhetshøgskole) & Bernt Johanssen (Haugesund Teleområde): Informasjonsressursforvaltning ? en strukturert tilnærming
Viggo Hustad (Vestlandsforskning) & Tom Therkildsen (Høgskolestyret Sogn og Fjordane): On object-oriented description of the Norwegian Network
Dag Svanæs (AVH UniT): Metaphors we design by
Åsmund Mæhle (IDT, NTH): Explanation-based learning and partial deduction
Tore Amble (IDT, NTH): Understanding systems with second order logic
Rolf Nossum (Agder DH & Kongsberg IH): On teaching programming
Maria L Jaccheri, Reidar Conradi & Chunnian Liu (IDT, NTH): Process modeling paradigms and the EPOS system
D E Aberrahmane & E Mathisen (Høgskolesenteret i Nordland): Yet more on constructing database systems in a persistent environment
Magne Haveraaen (Ifi, UiB), Finn Chr Lundbo (Bergen Unix Center) & Pål Thuland (Bergen lærerhøgskole): Dynamic grammar
Frank Eliassen & Randi Karlsen (Datafag, UiTø): Interoperability using functional programming concepts: problems and solutions
Sverre Johansen & Stein Krogdahl (Ifi, UiO): Controlling broadcasting in ring-based networks
Wictor Nicolaysen, Ingvar Dokken & Frode Langset (FFI): Interprocess communication and X/Motif-based user interface in the design of an object-oriented real-time application
Åge J Eide (Østfold DH): Neurale nettverk ? talegjenkjenning, norske vokaler
Olaf Owe (Ifi, UiO): A comparison of partial logics
Jan Komorowski (IDT, NTH): A note on making explicit design decisions

(Bidragene finnes dessverre ikke på elektronisk form.)

Om konferansen

Arrangør

Norges Tekniske Høgskole

Område

Scandic Hotel, Trondheim.

Programkomité

Ellen Brox FORUT
Magne Haveraaen Univ i Bergen
Marit Jenssen Dolphin Computers
Arne Maus Univ i Oslo (formann)
Kai A. Olsen Møre og Romsdal DH, Molde
Bjørn Olstad NTH