28 treff

algebraisk spesifikasjon
Formelle metoder av prototyping
av Stig Rønning
Bok Bokmål 1997 · Vis mer
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 · Vis mer
The institution of multialgebras : a general framework for algebraic software development
Yngve Lamo
Bok Engelsk 2002 · Vis mer
Algebra of programming
Richard Bird and Oege de Moor
Bok Engelsk 1997 · Vis mer
Systematic software development using VDM
Cliff B. Jones
Bok Engelsk 1986 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal specification and design
L. M. G. Feijs & H. B. M. Jonkers
Bok Engelsk 1992 · Vis mer
Algebraic system specification and development : a survey and annotated bibliography
M. Bidoit ... [et al.] (eds.)
Bok Engelsk 1991 · Vis mer
Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
Bok Engelsk 1998 · Vis mer
CASL reference manual : the complete documentation of the Common Algebraic Specification Language
Peter D. Mosses (ed.)
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Kokichi Futatsugi, Jean-Pierre Jouannaud,...
Bok Engelsk 2006 · Vis mer
A verification-oriented theory of data in labelled transition systems
Ilkka Kokkarinen
Bok Engelsk 1998 · Vis mer
Communication algebras
Walicki, Michał
Bok Engelsk 1996 · Les boka på nett · Vis mer
Guarded algebras and data type specification
Magne Haveraaen, Eric G. Wagner
Bok Engelsk 1995 · Les boka på nett · Vis mer
CASL user manual : introduction to using the Common Algebraic Specification Language
Bidoit, M.
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
WADT 2004
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
WADT 2002
Bok Engelsk 2003 · Vis mer
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Roland Backhouse, Roy Crole, Jeremy Gibbo...
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent trends in algebraic development techniques : 15th international workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
WADT 2001
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
WADT'99
Bok Engelsk 2000 · Vis mer
Recent trends in algebraic development techniques : 13th international workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998 : selected papers
WADT'98
Bok Engelsk 1999 · Vis mer
Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
WADT '97
Bok Engelsk 1998 · Vis mer
Logic of computation
NATO Advanced Study Institute on Logic of Computation
Bok Engelsk 1997 · Vis mer
CafeOBJ report : the language, proof techniques and methodologies for object-oriented algebraic specification
by Răzvan Diaconescu, Kokichi Futatsugi
Bok Engelsk 1998 · Vis mer
Algebraic specifications of nondeterminism
Michał Walicki
Bok Engelsk 1993 · Les boka på nett · Vis mer
Larch : languages and tools for formal specification
John V. Guttag, James J. Horning ; with S...
Bok Engelsk 1993 · Vis mer
Software blueprints : lightweight uses of logic in conceptual modelling
David Robertson and Jaume Agustí
Bok Engelsk 1999 · Vis mer
An interactive environment supporting the development of formally correct programs
Thomas Långbacka
Bok Engelsk 1997 · Vis mer
A specification method for interactive systems
Kari Systä
Bok Engelsk 1995 · Vis mer