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