Filter

Softwarespezifikation

13 books found

Abstraction and specification in program development
Abstraction and specification in program development

by Barbara Liskov

1986 2 ed.
The construction of formal specifications
The construction of formal specifications

by J. G. Turner, T. L. McCluskey

1993 2 ed.
Petri-Netz-Methoden und -Werkzeuge
Petri-Netz-Methoden und -Werkzeuge

by M. Leszak

1989 1 ed.
Software engineering and middleware
Software engineering and middleware

by SEM 2002 (2002 Orlando, Fla.)

2003 1 ed.
Program development by specification and transformation
Program development by specification and transformation

by Berthold Hoffmann

1993 1 ed.
Implementierung und parallele Verarbeitung von Kommunikationssoftware
Implementierung und parallele Verarbeitung von Kommunikation...

by Michael Rupprecht

1993 1 ed.
Verification of object-oriented software
Verification of object-oriented software

by Bernhard Beckert

2007 1 ed.
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems

by Darren Cofer

2009 1 ed.
Fields of logic and computation
Fields of logic and computation

by Yuri Gurevich, Andreas Blass

2010 1 ed.
Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems

by Hutchison, David - undifferentiated

2009 1 ed.
Program specification
Program specification

by J. Staunstrup

1982 1 ed.
Interactive systems
Interactive systems

by DSV-IS 2002 (2002 Rostock, Germany)

2002 1 ed.
Temporal logic in specification
Temporal logic in specification

by Howard Barringer

1989 1 ed.