26 treff
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
Composition and refinement for partial object specifications (full version)
Johnsen, Einar Broch
Bok Engelsk 2002 · Les boka på nett
Formal methods and the RM-ODP
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1998 · 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
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
A proposal for a process logic
Olaf Owe
Bok Engelsk 1994 · Les boka på nett
Specifying concurrency by generalized ready relations
Olaf Owe
Bok Engelsk 1993
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
Partial logics reconsidered : a conservative approach
Olaf Owe
Bok Engelsk 1991
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
Generator induction in order sorted algebras
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1989
Preliminary report on the specification and programming language ABEL
Ole-Johan Dahl, Dag F. Langmyhr, Olaf Owe...
Bok Engelsk 1986
The response function method for specifying concurrent systems
Olaf Owe
Bok Engelsk 1986
An approach to program reasoning based on a first order logic for partial functions
by Olaf Owe
Bok Engelsk 1985
A presentation of the specification and verification project "ABEL"
by Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1984
A note on quantifier removal
by Olaf Owe
Bok Engelsk 1981
A specification technique with idealization
by Olaf Owe
Bok Engelsk 1980
Revised report on the programming and specification language ABEL / by Dag F. Langmyhr and Olaf Owe
Langmyhr, Dag F.
Bok Engelsk 1978
Notes on partial correctness
by Olaf Owe
Bok Engelsk 1978
PROVER : Utkast til programverifikasjonssystem
av Hans Thomas Faye-Schjøll, Oddvar Hesje...
Bok Bokmål 1976