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
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 |