Formale Spezifikationstechnik

16 books
Eine formale algorithmische Synthese digitaler SchaltungenKai Kapp

Eine formale algorithmische Synthese digitaler Schaltungen

Kai Kapp

2005No page data
Archivierung in DatenbanksystemenRalf Schaarschmidt

Archivierung in Datenbanksystemen

Ralf Schaarschmidt

2001No page data
The construction of formal specificationsJ. G. Turner
⏱ 6h 58m

The construction of formal specifications

J. G. Turner

1993418 pp.
Formal object-oriented developmentKevin Lano
⏱ 7h 11m

Formal object-oriented development

Kevin Lano

1995431 pp.
Protocol EngineeringHartmut König

Protocol Engineering

Hartmut König

2003No page data
Specification and verification of object oriented software componentsAndreas Roth

Specification and verification of object oriented software components

Andreas Roth

2006No page data
A theory and practice of program developmentDerek Andrews
⏱ 6h 45m

A theory and practice of program development

Derek Andrews

1997405 pp.
Requirements targeting software and systems engineeringInternational Workshop RTSE '97 (1997 Bernried, Weilheim-Schongau, Germany)
⏱ 5h 55m

Requirements targeting software and systems engineering

International Workshop RTSE '97 (1997 Bernried, Weilheim-Schongau, Germany)

1998355 pp.
The Z formal specification notationJonathan P. Bowen
⏱ 6h 57m

The Z formal specification notation

Jonathan P. Bowen

1998417 pp.
An introduction to formal specification with Z and VDMDeri Sheppard
⏱ 6h 38m

An introduction to formal specification with Z and VDM

Deri Sheppard

1995398 pp.
Formal methods in human-computer interactionPhilippe Palanque
⏱ 6h 16m

Formal methods in human-computer interaction

Philippe Palanque

1998376 pp.
Programming languages and systemsAPLAS 2008 (2008 Bangalore, India)
⏱ 5h 41m

Programming languages and systems

APLAS 2008 (2008 Bangalore, India)

2008341 pp.
Digitale Hardware/Software-SystemeChristian Haubelt
⏱ 10h 1m

Digitale Hardware/Software-Systeme

Christian Haubelt

2010601 pp.
Formal Techniques for Distributed SystemsHutchison, David - undifferentiated

Formal Techniques for Distributed Systems

Hutchison, David - undifferentiated

2009No page data
Recent Trends in Algebraic Development TechniquesAndrea Corradini

Recent Trends in Algebraic Development Techniques

Andrea Corradini

2009No page data
Formal methods and object technologyStephen J. Goldsack
⏱ 6h 8m

Formal methods and object technology

Stephen J. Goldsack

1996368 pp.