9 treff

spesifikasjonsspråk notrbib real000626
Understanding Z : a specification language and its formal semantics
J. M. Spivey
Bok Språk ikke angitt 1988 · Vis mer
UML distilled : a brief guide to the standard object modeling language
Fowler, Martin.
Bok Engelsk 2004 · 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
STAIRS : understanding and developing specifications expressed as UML interaction diagrams
Ragnhild Kobro Runde
Bok Engelsk 2007 · Vis mer
Vis flere utgaver
Vis flere utgaver
CASL user manual : introduction to using the Common Algebraic Specification Language
Bidoit, M.
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
"UML" '99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
UML '99
Bok Engelsk 1999 · Vis mer
Coordination languages and models : third international conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999 : proceedings
COORDINATION '99
Bok Engelsk 1999 · Vis mer
Formal specification of distributed multimedia systems
Gordon Blair ... [et al.]
Bok Engelsk 1998 · Vis mer
Brug af OBJ3 som specifikationssprog og testomgivelse ved formel verifikation af cache-coherenceprotokollen i SCI
Anne Gudman Østergård Sørensen
Bok Dansk 1995 · Vis mer