Konferanse 15.‒17. november 1993

Arrangør

Østfold distriktshøgskole, Halden.

Konferansested

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

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


Sist oppdatert 2. september 2003