22 treff

spesifikasjonsspråk
Tracesemantikk i PVS
Thomas Wold Hansen
Bok Bokmål 2000 · Vis mer
Understanding Z : a specification language and its formal semantics
J. M. Spivey
Bok Språk ikke angitt 1988 · 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
UML distilled : a brief guide to the standard object modeling language
Martin Fowler with Kendall Scott ; [forew...
Bok Engelsk 2000 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
Designing database applications with objects and rules : the IDEA methodology
Stefano Ceri and Piero Fraternali
Bok Engelsk 1997 · Vis mer
Bringing design to software
edited by Terry Winograd ; with John Benn...
Bok Engelsk 1996 · Vis mer
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
Syntax and semantix of VVSL : a language for structured VDM specifications
Cornelis Adam Middelburg
Bok Engelsk 1989 · 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
A meta-language for UML concrete graphical syntax
Thomas Hemmingby Espe
Bok Engelsk 2004 · Vis mer
The Object-Z specification language
by Graeme Smith
Bok Engelsk 2000 · 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
Restructuring SDL to improve readability
Ole Henrik Dahle
Bok Engelsk 1999 · Vis mer
Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedings
COORDINATION '97
Bok Engelsk 1997 · Vis mer
Formal specification of distributed multimedia systems
Gordon Blair ... [et al.]
Bok Engelsk 1998 · Vis mer
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications
Bok Engelsk 1997 · 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
IVC '97 : proceedings
6th International Verilog HDL Conference,...
Bok Engelsk 1997 · Vis mer