An introduction to formal specification and Z

An introduction to formal specification and Z

Weitere Versionen anzeigen (5)

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Potter, Ben (VerfasserIn), Sinclair, Jane (VerfasserIn), Till, David (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Harlow ; Munich [u.a.] Pearson Prentice Hall 2004
Ausgabe:	2. ed., [Nachdr.]
Schriftenreihe:	Prentice Hall international series in computer science
Schlagworte:	Softwarespezifikation Z > Programmiersprache Software Engineering
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An introduction to formal specification and Z
von: Potter, Ben, et al.
Veröffentlicht: (1992)

An introduction to formal specification and Z
von: Potter, Ben, et al.
Veröffentlicht: (1996)

An introduction to discrete mathematics, formal system specification, and Z
von: Ince, Darrel 1948-
Veröffentlicht: (2000)

An introduction to discrete mathematics, formal system specification, and z
von: Ince, Darrel 1948-
Veröffentlicht: (1993)

An introduction to discrete mathematics and formal system specification
von: Ince, Darrel 1948-
Veröffentlicht: (1990)

ZB 2003: formal specification and development in Z and B third International Conference of B and Z Users, Turku, Finland, June 4 - 6, 2003 ; proceedings
Veröffentlicht: (2003)

ZB 2002: Formal specification and development in Z and B 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002 ; proceedings
Veröffentlicht: (2002)

ZB 2005: Formal specification and development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings
Veröffentlicht: (2005)

An introduction to discrete mathematics and formal system specification
von: Ince, Darrel 1948-
Veröffentlicht: (1988)

ZB 2003: formal specification and development in Z and B third International Conference of B and Z Users, Turku, Finland, June 4 - 6, 2003 ; proceedings
Veröffentlicht: (2003)

ZB 2000: formal specification and development in Z and B first International Conference of B and Z Users, York, UK, August 29 - September 2, 2000 ; proceedings
Veröffentlicht: (2000)

ZB 2000 formal specification and development of B and Z ; first International Conference of B and Z Users, York, UK, August 28 - September 2, 2000 ; proceedings
Veröffentlicht: (2000)

Z an introduction to formal methods
von: Diller, Antoni
Veröffentlicht: (1996)

An introduction to formal specification with Z and VDM
von: Sheppard, Deri
Veröffentlicht: (1995)

Software development with Z a practical approach to formal methods in software engineering
von: Wordsworth, John B.
Veröffentlicht: (1992)

Software specification techniques
Veröffentlicht: (1986)

Using Z specification, refinement, and proof
von: Woodcock, Jim, et al.
Veröffentlicht: (1996)

Proceedings of the Sixth Annual Z User Meeting, York, 16 - 17 December
Veröffentlicht: (1992)

Program development by specification and transformation the PROSPECTRA methodology, language family, and system
Veröffentlicht: (1993)

Z in practice
von: Barden, Rosalind, et al.
Veröffentlicht: (1994)

The Z notation a reference manual
von: Spivey, J. M. 1960-
Veröffentlicht: (1992)

Eine Sprache zur formalen Spezifikation eingebetteter Systeme
von: Goedicke, Michael
Veröffentlicht: (1986)

Program specification and transformation proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15 - 17 Apr., 1986
Veröffentlicht: (1987)

Z an introduction to formal methods
von: Diller, Antoni
Veröffentlicht: (1994)

Formal specification and software development
von: Bjørner, Dines 1937-, et al.
Veröffentlicht: (1982)

Software requirements analysis and specification
von: Davis, Alan M.
Veröffentlicht: (1990)

Software requirements analysis and specification
von: Davis, Alan M.
Veröffentlicht: (1990)

Programming with specifications an introduction to ANNA, a language for specifying Ada programs
von: Luckham, David C. 1934-
Veröffentlicht: (1990)

Formal semantics for the integration of statecharts and Z in a metamodel based framework
von: Geisler, Robert
Veröffentlicht: (1999)

Formal specification and design
von: Feijs, L. M. G.
Veröffentlicht: (1992)

A general notion of abstract loops based on locality
von: Wirtz, Guido 1958-
Veröffentlicht: (1990)

Seminar Spezifikationstechniken Sommersemester 1989
Veröffentlicht: (1990)

Object orientation in Z
Veröffentlicht: (1992)

Formal methods and software engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21 - 25, 2002 ; proceedings
Veröffentlicht: (2002)

Canonical term functors and parameterization-by-use for the specification of abstract data types
von: Beierle, Christoph 1954-, et al.
Veröffentlicht: (1983)

Formal specification and design
von: Feijs, Laurentius M., et al.
Veröffentlicht: (1992)

An introduction to programming with specifications a mathematical approach
von: Kubiak, Ryszard
Veröffentlicht: (1991)

Algebraische Spezifikation Eine Einführung
von: Klaeren, Herbert 1950-
Veröffentlicht: (1983)

The essence of Z
von: Currie, Ed
Veröffentlicht: (1999)

The B language and method a guide to practical formal development
von: Lano, Kevin
Veröffentlicht: (1996)