NIK 1993

15. - 17. november 1993

Program

Else Nordhagen (Ifi, UiO): Four types of types for objects
Svein Erik Bratsberg (IDT, NTH): Transparent evolution and integration of classes in object-oriented databases
Jan Komorowski & Silvia Trcek (FED, NTH): Towards refinement of logic programs
Andreas Opdahl (II, UiB) & Guttorm Sindre (FED, NTH): A framework for real-world modeling
Gro Bjerknes (Ifi, UiO): The blessings of integration revisited ? a critical assessment of unified systems
Tone Bratteteig & Leikny Øgrim (Ifi, UiO): Soft dialectics ? structured handling of problem situations in system development
Eric Monteiro & Dag Svanæs (Ifi, UiTø): The role of empirical evidence in software engineering
Magne Jørgensen (TF, Kjeller) & Arne Maus (Ifi, UiO): A case study of software maintenance tasks
Reidar Conradi (IDT, NTH), Christer Fernström (CAP Gemini, Frankrike) & Alfonso Fuggetta (Politecnico di Milano): Concepts for (software) process evolution
Michal Walicki & Sigurd Meldal (Ifi, UiB): Initiality + Nondeterminism ? Junk
Ellen Munthe-Kaas (Ifi, UiO): A ?-calculus formal definition of memory consistency
Vladimir Oleshchuk (Agder I&DH): Solving word equations over homogenous Thue systems
Geir Schulstad (Finnmark DH): Design of a computerized decision support system for hatchery management
Pål Sørgaard (NR): An informal requirements analysis of Norwegian public administration relative to CSCW
Inger Solheim & Åge Eide (Østfold DH): Wavelet decomposition and recognition of speech signals
Claus Feyling (ABB teknologi): Telekommunikasjonsutstyr til ESA
Øivind Kure & Kjersti Moldeklev (TF, Kjeller): An ATM-SCI network adapter
Bjørn Kirkerud (Ifi, UiO): Windowtools ? tools for equipping programs with graphical user interfaces
Olaf Owe (Ifi, UiO): Introduksjon til applikative språk
Morten Tollefsen (UniK): IT og funksjonshemmede
Pinar Heggernes & Bengt Aspval (Ifi, UiB): Finding minimum height elimination trees for interval graphs in polynomial time
Randi Karlsen & Frank Eliassen (Ifi, UiTø): Parameterizing correctness for federative transactions

(Bidragene finnes dessverre ikke på elektronisk form.)

Om konferansen

Arrangør

Østfold distriktshøgskole, Halden

Område

Høgskolen

Programkomité

Trond Akerbæk Østfold DH
Siri Bjorvand Agder DH
Ellen Brox FORUT, Tromsø
Frank Eliassen Univ i Tromsø
Kjell Ellingsen Høgsk Nordland
Magne Haveraaen Univ i Bergen (leder)
Stein Krogdahl Univ i Oslo
Arne Maus Univ i Oslo
Sigurd Meldal Univ i Bergen
Bjørn Olstad NTH