27 treff

Owe Olaf
Revised report on the programming and specification language ABEL / by Dag F. Langmyhr and Olaf Owe
Langmyhr, Dag F.
Bok Engelsk 1978
PROVER : Utkast til programverifikasjonssystem
av Hans Thomas Faye-Schjøll, Oddvar Hesje...
Bok Bokmål 1976
A proposal for a process logic
Olaf Owe
Bok Engelsk 1994 · Les boka på nett
Partial logics reconsidered : a conservative approach
Olaf Owe
Bok Engelsk 1991
An approach to program reasoning based on a first order logic for partial functions
by Olaf Owe
Bok Engelsk 1985
A specification technique with idealization
by Olaf Owe
Bok Engelsk 1980
Specifying concurrency by generalized ready relations
Olaf Owe
Bok Engelsk 1993
An alias-free object oriented language concept
Olaf Owe
Bok Engelsk 1990
Axiomatic treatment of processes with shared variables revisited
Olaf Owe
Bok Engelsk 1990
The response function method for specifying concurrent systems
Olaf Owe
Bok Engelsk 1986
A note on quantifier removal
by Olaf Owe
Bok Engelsk 1981
Notes on partial correctness
by Olaf Owe
Bok Engelsk 1978
Pilot's Flying Log Book Olaf Gabriel Owe : flyloggbok
Owe, Olaf Gabriel
Bok Engelsk 1942
Composition and refinement for partial object specifications (full version)
Johnsen, Einar Broch
Bok Engelsk 2002 · Les boka på nett
Selected papers from NWPT'96 : 8th Nordic Workshop on Programming Theory, Oslo, December 4-6, 1996
Nordic Workshop on Programming Theory
Bok Engelsk 1997 · Les boka på nett
Subtyping and constructive specification
Ole-Johan Dahl, Olaf Owe and Tore J. Bast...
Bok Engelsk 1996 · Les boka på nett
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche (eds....
Bok Engelsk 2004
Formal system development using method integration : a case study
Demissie Bediye Aredo
Bok Engelsk 2004
Formal methods and the RM-ODP
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1998 · Les boka på nett
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Workshop on Specification of Abstract Data Types
Bok Engelsk 1996
On the use of subtypes in ABEL
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1995 · Les boka på nett
Generator induction in order sorted algebras
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1989
A simple three-valued sequent calculus
Elvang-Göransson, Morten
Bok Engelsk 1992
Formal development with ABEL
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1991
Definedness and strictness in generator inductive definitions
Olav Lysne and Olaf Owe
Bok Engelsk 1991
A presentation of the specification and verification project "ABEL"
by Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1984
Preliminary report on the specification and programming language ABEL
Ole-Johan Dahl, Dag F. Langmyhr, Olaf Owe...
Bok Engelsk 1986